scientific article; zbMATH DE number 596497
From MaRDI portal
Publication:4297115
zbMATH Open0921.03025MaRDI QIDQ4297115FDOQ4297115
Authors: A. R. Anderson, J. Michael Dunn, Nuel D. jun. Belnap 
Publication date: 28 June 1994
Title of this publication is not available (Why is that?)
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) 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)
Cited In (only showing first 100 items - show all)
- What is relevance logic?
- On recent applications of paraconsistent logic: an exploratory literature review
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- Title not available (Why is that?)
- Current trends in substructural logics
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
- Types of I-free hereditary right maximal terms
- Displaying and deciding substructural logics. I: Logics with contraposition
- An alternative semantics for quantified relevant logic
- Logical pluralism and semantic information
- Ternary relations and relevant semantics
- Some useful 16-valued logics: How a computer network should think
- Aristotle's Thesis between paraconsistency and modalization
- New consecution calculi for \(R^{t}_{\to}\)
- Semantics for dual and symmetric combinatory calculi
- A computational interpretation of conceptivism
- A calculus for four-valued sequential logic
- ``Four-valued semantics for the relevant logic R
- A substructural approach to explicit modal logic
- Aristotle's assertoric syllogistic and modern relevance logic
- The relevance of relevance to relevance logic
- Inconsistency without contradiction
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Impossible worlds: A modest approach
- Combining classical logic, paraconsistency and relevance
- Truth, falsehood, information and beyond: the American plan generalized
- Deontic logic as founded on nonmonotonic logic
- CE is not a conservative extension of E
- Identity and aboutness
- Lower semilattice-ordered residuated semigroups and substructural logics
- Judgement aggregation in non-classical logics
- Recovering quantum logic within an extended classical framework
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Fragments of R-mingle
- Combining explicit negation and negation by failure via Belnap's logic
- Symmetric generalized Galois logics
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- The semantics of entailment omega
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
- Positive modal logic
- Correspondence analysis and automated proof-searching for first degree entailment
- Skepticism and floating conclusions
- The logic of generalized truth values and the logic of bilattices
- A systematic methodology for automated theorem finding
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
- Representable idempotent commutative residuated lattices
- Representation of interlaced trilattices
- The relevant fragment of first order logic
- Linear and affine logics with temporal, spatial and epistemic operators
- Two, Many, and Differently Many
- Combinatory logic and the semantics of substructural logics
- A natural deduction system for first degree entailment
- \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
- Algebraic study of two deductive systems of relevance logic
- A category equivalence for odd Sugihara monoids and its applications
- Algebraic Kripke-style semantics for relevance logics
- Informational semantics as a third alternative?
- Nothing but the truth
- Contradictory information: too much of a good thing
- A note on FDE ``all the way up
- An explanation for the ternary relation R in the relational semantics of relevance logic
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
- A generalization of the Routley-Meyer semantic framework
- General information in relevant logic
- A new approach to classical relevance
- Making ``stricterness more relevant
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Relevant predication. I: The formal theory
- Semantics for relevance logic with identity
- Relevant logic and the theory of information
- First-degree entailment and its relatives
- Free of Detachment: Logic, Rationality, and Gluts
- Neighborhoods for entailment
- The Logic of Bunched Implications
- \(\mathbf R\) and relevance principle revisited
- Two, three, four, infinity: the path to the four-valued logic and beyond
- The equational theories of representable residuated semigroups
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
- A relevant logic of questions
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Relevant identity
- An admissible semantics for propositionally quantified relevant logics
- Implicational Logic, Relevance, and Refutability
- Tarskian Classical Relevant Logic
- Basic quasi-Boolean expansions of relevance logics
- Stone-type dualities for separation logics
- A dynamic characterization of the pure logic of relevant implication
- Relational semantics for the 4-valued relevant logics BN4 and E4
- The relevance of semantic subtyping
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Substructural epistemic logics
- Existentially closed de Morgan algebras
- Paraconsistency everywhere
- Situations in which disjunctive syllogism can lead from true premises to a false conclusion
- St. Alasdair on Lattices Everywhere
- A stone-type duality theorem for separation logic via its underlying bunched logics
- Beth definability in the logic KR
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4297115)
