Projectivity in (bounded) commutative integral residuated lattices
From MaRDI portal
Publication:2108529
DOI10.1007/s00012-022-00798-xOpenAlexW4310189485MaRDI QIDQ2108529
Publication date: 19 December 2022
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-022-00798-x
BCK-algebras, BCI-algebras (06F35) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Injectives, projectives (08B30)
Related Items (2)
Projectivity and unification in substructural logics of generalized rotations ⋮ Structural and universal completeness in algebra and logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Free-decomposability in varieties of pseudocomplemented residuated lattices
- A short note on divisible residuated semilattices
- Ideals in universal algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Projective MV-algebras and rational polyhedra
- On subtractive varieties II: General properties
- Metamathematics of fuzzy logic
- Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
- On the structure of varieties with equationally definable principal congruences. III
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Varieties of BL-algebras. I: General properties.
- On the structure of hoops
- Splitting in the variety of residuated lattices
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
- Projective MV-algebras
- Varieties of BL-algebras. III: Splitting algebras
- Splittings in GBL-algebras. I: The general case
- Splittings in GBL-algebras. II: The representable case
- Basic hoops: an algebraic study of continuous t-norms
- Cancellative residuated lattices
- Computing coproducts of finitely presented Gödel algebras
- Projective and injective distributive lattices
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Minimal varieties of residuated lattices
- THE STRUCTURE OF RESIDUATED LATTICES
- Structural Completeness in Substructural Logics
- Logics without the contraction rule
- On formulas of one variable in intuitionistic propositional calculus
- Brouwerian Semilattices
- Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
- Unification in intuitionistic logic
- Unification through projectivity
- Glivenko like theorems in natural expansions of BCK-logic
- Finite Sublattices of a Free Lattice
- Strictly join irreducible varieties of residuated lattices
- MTL-algebras as rotations of basic hoops
- A Machine-Oriented Logic Based on the Resolution Principle
- Injective and Projective Heyting Algebras
- An algebra related with a propositional calculus
- Equational Bases and Nonmodular Lattice Varieties
- Residuated Lattices
- Projective modules over polynomial rings
- Demi-semi-primal algebras and Mal'cev-type conditions
This page was built for publication: Projectivity in (bounded) commutative integral residuated lattices
