Extensions of Priest-da Costa logic

DOI10.1007/S11225-013-9469-4zbMATH Open1329.03063OpenAlexW1999519247MaRDI QIDQ2016069FDOQ2016069

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classical relevant logics. I
• Applications of Kripke models to Heyting-Brouwer logic
• Anti-intuitionism and paraconsistency
• Constructible falsity
• Logics of Formal Inconsistency
• 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

Cited In (7)

• Title not available (Why is that?)
• On the Methodology of Paraconsistent Logic
• Revisiting da Costa logic
• Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
• Paraconsistency properties in degree-preserving fuzzy logics
• 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)