Paraconsistent logic and model theory

DOI10.1007/BF00935737zbMath0582.03014OpenAlexW1986900154MaRDI QIDQ1068814

Elias H. Alves

Publication date: 1984

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

Full work available at URL: https://doi.org/10.1007/bf00935737

zbMATH Keywords

da Costa logicBeth definability theoremŁos-Tarski theorem

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Interpolation, preservation, definability (03C40) Other model constructions (03C30)

Related Items (2)

ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY ⋮ Limits for paraconsistent calculi

Cites Work

• A semantical analysis of the calculi \(C_n\)
• On the theory of inconsistent formal systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Paraconsistent logic and model theory