-model and distributivity in Boolean algebras
-theories of Boolean algebras
A Complete Boolean Algebra without Homogeneous or Rigid Factors.
A glimpse of deductive systems in algebra
The concept of a deductive system has been intensively studied in algebraic logic, per se and in connection with various types of filters. In this paper we introduce an axiomatization which shows how several resembling theorems that had been separately proved for various algebras of logic can be given unique proofs within this axiomatic framework. We thus recapture theorems already known in the literature, as well as new ones. As a by-product we introduce the class of pre-BCK algebras.
A note on ...-categorical model-companions.
A Note On Reproductive Solutions
A note on reproductive solutions.
A proof of Rasiowa-Sikorski theorem via complete sequences
A pseudo representation theorem for various categories of relations.
A short note on lattices allowing disjunctive reasoning.
This short note shows that the scheme of disjunctive reasoning, a or b, not b : a, does not hold neither in proper ortholattices nor in proper de Morgan algebras. In both cases the scheme, once translated into the inequality b' · (a+b) ≤ a, forces the structure to be a boolean algebra.
Alcune proprietà delle algebre di Boole principali
In this paper some properties of principal Boolean algebras are studied.
Algèbres de Lukasiewicz symétriques
All General Reproductive Solutions of Boolean Equations
An algebraic approach to the Heyting-Brouwer predicate calculus
Anneaux monadiques libres. Hémimorphismes unitaires libres
Application de l'algèbre de Boole à l'étude des graphes
Boolean algebras in which every chain and antichain is countable
Boolean differential operators
We consider four combinatorial interpretations for the algebra of Boolean differential operators and construct, for each interpretation, a matrix representation for the algebra of Boolean differential operators.
Boolean games – Classifying strategies and omitting cardinality assumptions
Certaines Équations Fonctionnelles Pesudo-Booléennes Généralisées