Results 21 to 29 of about 29 (29)

Boolean Algebras in Visser Algebras

Notre Dame Journal of Formal Logic, 2016
Wim Ruitenburg, Majid Alizadeh, Mohammad Ardeshir   +2 more
exaly  

The field $\mathbb F_8$ as a Boolean manifold

Tbilisi Mathematical Journal, 2015
René Guitart
exaly  

Quick detection of faults in combinational networks designed in minterm format by computing a single novel parameter

International Journal of Computer Mathematics, 2009
Pramode Bhattacharjee
exaly  

A Note on Algebraic Semantics for S5 with Propositional Quantifiers

Notre Dame Journal of Formal Logic, 2019
Wesley H Holliday
exaly  

Frolík decompositions for lattice-ordered groups

Quaestiones Mathematicae, 2018
Gérard Buskes
exaly  

A simplification procedure for alternational normal schemata.

Notre Dame Journal of Formal Logic, 1979
exaly  

Solution of Boolean equations via atomic decomposition into independent switching equations

International Journal of Computer Mathematics: Computer Systems Theory, 2019
Ali Rushdi, Ahmed Balamesh
exaly  

A first order proof of a theorem of Frink

Algebra Universalis, 1981
Padmanabhan R
exaly  

Homogeneous Boolean algebras with very nonsymmetric subalgebras.

Notre Dame Journal of Formal Logic, 1983
exaly