Logics of nonsense and Parry systems
From MaRDI portal
Publication:2018590
DOI10.1007/s10992-014-9321-yzbMath1318.03036OpenAlexW2049001041MaRDI QIDQ2018590
Publication date: 24 March 2015
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-014-9321-y
paraconsistent logicsanalytic implicationconnexive logicslogics of nonsensecontainment logicsParry systems
Related Items
Dualities for Płonka sums ⋮ Generalized correspondence analysis for three-valued logics ⋮ Correia semantics revisited ⋮ Pure Variable Inclusion Logics ⋮ Connexive restricted quantification ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Rivals to Belnap-Dunn logic on interlaced trilattices ⋮ Topic-theoretic extensions of analytic implication ⋮ Executability and connexivity in an interpretation of Griss ⋮ Remarks on the logic of imagination. A step towards understanding doxastic control through imagination ⋮ Unnamed Item ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Semantical analysis of weak Kleene logics ⋮ On the Methodology of Paraconsistent Logic ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Boolean Connexive Logics: Semantics and tableau approach ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Meaningless divisions ⋮ Exactly true and non-falsity logics meeting infectious ones
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Paraconsistent analytic implication
- A note on the decidability of a strong relevant logic
- Analytic implication
- The logic of paradox
- The completeness of S
- Strong Boethius' thesis and consequential implication
- Negation as cancellation, and connexive logic
- Foundations of the logical theory of scientific knowledge (complex logic). Translated from the Russian by T. J. Blakeley. Revised and enlarged English edition with an appendix by G. A. Smirnov, E. A. Sidorenko, A. M. Fedina, and L. A. Bobrova
- Paraconsistency and analyticity
- Constructive negation, implication, and co-implication
- A propositional logic with subjunctive conditionals
- Constructible falsity
This page was built for publication: Logics of nonsense and Parry systems