Results 81 to 90 of about 93 (90)

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

Notre Dame Journal of Formal Logic, 1987
exaly  

t-derivations on complicated subtraction algebras

Journal of Discrete Mathematical Sciences and Cryptography, 2017
Chiranjibe Jana, Tapan Senapati, Madhumangal Pal   +2 more
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  

On the structure of De Morgan monoids with corollaries on relevant logic and theories.

Notre Dame Journal of Formal Logic, 1988
exaly  

Axioms for generalized Newman algebras.

Notre Dame Journal of Formal Logic, 1978
exaly  

Remarks on special lattices and related constructive logics with strong negation.

Notre Dame Journal of Formal Logic, 1990
exaly  

Principal congruences of tetravalent modal algebras.

Notre Dame Journal of Formal Logic, 1985
exaly  

On Homomorphisms of $AB$-algebras

Missouri Journal of Mathematical Sciences, 2019
exaly  

Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing $I\Delta_{0} + \hbox{exp}$

Notre Dame Journal of Formal Logic, 1994
exaly