On relative principal congruences in term quasivarieties

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

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

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

zbMATH Keywords

quasivarietiesimplicit connectivesrelative congruencesrelative principal congruences

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

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)