Notes on Craig interpolation for LJ with strong negation

DOI10.1002/MALQ.201010016zbMATH Open1241.03029OpenAlexW2065453168MaRDI QIDQ3170560FDOQ3170560

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

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

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)