Semilinear substructural logics with the finite embeddability property

DOI10.1007/S00012-018-0538-4MaRDI QIDQ1991589zbMATH OpenOpenAlexFDO

Authors Sanmin Wang

Publication date 30 October 2018

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1608.04029

zbMATH Keywords

completenessfinite algebrasfinite embeddability propertyresiduated latticessemilinear substructural logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Ordered structures (06F99)

Abstract: In this paper, three semilinear substructural logics ULw, IULw and HpsUL*w are constructed. Then the completeness of ULw and IULw with respect to classes of finite UL and IUL-algebras, respectively, is proved. Algebraically, non-integral ULw and IULw-algebras have the finite embeddability property, which gives a characterization for finite UL and IUL-algebras. Furthermore, the standard completeness of ULw, IULw and HpsUL*w is proved, which shows that they are substructural fuzzy logics.

Recommendations

• The finite model property for semilinear substructural logics
• scientific article; zbMATH DE number 1406811
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• Finite models of some substructural logics
• scientific article; zbMATH DE number 1523044
• scientific article; zbMATH DE number 823603
• scientific article; zbMATH DE number 2070197
• Lower semilattice-ordered residuated semigroups and substructural logics
• A Sahlqvist theorem for substructural logic
• scientific article; zbMATH DE number 5289966

Cites work

• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• Involutive uninorm logic with the \(n\)-potency axiom
• On the finite embeddability property for residuated ordered groupoids
• Proof theory for fuzzy logics
• Substructural fuzzy logics
• The finite embeddability property for residuated groupoids.
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• The finite model property for semilinear substructural logics
• THE STRUCTURE OF RESIDUATED LATTICES

Cited in

(4)

• Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics
• The finite model property for semilinear substructural logics
• Craig interpolation for semilinear substructural logics
• Three ultrafilters in a modular logic

This page was built for publication: Semilinear substructural logics with the finite embeddability property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1991589)