On relative principal congruences in term quasivarieties

DOI10.1007/S11225-022-10011-8MaRDI QIDQ2106878zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Relative principal congruences in congruence-modular quasivarieties
• scientific article; zbMATH DE number 146261
• Quasivarieties with definable relative principal subcongruences
• Quasivarieties of algebras with definable principal congruences
• scientific article; zbMATH DE number 3895132

Cites work

• scientific article; zbMATH DE number 5510319 (Why is no real title available?)
• scientific article; zbMATH DE number 3819795 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 1226187 (Why is no real title available?)
• scientific article; zbMATH DE number 1557989 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• Algebraizable logics
• An algebraic approach to intuitionistic connectives
• Bounded distributive lattices with strict implication
• Compatible operations on commutative residuated lattices
• Implicative Semi-Lattices
• Implicit connectives of algebraizable 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 Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices
• On congruences in weak implicative semi-lattices
• On frontal operators in Hilbert algebras
• On the quasivariety of BCK-algebras and its subvarieties
• Principal congruences in weak Heyting algebras
• Relatively compatible operations in BCK-algebras and some related algebras
• Representable pseudo-BCK-algebras and integral residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• \(l\)-hemi-implicative semilattices

Cited in

(1)

• On the implicative-infimum subreducts of weak Heyting algebras

This page was built for publication: On relative principal congruences in term quasivarieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2106878)