scientific article
From MaRDI portal
Publication:3543573
zbMath1234.03010MaRDI QIDQ3543573
Publication date: 4 December 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonclassical and second-order set theories (03E70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (40)
Paraconsistent logic ⋮ Adaptive Fregean set theory ⋮ Devising the set of abnormalities for a given defeasible rule ⋮ Depth relevance and hyperformalism ⋮ What is a relevant connective? ⋮ Free semantics ⋮ Conditionals in theories of truth ⋮ BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH ⋮ Lindenbaum-type logical structures ⋮ A new conditional for naive truth theory ⋮ Instability and contraction. \textit{Méditations hégéliennes}. I ⋮ Classical logic is not uniquely characterizable ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ Farewell to suppression-freedom ⋮ METAVALUATIONS ⋮ On structural contraction and why it fails ⋮ Non-Boolean classical relevant logics. I ⋮ Paradox and logical revision. A short introduction ⋮ A note on contraction-free logic for validity ⋮ Naive structure, contraction and paradox ⋮ Paradoxes of logical equivalence and identity ⋮ The simple consistency of naive set theory using metavaluations ⋮ Logical consequence and the paradoxes ⋮ Comparing Contents with Information ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ The Number of Logical Values ⋮ The Difficulties in Using Weak Relevant Logics for Naive Set Theory ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ Structural weakening and paradoxes ⋮ Inconsistent boundaries ⋮ Assertion, Denial and Non-classical Theories ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ Real analysis in paraconsistent logic ⋮ Blocking the routes to triviality with depth relevance ⋮ Curry's paradox, generalized modus ponens axiom and depth relevance ⋮ Paraconsistent Computation and Dialetheic Machines ⋮ An incompleteness theorem for modal relevant logics ⋮ Logic—The Big Picture ⋮ Universal Logic as a Science of Patterns ⋮ Revisiting Semilattice Semantics
This page was built for publication:
