Definability and quantifier elimination for \(J_ 3\)-theories

DOI10.1007/BF00396904zbMath0633.03007MaRDI QIDQ1095881

Itala M. Loffredo D'Ottaviano

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

model theorythree-valued logicInterpolationmodal logicsparaconsistent logicsDefinabilityCategoricityJoint Non-Trivialization TheoremQuantifier Eliminationthree-valued propositional calculustwo distinguished truth-values

Mathematics Subject Classification ID

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)

On finite-valued propositional logical calculi ⋮ ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY ⋮ Two, Many, and Differently Many ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Definability and quantifier elimination for \(J_ 3\)-theories