scientific article; zbMATH DE number 3504935
From MaRDI portal
Publication:4085699
Cited in
(only showing first 100 items - show all)- Natural deduction based upon strict implication for normal modal logics
- What is relevance logic?
- Two pretabular linear extensions of relevance logic R
- Semantical analysis of weak Kleene logics
- Structural rules and algebraic properties of intersection types
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- The structure of finite commutative idempotent involutive residuated lattices
- Abductive inference in defeasible reasoning: a model for research programmes
- Pure variable inclusion logics
- Boolean connexive logic and content relationship
- Connexivity in the logic of reasons
- Proof systems for super-strict implication
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- Laws, modalities and counterfactuals
- Comparing contents with information
- Logical foundations of evidential reasoning with contradictory information
- A ``reply to my ``critics
- A useful four-valued logic
- Default rules in the logic of first-degree entailments
- On paracomplete versions of Jaśkowski's discussive logic
- A metacompleteness theorem for contraction-free relevant logics
- Some remarks on the logic of probabilistic relevance
- Necessary truth and proof
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- The Ackermann constant theorem: A computer-assisted investigation
- A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3
- A simple signed system for paraconsistent reasoning
- On recent applications of paraconsistent logic: an exploratory literature review
- Current trends in substructural logics
- Paraconsistent logic
- 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
- Quasi-canonical systems and their semantics
- A relevant logic of questions
- Logical predictivism
- Epimorphisms in varieties of residuated structures
- Free choice reasons
- Noisy vs. merely equivocal logics
- Two adaptive logics of norm-propositions
- The number of logical values
- 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
- Sentential constants in systems near R
- An information-based theory of conditionals
- A constructive negation for logics including \(\mathrm{TW}_+\)
- Temporal BI: proof system, semantics and translations
- Displaying and deciding substructural logics. I: Logics with contraposition
- Hyperintensionality in relevant logics
- Completeness and conservative extension results for some Boolean relevant logics
- A note on harmony
- Solution to the P − W problem
- Varieties of De Morgan monoids: minimality and irreducible algebras
- On the decision problem for MELL
- Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic
- Mortensen logics
- Curry's paradox, generalized modus ponens axiom and depth relevance
- Processing Information from a Set of Sources
- Relevant identity
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- Logical pluralism and semantic information
- Ternary relations and relevant semantics
- A second-order relevance logic with modality
- On defining necessity in terms of entailment
- On the non-availability of Dawson-modeling into certain relevance alethic modal logics
- Relevant analytic tableaux
- Proof theory for functional modal logic
- Semilinear De Morgan monoids and epimorphisms
- Diversification of object-languages for propositional logics
- Logic—The Big Picture
- Implicational relevance logic is 2-\textsc{ExpTime}-complete
- Some useful 16-valued logics: How a computer network should think
- Some monkey devours every raisin
- Consistent theories in inconsistent logics
- Aristotle's Thesis between paraconsistency and modalization
- New consecution calculi for \(R^{t}_{\to}\)
- Questions to Michael Dunn
- The first axiomatization of relevant logic
- A sequent calculus for reasoning in four-valued description logics
- Subdirectly irreducible residuated semilattices and positive universal classes
- Paraconsistency and the need for infinite semantics
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- Epimorphisms in varieties of subidempotent residuated structures
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
- A model for belief revision
- Intuitive counterexamples for constructive fallacies
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
- Basic quasi-Boolean expansions of relevance logics
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
- A nonstandard approach to the logical omniscience problem
- ``Four-valued semantics for the relevant logic R
- The semantics and proof theory of linear logic
- Implicational Logic, Relevance, and Refutability
- Tarskian Classical Relevant Logic
- Devising the set of abnormalities for a given defeasible rule
- A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
- Autoreferential semantics for many-valued modal logics
- Supra-logic: using transfinite type theory with type variables for paraconsistency
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 Q4085699)
