scientific article; zbMATH DE number 3525100
From MaRDI portal
Publication:4103076
zbMath0336.02020MaRDI QIDQ4103076
Robert K. Meyer, Richard Routley
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (32)
Current trends in substructural logics ⋮ Paraconsistent logic ⋮ Proof-functional connectives and realizability ⋮ A Realizability Interpretation for Intersection and Union Types ⋮ Combinatory logic and the semantics of substructural logics ⋮ Duality for algebras of relevant logics ⋮ A content semantics for quantified relevant logics. I ⋮ Ternary relations and relevant semantics ⋮ On Sahlqvist formulas in relevant logic ⋮ The ``relevance of intersection and union types ⋮ Symmetric generalized Galois logics ⋮ New axiomatics for relevant logics. I ⋮ R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Generalizing the depth relevance condition: deep relevant logics not included in R-mingle ⋮ Four-valued logic ⋮ The semantics of entailment omega ⋮ A typed lambda calculus with intersection types ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ The one-variable fragment of \(\mathrm T_\to\) ⋮ Relevant logic programming ⋮ Implementing the `Fool's model' of combinatory logic ⋮ New consecution calculi for \(R^{t}_{\to}\) ⋮ AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) ⋮ A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism ⋮ Fragments of R-mingle ⋮ Unnamed Item ⋮ Logic of subtyping ⋮ Semantics for dual and symmetric combinatory calculi ⋮ An incompleteness theorem for modal relevant logics ⋮ The Universal Theory Tool Building Toolkit Is Substructural
This page was built for publication:
