On partial and paraconsistent logics
From MaRDI portal
Publication:701297
DOI10.1305/ndjfl/1022615616zbMath1007.03029OpenAlexW2157041256MaRDI QIDQ701297
Publication date: 23 October 2002
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1022615616
Related Items (11)
A paraconsistent conditional logic ⋮ On all strong Kleene generalizations of classical logic ⋮ A Gentzen calculus for nothing but the truth ⋮ Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ Interpolation methods for Dunn logics and their extensions ⋮ Partial and paraconsistent three-valued logics ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ Supra-logic: using transfinite type theory with type variables for paraconsistency ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
Cites Work
- Paradox, truth and logic. I. Paradox and truth
- Four valued semantics and the Liar
- Intuitive semantics for first-degree entailments and `coupled trees'
- Reasoning with logical bilattices
- Weak logic theory
- Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
- Toward useful type-free theories. I
- Systematization of finite many-valued logics through the method of tableaux
- Bilattices and the semantics of logic programming
- The Notion of Logical Consequence in the Logic of Inexact Predicates
- A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
- Sequents in many valued logic I
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On partial and paraconsistent logics
