Remarks on skew Hilbert algebras and weak BCK^-algebras

DOI10.1093/LOGCOM/EXAF015MaRDI QIDQ6909893zbMATH OpenFDO

Authors Jānis Cīrulis

Publication date 29 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAF015

zbMATH Keywords

compatibility conditionimplicative weak BCK-algebraorthoimplicative weak BCK-algebraorthomodular implication algebrapositive implicative weak BCK-algebraskew Hilbert algebraweak BCK-algebra

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• An algebra related with a propositional calculus
• An algebraic analysis of implication in non-distributive logics
• Distributive implication groupoids
• Extension of sectional pseudocomplementation in posets
• scientific article; zbMATH DE number 3819795 (Why is no real title available?)
• scientific article; zbMATH DE number 3741394 (Why is no real title available?)
• scientific article; zbMATH DE number 3598466 (Why is no real title available?)
• scientific article; zbMATH DE number 1309102 (Why is no real title available?)
• scientific article; zbMATH DE number 3270656 (Why is no real title available?)
• Implication in sectionally pseudocomplemented posets
• On embedding Hilbert algebras in BCK-algebras
• On some classes of commutative weak BCK-algebras
• Orthoimplication algebras
• Orthomodular implication algebras
• Orthomodular semilattices
• Quasi-orthomodular posets and weak BCK-algebras.
• Simple axioms for orthomodular implication algebras
• Subtraction-like operations in nearsemilattices

Cited in

(1)

• From sectionally pseudocomplemented posets to pseudoimplicative dual BCK-algebras

This page was built for publication: Remarks on skew Hilbert algebras and weak \(\mathrm{BCK}^\ast\)-algebras

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