𝔖 Bobbio Scriptorium

✦ LIBER ✦

Axiomes Indépendants pour les Algèbres de Brouwer.by Antonio Monteiro

✍ Scribed by Review by: Helmuth Gericke

Book ID: 124950657
Publisher: Association for Symbolic Logic
Year: 1958
Tongue: English
Weight: 101 KB
Volume: 23
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2964035

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomes Independants Pour les Algebres d

Axiomes Independants Pour les Algebres de Lukasiewicz Trivalentesby Luiz F. T. Monteiro

✍ Review by: Eugen Mihailescu 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 188 KB

Contributions a L'Étude des Logiques Non

Contributions a L'Étude des Logiques Non-Chrysippiennes. I. Un Nouveau Système D'Axiomes Pour les Algèbres Lukasiewicziennes Tetra-Valentes.by Gr. C. Moisil

✍ Review by: Robert Feys 📂 Article 📅 1948 🏛 Association for Symbolic Logic 🌐 English ⚖ 213 KB

Postulational Study of an Axiom System o

Postulational Study of an Axiom System of Boolean Algebra.by Yap Hian Poh;A Set of Independent Axioms for Boolean Algebra.by R. M. Dicker;A Self-Dual System of Axioms for Boolean Algebra.by P. J. van Albada;Two Sets of Axioms for Boolean Algebras.by Antonio Diego; Alberto Suárez;Axiomatique des Algèbres de Boole.by P. J. van Albada;A Short Axiomatic System for Boolean Algebra.by Lawrence J. Dickson;A Shorter Axiomatic System for Boolean Algebra.by Leroy J. Dickey;Independent Postulate Sets for Boolean Algebra.by Chinthayamma;A Simple Characterization of Boolean Rings.by Kiyoshi Iséki;On Definitions of Boolean Rings and Distributive Lattices.by Sakiko Ôhashi

✍ Review by: Donald H. Potts 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 144 KB