scientific article; zbMATH DE number 3084370
From MaRDI portal
Publication:5823282
Cited in
(16)- Algebras with modular lattice reducts and simple subdirectly irreducibles
- Paraconsistent logic from a modal viewpoint
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- On the mutual definability of the notions of entailment, rejection, and inconsistency
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
- An interpretation of Łukasiewicz's 4-valued modal logic
- Many-valuedness from a universal logic perspective
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
- Rejection: a historico-epistemological view
- Tableau systems for some Ivlev-like (quantified) modal logics
- On Ivlev's semantics for modality
- Peirce and Łukasiewicz on modal and multi-valued logics
- An intriguing logic with two implicational connectives
- A hypersequent solution to the inferentialist problem of modality
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
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 Q5823282)
