On relative principal congruences in term quasivarieties

DOI10.1007/S11225-022-10011-8OpenAlexW4284895629MaRDI QIDQ2106878

Hernán Javier San Martín

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

zbMATH Keywords

quasivarietiesimplicit connectivesrelative congruencesrelative principal congruences

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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