On relative principal congruences in term quasivarieties
From MaRDI portal
Publication:2106878
DOI10.1007/S11225-022-10011-8OpenAlexW4284895629MaRDI QIDQ2106878
Publication date: 29 November 2022
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-022-10011-8
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Residuated lattices. An algebraic glimpse at substructural logics
- Integrated uncertainty management and applications. Selected papers based on the presentations at the 2010 international symposium on integrated uncertainty managment and applications (IUM 2010), Ishikawa, Japan, April 9--11, 2010.
- On the quasivariety of BCK-algebras and its subvarieties
- On congruences in weak implicative semi-lattices
- Implicit connectives of algebraizable logics
- \(l\)-hemi-implicative semilattices
- Representable pseudo-BCK-algebras and integral residuated lattices
- Principal congruences in weak Heyting algebras
- Compatible operations on commutative residuated lattices
- Algebraizable logics
- An algebraic approach to intuitionistic connectives
- Relatively compatible operations in BCK-algebras and some related algebras
- On frontal operators in Hilbert algebras
- Bounded distributive lattices with strict implication
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Implicative Semi-Lattices
- On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices
This page was built for publication: On relative principal congruences in term quasivarieties
