scientific article; zbMATH DE number 1735924

zbMath1002.03525MaRDI QIDQ4329287

Walter Alexandre Carnielli

Publication date: 5 September 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

paraconsistent logicpossible-translations semantics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (15)

Finite non-deterministic semantics for some modal systems ⋮ Society semantics and the logic way to collective intelligence ⋮ The method of polynomial ring calculus and its potentialities ⋮ On combined connectives ⋮ The single-minded pursuit of consistency and its weakness ⋮ Non Truth-Functional Many-Valuedness ⋮ Limits for paraconsistent calculi ⋮ A hierarchy of weak double negations ⋮ Weakly complete axiomatization of exogenous quantum propositional logic ⋮ Anti-intuitionism and paraconsistency ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ Non-deterministic semantics for logics with a consistency operator ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ Exogenous Probabilistic Computation Tree Logic ⋮ A non-deterministic view on non-classical negations

This page was built for publication: