Notes on Craig interpolation for LJ with strong negation

DOI10.1002/MALQ.201010016MaRDI QIDQ3170560zbMATH OpenOpenAlexFDO

Authors 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) Paraconsistent logics (03B53) Interpolation, preservation, definability (03C40)

Cites work

• scientific article; zbMATH DE number 2015276 (Why is no real title available?)
• scientific article; zbMATH DE number 3199779 (Why is no real title available?)
• An embedding-based completeness proof for Nelson's paraconsistent logic
• Constructible falsity
• Constructible falsity and inexact predicates
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Intuitionistic logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Reasoning with logical bilattices
• Some useful 16-valued logics: How a computer network should think
• The logic of information structures
• The value of the four values
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3170560)