Note on algebraic models for relevance logic
DOI10.1002/MALQ.19900360606zbMATH Open0696.03004OpenAlexW2033688127MaRDI QIDQ3472078FDOQ3472078
Authors: 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
Recommendations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Cited In (35)
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Title not available (Why is that?)
- Algebraic-logical model of an information retrieval system with an interface component
- A finite model property for RMImin
- There exist exactly two maximal strictly relevant extensions of the relevant logic R
- Fregean logics
- Contextual deduction theorems
- Structural completeness in relevance logics
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Fragments of R-mingle
- Taking degrees of truth seriously
- Singly generated quasivarieties and residuated structures
- A note on R\(\rightarrow\) matrices
- Algebras of Relations and Relevance Logic
- On pretabular extensions of relevance logic
- A Note on the Relevance of Semilattice Relevance Logic
- Algebraic study of two deductive systems of relevance logic
- 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
- Models of relevant arithmetic
- The strong version of a sentential logic
- Relevance and paraconsistency—a new approach
- On the closure properties of the class of full G-models of a deductive system
- Leibniz-linked pairs of deductive systems
- The algebra of intensional logics. With an introductory essay by Katalin Bimbó
- On the structure of varieties with equationally definable principal congruences. III
- Idempotents in R
- Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
- Title not available (Why is that?)
- The Beth property in algebraic logic
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
- Title not available (Why is that?)
- Title not available (Why is that?)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Equivalential and algebraizable logics
This page was built for publication: Note on algebraic models for relevance logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3472078)
