scientific article; zbMATH DE number 3993546
From MaRDI portal
Publication:4722043
zbMath0614.03020MaRDI QIDQ4722043
Publication date: 1985
Full work available at URL: https://eudml.org/doc/181748
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semanticsmodal logicsparaconsistent logicsstrong equivalencethree-valued systemthree-valued theories
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Many-valued logic (03B50)
Related Items (14)
On finite-valued propositional logical calculi ⋮ Self-extensional three-valued paraconsistent logics ⋮ Four-valued paradefinite logics ⋮ Two, Many, and Differently Many ⋮ Paraconsistent logic and query answering in inconsistent databases ⋮ Variations on the Collapsing Lemma ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ On the Methodology of Paraconsistent Logic ⋮ Paraconsistency and the need for infinite semantics ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ Paraconsistent logics and translations ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory
This page was built for publication:
