scientific article; zbMATH DE number 3926879
From MaRDI portal
Publication:3701398
Recommendations
- scientific article; zbMATH DE number 4135906
- Relevant logics: from semantics to proof systems
- The first axiomatization of relevant logic
- Relevant logic as a basis for paraconsistent epistemic logics
- Some relevance logics from the point of view of relational semantics
- scientific article; zbMATH DE number 1354102
- A theory of logical relevance
- Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
- On purely relevant logics
Cited in
(only showing first 100 items - show all)- The basic constructive logic for a weak sense of consistency
- The basic constructive logic for negation-consistency
- The basic constructive logic for absolute consistency
- Depth relevance of some paraconsistent logics
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
- Aristotle's thesis in consistent and inconsistent logics
- A content semantics for quantified relevant logics. I
- Situations in which disjunctive syllogism can lead from true premises to a false conclusion
- Semantics for relevance logic with identity
- The first axiomatization of relevant logic
- A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
- Impossible worlds: A modest approach
- The ontology of impossible worlds
- Rules in relevant logic. I: Semantic classification
- Rules in relevant logic. II: Formula representation
- The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment
- Four-valued semantics for relevant logics (and some of their rivals)
- Strong Boethius' thesis and consequential implication
- A natural negation completion of Urquhart's many-valued logic \(C\)
- Neighborhoods for entailment
- Four-valued logic
- The semantics of entailment omega
- Paraconsistency everywhere
- CE is not a conservative extension of E
- A second pretabular classical relevance logic
- Fusion and confusion
- A note on contraction-free logic for validity
- Naive structure, contraction and paradox
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Fragments of R-mingle
- An encompassing framework for paraconsistent logic programs
- Aristotle's Thesis between paraconsistency and modalization
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment
- A relevant theory of conditionals
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- Curry's paradox, generalized modus ponens axiom and depth relevance
- Logics of nonsense and Parry systems
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
- Lambek calculus with conjugates
- Observations on the trivial world
- Variable sharing in connexive logic
- Identity in Mares-Goldblatt models for quantified relevant logic
- An incompleteness theorem for modal relevant logics
- Neighbourhood semantics for quantified relevant logics
- Paraconsistent metatheory: new proofs with old tools
- What is a relevant connective?
- Logics of synonymy
- Farewell to suppression-freedom
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Basic quasi-Boolean expansions of relevance logics
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
- Blocking the routes to triviality with depth relevance
- Gentzenization and decidability of some contraction-less relevant logics
- Models for relevant modal logics
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- The Beth property in algebraic logic
- Converse Ackermann property and semiclassical negation
- Combinatory logic and the semantics of substructural logics
- Correspondence analysis and automated proof-searching for first degree entailment
- Current trends in substructural logics
- Paraconsistent logic
- One step is enough
- Deep \textsf{ST}
- Neighbourhood semantics for modal relevant logics
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
- Non-Boolean classical relevant logics. I
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
- The relevance of relevance to relevance logic
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3
- Relational semantics for the 4-valued relevant logics BN4 and E4
- Canonicity results of substructural and lattice-based logics
- Paths to triviality
- Comparing contents with information
- The number of logical values
- Humble connexivity
- Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- Relevance logics and intuitionistic negation
- R and relevance principle revisited
- scientific article; zbMATH DE number 120341 (Why is no real title available?)
- The Trivial Object and the Non-Uiviality of a Semantically Closed Theory with Descriptions
- Relevant logic as a basis for paraconsistent epistemic logics
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- A general characterization of the variable-sharing property by means of logical matrices
- On the ternary relation and conditionality
- The defective conditional in mathematics
- The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
- A computational interpretation of conceptivism
- The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- Metavaluations
- Distributed Relation Logic
- Richard (Routley) Sylvan: Writings on Logic and Metaphysics
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- Algebraic Kripke-style semantics for relevance logics
- A paraconsistent and substructural conditional logic
- scientific article; zbMATH DE number 6965723 (Why is no real title available?)
- A new approach to classical relevance
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 Q3701398)
