Notes on Craig interpolation for LJ with strong negation

DOI10.1002/malq.201010016zbMath1241.03029OpenAlexW2065453168MaRDI QIDQ3170560

Norihiro Kamide

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

zbMATH Keywords

sequent calculusstrong negationNelson's logicCraig interpolation theorem

Mathematics Subject Classification ID

Many-valued logic (03B50) Interpolation, preservation, definability (03C40) Paraconsistent logics (03B53)

Related Items (2)

Sequent calculi for semi-De Morgan and De Morgan algebras ⋮ Embedding friendly first-order paradefinite and connexive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Notes on Craig interpolation for LJ with strong negation