scientific article; zbMATH DE number 6157349

zbMath1261.03095MaRDI QIDQ4918415

João Marcos

Publication date: 24 April 2013

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

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

Related Items

THE LATTICE OF SUPER-BELNAP LOGICS, Correspondence analysis and automated proof-searching for first degree entailment, An infinity of super-Belnap logics, An algebraic view of super-Belnap logics, First-degree entailment and its relatives, The value of the one value: \textit{exactly true logic} revisited, Knot is not that nasty (but it is hardier than tonk), An Invitation to New Essays on Belnap-Dunn Logic, First-Degree Entailment and Structural Reasoning, Four-valued logics of truth, nonfalsity, exact truth, and material equivalence, The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins, On Gluts in Mathematics and Science, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, Exactly true and non-falsity logics meeting infectious ones