Notes on Craig interpolation for LJ with strong negation
From MaRDI portal
Publication:3170560
DOI10.1002/malq.201010016zbMath1241.03029MaRDI QIDQ3170560
Publication date: 27 September 2011
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201010016
03B50: Many-valued logic
03C40: Interpolation, preservation, definability
03B53: Paraconsistent logics
Related Items
Cites Work
- Some useful 16-valued logics: How a computer network should think
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- Intuitionistic logic with strong negation
- The value of the four values
- The logic of information structures
- Intuitive semantics for first-degree entailments and `coupled trees'
- Partiality and its dual
- Reasoning with logical bilattices
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Constructible falsity and inexact predicates
- Constructible falsity
- Unnamed Item
- Unnamed Item
- Unnamed Item