On Implicative and Positive Implicative GE Algebras

DOI10.18778/0138-0680.2023.21MaRDI QIDQ6200475

Andrzej Walendziak

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

Hilbert algebraBCK algebra(positive) implicativityGE algebratGE algebra

Mathematics Subject Classification ID

Partial orders, general (06A06) BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25)

Cites Work

• A glimpse of deductive systems in algebra
• Fuzzifications of generalized Tarski filters in Tarski algebras
• The property of commutativity for some generalizations of BCK algebras
• THE DEVELOPMENT OF A ZERO-INFLATED RASCH MODEL
• On GE-algebras
• Logic and Implication
• An algebra related with a propositional calculus
• An algebraic characterization of quantifiers
• On implicative BE algebras
• Transitivity of implicative aBE algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Implicative and Positive Implicative GE Algebras