Results 11 to 20 of about 23 (23)

Every quotient algebra for $C_1$ is trivial.

Notre Dame Journal of Formal Logic, 1980
Chris Mortensen
exaly  

Ideals and atoms of BZ-algebras

Mathematica Slovaca, 2009
Wieslaw A Dudek, Xiaohong Zhang, Yongquan Wang   +2 more
exaly  

A perspective on the algebra of logic

Quaestiones Mathematicae, 2011
J G Raftery
exaly  

First-order theories as many-sorted algebras.

Notre Dame Journal of Formal Logic, 1984
Antonino Salibra
exaly  

Topological duality for diagonalizable algebras.

Notre Dame Journal of Formal Logic, 1988
Claudio Bernardi, Paola D'Aquino
exaly  

State hoops

Mathematica Slovaca, 2017
R A Borzooei, Omid Zahiri
exaly  

BM-Algebras and related topics

Mathematica Slovaca, 2014
Andrzej Walendziak
exaly  

Operational semantics for positive ${\rm R}$.

Notre Dame Journal of Formal Logic, 1987
exaly  

Predication in the logic terms.

Notre Dame Journal of Formal Logic, 1989
exaly  

Free ${\rm S}5$ algebras.

Notre Dame Journal of Formal Logic, 1978
exaly