Projectivity in (bounded) commutative integral residuated lattices
From MaRDI portal
Publication:2108529
Recommendations
- Direct product of \(\ell\)-algebras and unification: an application to residuated lattices
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Lattice-theoretic properties of algebras of logic
- Projectivity and unification in substructural logics of generalized rotations
- Unification in some substructural logics of BL-algebras and hoops
Cites work
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 475196 (Why is no real title available?)
- scientific article; zbMATH DE number 2208113 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A short note on divisible residuated semilattices
- An algebra related with a propositional calculus
- Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
- Basic hoops: an algebraic study of continuous t-norms
- Brouwerian Semilattices
- Cancellative residuated lattices
- Computing coproducts of finitely presented Gödel algebras
- Demi-semi-primal algebras and Mal'cev-type conditions
- Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
- Equational Bases and Nonmodular Lattice Varieties
- Finite Sublattices of a Free Lattice
- Free-decomposability in varieties of pseudocomplemented residuated lattices
- Glivenko like theorems in natural expansions of BCK-logic
- Ideals in universal algebras
- Injective and Projective Heyting Algebras
- Logics without the contraction rule
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- MTL-algebras as rotations of basic hoops
- Metamathematics of fuzzy logic
- Minimal varieties of residuated lattices
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops
- On a homomorphism property of hoops
- On formulas of one variable in intuitionistic propositional calculus
- On subtractive varieties II: General properties
- On the structure of hoops
- On the structure of varieties with equationally definable principal congruences. III
- Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
- Projective MV-algebras
- Projective MV-algebras and rational polyhedra
- Projective and injective distributive lattices
- Projective modules over polynomial rings
- Residuated Lattices
- Residuated lattices. An algebraic glimpse at substructural logics
- Splitting in the variety of residuated lattices
- Splittings in GBL-algebras. I: The general case
- Splittings in GBL-algebras. II: The representable case
- Strictly join irreducible varieties of residuated lattices
- Structural Completeness in Substructural Logics
- THE STRUCTURE OF RESIDUATED LATTICES
- Unification in intuitionistic logic
- Unification in some substructural logics of BL-algebras and hoops
- Unification through projectivity
- Varieties of BL-algebras. I: General properties.
- Varieties of BL-algebras. III: Splitting algebras
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
Cited in
(4)
This page was built for publication: Projectivity in (bounded) commutative integral residuated lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2108529)
