Normalisation for Some Quite Interesting Many-Valued Logics
From MaRDI portal
Publication:5013635
DOI10.12775/LLP.2021.009OpenAlexW3168903065MaRDI QIDQ5013635
Nils Kürbis, Yaroslav I. Petrukhin
Publication date: 2 December 2021
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.12775/llp.2021.009
Cites Work
- On an implication connective of RM
- On interpretation of inconsistent theories
- Some remarks on three-valued logic of J. Lukasiewicz
- The logic of paradox
- Peirce's rule in natural deduction.
- Generalized correspondence analysis for three-valued logics
- 40 years of FDE: an introductory overview
- Handbook of philosophical logic. Vol. 6
- Intuitive semantics for first-degree entailments and `coupled trees'
- Partiality and its dual
- Calculi for many-valued logics
- A calculus of antinomics
- Logic of antinomies
- Proof of axiomatizability of full many-valued systems of calculus of propositions
- Correspondence analysis and automated proof-searching for first degree entailment
- Proof and Falsity
- A propositional calculus for inconsistent deductive systems
- GP’s LP
- Constructible falsity and inexact predicates
- Natural 3-valued logics—characterization and proof theory
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
- COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
- Finitely many-valued logics and natural deduction
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
- On notation for ordinal numbers
- Constructible falsity
- 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