Publication:3543573
From MaRDI portal
zbMath1234.03010MaRDI QIDQ3543573
Publication date: 4 December 2008
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
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