Projectivity in (bounded) commutative integral residuated lattices

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35) Injectives, projectives (08B30) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites Work

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

Cited In (4)

Title not available (Why is that?)
Structural and universal completeness in algebra and logic
Projectivity and unification in substructural logics of generalized rotations
Nondefinability of projectivity in lattice varieties

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)