Universal logic
From MaRDI portal
Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Nonclassical and second-order set theories (03E70)
Recommendations
- scientific article; zbMATH DE number 1748981
- Ultralogic as universal? The Sylvan jungle. Volume 4. With notes and commentaries. With contributions by Edwin Mares, Ross T. Brady and Chris Mortensen. Edited by Zach Weber
- scientific article; zbMATH DE number 1881003
- scientific article; zbMATH DE number 2079260
- On \(t\) and \(u\), and what they can do
Cited in
(61)- The difficulties in using weak relevant logics for naive set theory
- Paraconsistent computation and dialetheic machines
- Assertion, Denial and Non-classical Theories
- Paradox and logical revision. A short introduction
- Comparing contents with information
- Paraconsistent logic
- Adaptive Fregean set theory
- Logical consequence and the paradoxes
- The number of logical values
- Curry's paradox, generalized modus ponens axiom and depth relevance
- Logic—The Big Picture
- BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
- Basic quasi-Boolean expansions of relevance logics
- Devising the set of abnormalities for a given defeasible rule
- On the structural properties of paradoxes: the distinction between formal language and natural language that comes with the use of the liar paradox
- Lindenbaum-type logical structures
- Simplified semantics for further relevant logics. I: Unreduced semantics for \(\mathbf{E}\) and \(\boldsymbol{\Pi}'\)
- Universal inference
- Conditionals in theories of truth
- Free semantics
- The simple consistency of naive set theory using metavaluations
- Metavaluations
- Topic transparency and variable sharing in weak relevant logics
- Against generalized comprehension
- Depth relevance and hyperformalism
- A note on contraction-free logic for validity
- Revisionism revisited
- Naive structure, contraction and paradox
- A logical consequence informed by probability
- Distribution in the logic of meaning containment and in quantum mechanics
- Paradoxes of logical equivalence and identity
- A new conditional for naive truth theory
- Classical logic is not uniquely characterizable
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
- Confused entailment
- Class theory in HYPE
- An incompleteness theorem for modal relevant logics
- Instability and contraction. \textit{Méditations hégéliennes}. I
- Non-Boolean classical relevant logics. I
- Models for official entailment
- Blocking the routes to triviality with depth relevance
- Revisiting Semilattice Semantics
- scientific article; zbMATH DE number 5242534 (Why is no real title available?)
- What is a relevant connective?
- Farewell to suppression-freedom
- Another remark on connexivity and set theory
- On structural contraction and why it fails
- Inconsistent boundaries
- Ultralogic as universal? The Sylvan jungle. Volume 4. With notes and commentaries. With contributions by Edwin Mares, Ross T. Brady and Chris Mortensen. Edited by Zach Weber
- Universal logic as a science of patterns
- scientific article; zbMATH DE number 7180028 (Why is no real title available?)
- Structural weakening and paradoxes
- Real analysis in paraconsistent logic
- On \(t\) and \(u\), and what they can do
- Entailment generalized
- A conceptual approach to restricted quantification in relevant logics
- The only 3-valued logic which is a natural implication expansion with the variable-sharing property of Kleene's strong logic
- Semantics for second-order relevant logics
- Variable-sharing as relevance
- Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
This page was built for publication: Universal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3543573)
