Definability and quantifier elimination for \(J_ 3\)-theories
DOI10.1007/BF00396904zbMath0633.03007MaRDI QIDQ1095881
Publication date: 1987
Published in: Studia Logica (Search for Journal in Brave)
model theorythree-valued logicInterpolationmodal logicsparaconsistent logicsDefinabilityCategoricityJoint Non-Trivialization TheoremQuantifier Eliminationthree-valued propositional calculustwo distinguished truth-values
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Many-valued logic (03B50) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)
Related Items (6)
Cites Work
This page was built for publication: Definability and quantifier elimination for \(J_ 3\)-theories