Extensions of Priest-da Costa logic

DOI10.1007/S11225-013-9469-4MaRDI QIDQ2016069zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

da Costa logicsuperintuitionistic logicHeyting-Brouwer logiccointuitionistic logicPriest-da Costa logic

Mathematics Subject Classification ID

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

Recommendations

• Revisiting da Costa logic
• First-order da Costa logic
• scientific article; zbMATH DE number 5519286
• scientific article; zbMATH DE number 5521896
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 975275 (Why is no real title available?)
• Anti-intuitionism and paraconsistency
• Applications of Kripke models to Heyting-Brouwer logic
• Classical relevant logics. I
• Constructible falsity
• First-order da Costa logic
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• Logics of formal inconsistency
• On extensions of intermediate logics by strong negation
• Proofs, disproofs, and their duals
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(7)

• scientific article; zbMATH DE number 1471996 (Why is no real title available?)
• 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)