The following pages link to Reasoning with logical bilattices (Q1919988):
Displaying 50 items.
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Natural dualities through product representations: bilattices and beyond (Q295925) (← links)
- A Gentzen calculus for nothing but the truth (Q312499) (← links)
- Bilattices with implications (Q368472) (← links)
- Priestley duality for bilattices (Q454389) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Varieties of interlaced bilattices (Q647327) (← links)
- Multi-valued logic programming semantics An algebraic approach (Q673383) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- A family of strict/tolerant logics (Q830368) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Recognizable logics (Q887647) (← links)
- Paraconsistent semantics for Pavelka style fuzzy sentential logic (Q983066) (← links)
- Reasoning with slippery predicates (Q1005964) (← links)
- Proof systems combining classical and paraconsistent negations (Q1015485) (← links)
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) (Q1037603) (← links)
- The value of the four values (Q1274293) (← links)
- Sequent calculi for semi-De Morgan and De Morgan algebras (Q1653653) (← links)
- Modal multilattice logic (Q1682294) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Rivals to Belnap-Dunn logic on interlaced trilattices (Q1685566) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Bitopology and four-valued logic (Q1744388) (← links)
- Evidential bilattice logic and lexical inference (Q1919990) (← links)
- Residuated bilattices (Q1933771) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- A hierarchy of weak double negations (Q2016059) (← links)
- Bi-facial truth: a case for generalized truth values (Q2016060) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Galois connections for bilattices (Q2036385) (← links)
- Propositional and predicate logics of incomplete information (Q2060732) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
