scientific article; zbMATH DE number 3784842
From MaRDI portal
Publication:3962967
zbMATH Open0498.03012MaRDI QIDQ3962967FDOQ3962967
Authors: Ross T. Brady 
Publication date: 1982
Title of this publication is not available (Why is that?)
Cited In (36)
- 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
- Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
- The number of logical values
- Curry's paradox, generalized modus ponens axiom and depth relevance
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
- Relational semantics for the 4-valued relevant logics BN4 and E4
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- A general characterization of the variable-sharing property by means of logical matrices
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- Proof systems for various \textsf{FDE}-based modal logics
- The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
- Normalisation for some quite interesting many-valued logics
- Metavaluations
- Correspondence analysis and automated proof-searching for first degree entailment
- From possibility theory to paraconsistency
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
- Partial and paraconsistent three-valued logics
- A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)
- The Weak Variable Sharing Property
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
- The lattice of Belnapian modal logics: special extensions and counterparts
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- Dual binary discriminator varieties
- What is a relevant connective?
- Rules in relevant logic. I: Semantic classification
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix. II: Only one designated value
- The normal and self-extensional extension of Dunn-Belnap logic
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3962967)
