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)
- 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
- A characteristic frame for positive intuitionistic and relevance logic
- The scope of Gödel's first incompleteness theorem
- SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
- Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
- Modal translation of substructural logics
- A cut-elimination proof in positive relevant logic with necessity
- Relevance Logic as a Conservative Extension of Classical Logic
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
- The concept of relevance and the logic diagram tradition
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- Simple hyperintensional belief revision
- Larisa Maksimova’s Early Contributions to Relevance Logic
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
- A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS
- Constrained consequence
- Belnap's logic and conditional composition
- The strong version of a sentential logic
- Characterizing finite-valuedness
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment
- Relevance-Sensitive Truth-Trees
- Bi-facial truth: a case for generalized truth values
- An incomplete relevant modal logic
- An incompleteness theorem for modal relevant logics
- Relevance for the classical logician
- Farewell to suppression-freedom
- What is a relevant connective?
- A second pretabular classical relevance logic
- From iff to is: some new thoughts on identity in relevant logics
- Normal proofs, cut free derivations and structural rules
- Identity in Mares-Goldblatt models for quantified relevant logic
- 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
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)