The following pages link to (Q4085699):
Displaying 50 items.
- An interpretation of Łukasiewicz's 4-valued modal logic (Q263087) (← links)
- Current trends in substructural logics (Q266641) (← links)
- Paraconsistent logic (Q266659) (← links)
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated (Q266877) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- Nice embedding in classical logic (Q300555) (← links)
- A regress objection to Thagard's theory of deductive coherence (Q320169) (← links)
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- What is relevance logic? (Q392272) (← links)
- A general characterization of the variable-sharing property by means of logical matrices (Q435241) (← links)
- A note on harmony (Q452347) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- The one-variable fragment of \(\mathrm T_\to\) (Q484182) (← links)
- Recovering quantum logic within an extended classical framework (Q486962) (← links)
- Belief functions on distributive lattices (Q490415) (← links)
- A new approach to classical relevance (Q497418) (← links)
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) (Q497423) (← links)
- On a ``most telling'' argument for paraconsistent logic (Q513948) (← links)
- What difference \textit{might} and \textit{may} make (Q514073) (← links)
- Aristotle's assertoric syllogistic and modern relevance logic (Q514108) (← links)
- The equational theories of representable residuated semigroups (Q514561) (← links)
- Two paradoxes of semantic information (Q516211) (← links)
- On AGM for non-classical logics (Q535331) (← links)
- The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic (Q596035) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- The nature of information: a relevant approach (Q625698) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Making ``stricterness'' more relevant (Q656871) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency (Q735410) (← links)
- A systematic methodology for automated theorem finding (Q744079) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- A note on FDE ``all the way up'' (Q778734) (← links)
- Automated reasoning and nonclassical logics: Introduction (Q805615) (← links)
- Simple consequence relations (Q809992) (← links)
- Types of I-free hereditary right maximal terms (Q812102) (← links)
- What's wrong with tonk(?) (Q815017) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- On the exclusivity implicature of `or' or on the meaning of eating strawberries (Q817676) (← links)
- Hypothesis finding with proof theoretical appropriateness criteria (Q817840) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- A relevant logic of questions (Q829829) (← links)
- Logical predictivism (Q830365) (← links)
- Cut and pay (Q851192) (← links)
- Worlds, models and descriptions (Q863186) (← links)
- The relevance of a relevantly assertable disjunction for material implication (Q878234) (← links)
- Defining answer classes using resolution refutation (Q881832) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
