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