نتایج جستجو برای: de morgan semi
تعداد نتایج: 1674008 فیلتر نتایج به سال:
We take a fresh look at the geometrization of logic using recently developed tools “quantum Riemannian geometry” applied in digital case over field $\mathbb{F}\_2={0,1}$, extending de Morgan duality to this context differential forms and connections. The $1$-forms correspond graphs exterior derivative subset amounts arrows that cross between set its complement. line graph $0-1-2$ has non-flat b...
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...
We propose land use dynamics models corresponding to parcels located on the edge of the forest corridor, Madagascar. We use semi-Markov chain to infer the land-use dynamics. In addition to the empirical and maximum likelihood methods, we estimate the semi-Markov kernel by a Bayesian approach. In the latter case, we use Jeffreys’ non-informative prior and we approximate the posterior distributio...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید