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)

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

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)