Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
From MaRDI portal
Publication:2011822
Recommendations
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- A four-valued hybrid logic with non-dual modal operators
- A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
- A new four-valued approach to modal logic
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- The \(B_{4}\)-valued propositional Belnap-Dunn logic
- On properties of a class of four-valued paranormal logics
- A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
- Four-valued paradefinite logics
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
Cites work
- A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- An abstract algebraic logic approach to tetravalent modal logics
- An interpretation of Łukasiewicz's 4-valued modal logic
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3784842 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 6965723 (Why is no real title available?)
- scientific article; zbMATH DE number 3335866 (Why is no real title available?)
- scientific article; zbMATH DE number 3066797 (Why is no real title available?)
- scientific article; zbMATH DE number 3084370 (Why is no real title available?)
- Inconsistency Tolerance
- Intuitive semantics for first-degree entailments and `coupled trees'
- Kripke semantics for modal bilattice logic
- Many-valued modal logics: a simple approach
- Modal logics with Belnapian truth values
- On axiomatization of Łukasiewicz's four-valued modal logic
- On Łukasiewicz's four-valued modal logic
- Paraconsistent modal logic
- Partiality and its dual
- Reasoning with logical bilattices
- The value of the four values
- Where gamma fails
Cited in
(14)- 40 years of FDE: an introductory overview
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras
- Correspondence analysis and automated proof-searching for first degree entailment
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
- Modal logics with Belnapian truth values
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
- 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
- Paraconsistent modal logic
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
- A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
- On Ivlev's semantics for modality
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
This page was built for publication: Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011822)
