Note on algebraic models for relevance logic

DOI10.1002/MALQ.19900360606MaRDI QIDQ3472078zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

algebraic semanticsrelevant logicmatrix semanticsDe Morgan semigroupsrelevant algebras

Mathematics Subject Classification ID

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)

Recommendations

• Algebras of Relations and Relevance Logic
• Relevance and paraconsistency—a new approach
• Algebraic study of two deductive systems of relevance logic
• scientific article; zbMATH DE number 16514
• Duality for algebras of relevant logics

Cited in

(35)

• Varieties of De Morgan monoids: minimality and irreducible algebras
• scientific article; zbMATH DE number 1416395 (Why is no real title available?)
• Algebraic-logical model of an information retrieval system with an interface component
• A finite model property for RMImin
• Fregean logics
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Contextual deduction theorems
• Structural completeness in relevance logics
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
• Fragments of R-mingle
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Taking degrees of truth seriously
• Singly generated quasivarieties and residuated structures
• A note on R\(\rightarrow\) matrices
• Algebras of Relations and Relevance Logic
• Algebraic study of two deductive systems of relevance logic
• On pretabular extensions of relevance logic
• A Note on the Relevance of Semilattice 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
• The strong version of a sentential logic
• Models of relevant arithmetic
• On the closure properties of the class of full G-models of a deductive system
• Relevance and paraconsistency—a new approach
• 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
• scientific article; zbMATH DE number 16514 (Why is no real title available?)
• Idempotents in R
• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• 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}
• scientific article; zbMATH DE number 1828004 (Why is no real title available?)
• scientific article; zbMATH DE number 4083584 (Why is no real title available?)
• Equivalential and algebraizable logics
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

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)