The following pages link to (Q3962967):
Displaying 33 items.
- A general characterization of the variable-sharing property by means of logical matrices (Q435241) (← links)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- Rules in relevant logic. I: Semantic classification (Q1319263) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- Curry's paradox, generalized modus ponens axiom and depth relevance (Q2016072) (← links)
- What is a relevant connective? (Q2155944) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 (Q2236505) (← links)
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle (Q2443123) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525) (← links)
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3 (Q2987717) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- Relational semantics for the 4-valued relevant logics BN4 and E4 (Q2987765) (← links)
- The Number of Logical Values (Q3305657) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← 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)
- METAVALUATIONS (Q4602434) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
- Dual binary discriminator varieties (Q5210626) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value (Q5231281) (← links)
- From Possibility Theory to Paraconsistency (Q5241526) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values (Q5742698) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)
