Extensions of Priest-da Costa logic
DOI10.1007/S11225-013-9469-4zbMATH Open1329.03063OpenAlexW1999519247MaRDI QIDQ2016069FDOQ2016069
Authors: Thomas Macaulay Ferguson 
Publication date: 19 June 2014
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-013-9469-4
Recommendations
da Costa logicsuperintuitionistic logicHeyting-Brouwer logiccointuitionistic logicPriest-da Costa logic
Paraconsistent logics (03B53) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Cites Work
- Classical relevant logics. I
- Applications of Kripke models to Heyting-Brouwer logic
- Anti-intuitionism and paraconsistency
- Title not available (Why is that?)
- Constructible falsity
- Logics of formal inconsistency
- Title not available (Why is that?)
- Some theorems about the sentential calculi of Lewis and Heyting
- Proofs, disproofs, and their duals
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- On extensions of intermediate logics by strong negation
- First-order da Costa logic
- Kripke Completeness of First-Order Constructive Logics with Strong Negation
- Title not available (Why is that?)
Cited In (7)
- Title not available (Why is that?)
- Revisiting da Costa logic
- Paraconsistency properties in degree-preserving fuzzy logics
- On the methodology of paraconsistent logic
- Empirical negation, co-negation and contraposition rule. I: Semantical investigations
- Weakening and extending \(\mathbb{Z}\)
- Defining LFIs and LFUs in extensions of infectious logics
This page was built for publication: Extensions of Priest-da Costa logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2016069)
