The following pages link to Reasoning with logical bilattices (Q1919988):
Displaying 50 items.
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Three new genuine five-valued logics intended to model non-trivial concepts (Q2133459) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- Modal bilattice logic and its extensions (Q2145869) (← links)
- Assertion, rejection, and semantic universals (Q2148832) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- An analysis of poly-connexivity (Q2157598) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- A non-inferentialist, anti-realistic conception of logical truth and falsity (Q2339010) (← links)
- Distributive bilattices from the perspective of natural duality theory. (Q2343033) (← links)
- The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
- Quotients of d-frames (Q2423832) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Here and There among Logics for Logic Programming (Q2900511) (← links)
- The B4-valued propositional Belnap-Dunn logic1 (Q2953495) (← links)
- Paraconsistent double negation as a modal operator (Q2958215) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
- Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic (Q3305620) (← links)
- On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Bipolarity in bilattice logics (Q3537542) (← links)
- A Para Consistent Fuzzy Logic (Q3601802) (← links)
- Preference Modeling by Rectangular Bilattices (Q3619448) (← links)
- Reasoning with different levels of uncertainty (Q3643259) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- An infinity of super-Belnap logics (Q4583174) (← links)
- The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic (Q4586153) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- The Strict/Tolerant Idea and Bilattices (Q5020168) (← links)
- Connexive Variants of Modal Logics Over FDE (Q5020173) (← links)
- (Q5020976) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)
