First-order da Costa logic

DOI10.1007/s11225-010-9303-1zbMath1218.03024OpenAlexW2075998444MaRDI QIDQ631523

Graham Priest

Publication date: 14 March 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9303-1

zbMATH Keywords

semanticsparaconsistent logicda Costa logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (3)

Extensions of Priest-da Costa logic ⋮ On the Methodology of Paraconsistent Logic ⋮ Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗

Cites Work

• Unnamed Item
• Unnamed Item
• Applications of Kripke models to Heyting-Brouwer logic
• Dual-intuitionistic logic
• Anti-intuitionism and paraconsistency
• On the theory of inconsistent formal systems

This page was built for publication: First-order da Costa logic