scientific article; zbMATH DE number 1028818

zbMath0875.03051MaRDI QIDQ4342081

Publication date: 8 July 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (97)

Current trends in substructural logics ⋮ Bunched sequential information ⋮ ``Four-valued semantics for the relevant logic R ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ A paraconsistent conditional logic ⋮ Relevant consequence and empirical inquiry ⋮ Polarity semantics for negation as a modal operator ⋮ Semantics of weakening and contraction ⋮ Meeting strength in substructural logics ⋮ Truth and the liar in De Morgan-valued models ⋮ Defaults as restrictions on classical Hilbert-style proofs ⋮ A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning ⋮ Relevant predication. I: The formal theory ⋮ Combinatory logic and the semantics of substructural logics ⋮ The semantics and proof theory of linear logic ⋮ A relevant theory of conditionals ⋮ Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) ⋮ The Relevance of Relevance to Relevance Logic ⋮ \(\mathbf R\) and relevance principle revisited ⋮ Speeding up inferences using relevance reasoning: a formalism and algorithms ⋮ Duality for modal \(\mu\)-logics ⋮ Temporal BI: proof system, semantics and translations ⋮ Symmetric generalized Galois logics ⋮ First-degree entailment and its relatives ⋮ The nature of entailment: an informational approach ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ Topic-theoretic extensions of analytic implication ⋮ METAVALUATIONS ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ Reasoning about truth ⋮ R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs ⋮ Axioms and models of linear logic ⋮ An algebraic semantics of notional entailment logic Cn ⋮ Four-valued logic ⋮ From multiple sequent for additive linear logic to decision procedures for free lattices ⋮ On canonicity of poset expansions ⋮ Language in action ⋮ \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs ⋮ Infinitary action logic: complexity, models and grammars ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ The contraction rule and decision problems for logics without structural rules ⋮ The Ackermann constant theorem: A computer-assisted investigation ⋮ Relevant logic programming ⋮ Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces ⋮ Belief functions on distributive lattices ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ Structural weakening and paradoxes ⋮ Belnap-Dunn modal logic with value operators ⋮ Lambek calculus with restricted contraction and expansion ⋮ Modal translations in substructural logics ⋮ A logical view of composition ⋮ New consecution calculi for \(R^{t}_{\to}\) ⋮ Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment ⋮ The first axiomatization of relevant logic ⋮ Theories of abstract objects without ad hoc restriction ⋮ A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism ⋮ A syntactic approach to Maksimova's principle of variable separation for some substructural logics ⋮ Ernst Mally's Deontik (1926) ⋮ Fragments of R-mingle ⋮ Bi-facial truth: a case for generalized truth values ⋮ Combining classical logic, paraconsistency and relevance ⋮ A nonstandard approach to the logical omniscience problem ⋮ Sextus Empiricus' Fourth Conditional and Containment Logic ⋮ A nonstandard approach to the logical omniscience problem ⋮ The decidability of the intensional fragment of classical linear logic ⋮ Hyper-contradictions, generalized truth values and logics of truth and falsehood ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ Functional completeness for subsystems of intuitionistic propositional logic ⋮ An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic ⋮ Why Paraconsistent Logics? ⋮ A Survey of Annotated Logics ⋮ A cut-elimination proof in positive relevant logic with necessity ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic ⋮ A general possible worlds framework for reasoning about knowledge and belief ⋮ Simple axiomatizations for pretabular classical relevance logics ⋮ Lattices with Interior and Closure Operators and Abstract Approximation Spaces ⋮ The value of the four values ⋮ Implicational tonoid logics: algebraic and relational semantics ⋮ Semantics for dual and symmetric combinatory calculi ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Relevance Logic as a Conservative Extension of Classical Logic ⋮ Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic ⋮ Interpretations of Weak Positive Modal Logics ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ The finite model property for BCK and BCIW ⋮ Simple consequence relations ⋮ Rules in relevant logic. II: Formula representation ⋮ Types of I-free hereditary right maximal terms ⋮ Relevance-Sensitive Truth-Trees ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic ⋮ Some useful 16-valued logics: How a computer network should think ⋮ Admissibility of cut in LC with fixed point combinator ⋮ Hypothesis finding with proof theoretical appropriateness criteria ⋮ Relational semantics for Kleene logic and action logic

This page was built for publication: