K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
From MaRDI portal
Publication:3305614
DOI10.1007/978-3-030-31136-0_11zbMath1469.03063arXiv1711.05816OpenAlexW2769670387MaRDI QIDQ3305614
Francis Jeffry Pelletier, Allen P. Hazen
Publication date: 10 August 2020
Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1711.05816
propositional quantificationthree-valued logicsmaterial implicationfour-valued logicssynonymous logics
Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Classical negation and expansions of Belnap-Dunn logic
- Extensionality and restriction in naive set theory
- Editorial introduction. Truth values. I
- On an implication connective of RM
- On interpretation of inconsistent theories
- A completeness-proof method for extensions of the implicational fragment of the propositional calculus
- The logic of paradox
- The value of the four values
- Pecularities of some three- and four-valued second order logics
- Second-order logic of paradox
- 40 years of FDE: an introductory overview
- Four-valued paradefinite logics
- Paraconsistent double negations as classical and intuitionistic negations
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Handbook of philosophical logic. Vol. 6
- Intuitive semantics for first-degree entailments and `coupled trees'
- A note on freedom from detachment in the logic of paradox
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
- A criterion of fullness of many-valued systems of propositional logic
- A non-inferentialist, anti-realistic conception of logical truth and falsity
- Synonymous logics: a correction
- A calculus of antinomics
- On modal renderings of intuitionistic propositional logic
- Free logic and the concept of existence
- On the theory of inconsistent formal systems
- Logic of antinomies
- Contradictions at the Borders
- Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
- Constructive negation, implication, and co-implication
- Toward useful type-free theories. I
- Constructible falsity and inexact predicates
- Natural 3-valued logics—characterization and proof theory
- An infinity of super-Belnap logics
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
- On notation for ordinal numbers
- Constructible falsity
This page was built for publication: K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
