Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
DOI10.1007/S10992-020-09553-WzbMATH Open1485.03060OpenAlexW3017308489MaRDI QIDQ830398FDOQ830398
Publication date: 7 May 2021
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-020-09553-w
Recommendations
- Yet another paradefinite logic: The role of conflation1
- scientific article; zbMATH DE number 6407640
- An embedding-based completeness proof for Nelson's paraconsistent logic
- scientific article; zbMATH DE number 575581
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
cut-elimination theoremand Zamansky's ideal paraconistent four-valued logic 4CCArieliAvronKripke-completeness theoremNelson's paraconsistent four-valued logic N4Wansing's basic constructive connexive logic C
Many-valued logic (03B50) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Title not available (Why is that?)
- Some useful 16-valued logics: How a computer network should think
- The logic of information structures
- Title not available (Why is that?)
- Constructible falsity
- Intuitive semantics for first-degree entailments and `coupled trees'
- Title not available (Why is that?)
- The value of the four values
- Reasoning with logical bilattices
- Classical negation and expansions of Belnap-Dunn logic
- On the Methodology of Paraconsistent Logic
- Title not available (Why is that?)
- Ideal paraconsistent logics
- Constructible falsity and inexact predicates
- Title not available (Why is that?)
- Handbook of philosophical logic. Vol. 6
- Intuitionistic logic with strong negation
- Connexive implication
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- What is negation?
- A propositional logic with subjunctive conditionals
- Title not available (Why is that?)
- Title not available (Why is that?)
- Four-valued paradefinite logics
- Embedding from multilattice logic into classical logic and vice versa
- Truth, Falsehood, Information and Beyond: The American Plan Generalized
- Title not available (Why is that?)
- Yet another paradefinite logic: The role of conflation1
- Trilattice logic: an embedding-based approach
- Title not available (Why is that?)
Cited In (4)
- An infinity of intuitionistic connexive logics
- Embedding friendly first-order paradefinite and connexive logics
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
- Connexive logic, connexivity, and connexivism: remarks on terminology
This page was built for publication: Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q830398)
