Extensions of Priest-da Costa logic

DOI10.1007/s11225-013-9469-4zbMath1329.03063OpenAlexW1999519247MaRDI QIDQ2016069

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

zbMATH Keywords

superintuitionistic logicda Costa logicHeyting-Brouwer logiccointuitionistic logicPriest-da Costa logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53) Intermediate logics (03B55)

Related Items (6)

Revisiting da Costa logic ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ On the Methodology of Paraconsistent Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• First-order da Costa logic
• Classical relevant logics. I
• Applications of Kripke models to Heyting-Brouwer logic
• On extensions of intermediate logics by strong negation
• Anti-intuitionism and paraconsistency
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• Logics of Formal Inconsistency
• Constructible falsity
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Extensions of Priest-da Costa logic