Note on algebraic models for relevance logic
From MaRDI portal
Publication:3472078
DOI10.1002/malq.19900360606zbMath0696.03004OpenAlexW2033688127MaRDI QIDQ3472078
Josep Maria Font, Gonzalo Rodríguez
Publication date: 1990
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19900360606
Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items (20)
Structural completeness in relevance logics ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ Algebraic study of two deductive systems of relevance logic ⋮ Fregean logics ⋮ The strong version of a sentential logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ The Beth property in algebraic logic ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Singly generated quasivarieties and residuated structures ⋮ Leibniz-linked pairs of deductive systems ⋮ Contextual deduction theorems ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Fragments of R-mingle ⋮ There exist exactly two maximal strictly relevant extensions of the relevant logic R ⋮ Taking degrees of truth seriously ⋮ Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E ⋮ Equivalential and algebraizable logics ⋮ A finite model property for RMImin ⋮ There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
This page was built for publication: Note on algebraic models for relevance logic
