scientific article; zbMATH DE number 596497
From MaRDI portal
Publication:4297115
Recommendations
Cited in
(only showing first 100 items - show all)- What is relevance logic?
- Two pretabular linear extensions of relevance logic R
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- On recent applications of paraconsistent logic: an exploratory literature review
- Current trends in substructural logics
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
- A relevant logic of questions
- scientific article; zbMATH DE number 6965723 (Why is no real title available?)
- Types of I-free hereditary right maximal terms
- Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
- Displaying and deciding substructural logics. I: Logics with contraposition
- Reasoning with belief functions over Belnap-Dunn logic
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Modal information logics: axiomatizations and decidability
- Relevant identity
- Logical pluralism and semantic information
- Ternary relations and relevant semantics
- An alternative semantics for quantified relevant logic
- 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
- An admissible semantics for propositionally quantified relevant logics
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- A calculus for four-valued sequential logic
- Basic quasi-Boolean expansions of relevance logics
- A computational interpretation of conceptivism
- ``Four-valued semantics for the relevant logic R
- Implicational Logic, Relevance, and Refutability
- Tarskian Classical Relevant Logic
- Devising the set of abnormalities for a given defeasible rule
- Stone-type dualities for separation logics
- Relational semantics for the 4-valued relevant logics BN4 and E4
- The relevance of semantic subtyping
- Aristotle's assertoric syllogistic and modern relevance logic
- A dynamic characterization of the pure logic of relevant implication
- A substructural approach to explicit modal logic
- Inconsistency without contradiction
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- The relevance of relevance to relevance logic
- PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
- Impossible worlds: A modest approach
- Combining classical logic, paraconsistency and relevance
- Abstract hidden Markov models: a monadic account of quantitative information flow
- Substructural epistemic logics
- Existentially closed de Morgan algebras
- The theory of the process of explanation generalized to include the inconsistent case
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Deontic logic as founded on nonmonotonic logic
- Truth, falsehood, information and beyond: the American plan generalized
- Neighbourhood semantics for modal relevant logics
- Paraconsistency everywhere
- CE is not a conservative extension of E
- Situations in which disjunctive syllogism can lead from true premises to a false conclusion
- Identity and aboutness
- Lower semilattice-ordered residuated semigroups and substructural logics
- Recovering quantum logic within an extended classical framework
- Judgement aggregation in non-classical logics
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- Fragments of R-mingle
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- St. Alasdair on Lattices Everywhere
- 1994 Annual Meeting of the Association for Symbolic Logic
- Neighbourhood semantics for quantified relevant logics
- One variable relevant logics are S5Ish
- Combining explicit negation and negation by failure via Belnap's logic
- On elimination of quantifiers in some non-classical mathematical theories
- First-order relevant reasoners in classical worlds
- Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
- Symmetric generalized Galois logics
- A stone-type duality theorem for separation logic via its underlying bunched logics
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- The semantics of entailment omega
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- Corcoran the mathematician
- Beth definability in the logic KR
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
- A characteristic frame for positive intuitionistic and relevance logic
- Positive modal logic
- The scope of Gödel's first incompleteness theorem
- A systematic methodology for automated theorem finding
- Relevance logics and intuitionistic negation
- Varieties of Relevant S5
- Correspondence analysis and automated proof-searching for first degree entailment
- The logic of generalized truth values and the logic of bilattices
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- R-Mingle is Nice, and so is Arnon Avron
- SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
- A framework for knowledge-based systems
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
- Skepticism and floating conclusions
- Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
- Representable idempotent commutative residuated lattices
- Representation of interlaced trilattices
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)
