نتایج جستجو برای: de morgan
تعداد نتایج: 1537501 فیلتر نتایج به سال:
We show that logic C1 cannot be extended to a paraconsistent logic in which the substitution theorem is valid. We show with the help of an answer set programming (ASP) tool called clasp, that C1 is robust with respect to certain three valued paraconsistent logics with some desirable properties. In particular C1 is robust with respect to three-valued logic P2, a logic for which some of the De Mo...
235. Use of electronic de-escalation alerts to facilitate prospective audit and feedback for antimicrobial stewardship Daniel Caroff, MD; Shawn Binkley, BS, PharmD; Daniel Timko, PharmD, BCPS, AQID; Steven Morgan, PharmD, BCPS, AQID; Shaina Bernard, PharmD, BCPS; Kiri Rolek, PharmD; Keith Hamilton, MD; Penn Presbyterian Medical Center, Philadelphia, PA; Pharmacy, Hospital of the University of P...
Thomas Harder ([email protected]) Anja Takla ([email protected]) Eva Rehfuess ([email protected]) Alex Sánchez-Vivar ([email protected]) Dorothea Matysiak-Klose ([email protected]) Tim Eckmanns ([email protected]) Gérard Krause ([email protected]) Helena de Carvalho Gomes ([email protected]) Andreas Jansen ([email protected]) Simon Ellis (...
In this paper von Wright’s truth-logic T′′ is considered. It seems that it is a De Morgan four-valued logic DM4 (or Belnap’s four-valued logic) with endomorphism e2. In connection with this many other issues are discussed: twin truth operators, a truth-logic with endomorphism g (or logic Tr), the lattice of extensions of DM4, modal logic V2, Craig interpolation property, von Wright–Segerberg’s ...
We study the connection between factors of the Medvedev lattice and constructive logic. The algebraic properties of these factors determine logics lying in between intuitionistic propositional logic and the logic of the weak law of the excluded middle (also known as De Morgan, or Jankov logic). We discuss the relation between the weak law of the excluded middle and the algebraic notion of join-...
Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI...
Intuitionistic Fuzzy Sets Theory is based on a wrong nominalistic (terminological) assumption. It is defined as “intuitionistic” a negation which does not satisfy usual properties of the intuitionistic Brouwer negation, but it is called with this term only a particular generalized notion of negation which indeed corresponds to the de Morgan negation. This metatheoretical assumption is criticize...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید