𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Predicates, Terms, Operations, and Equality in Polyadic Boolean Algebras

✍ Scribed by Paul R. Halmos

Book ID
123670318
Publisher
National Academy of Sciences
Year
1956
Tongue
English
Weight
270 KB
Volume
42
Category
Article
ISSN
0027-8424

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On representation and approximation of o
On representation and approximation of operations in Boolean algebras
✍ I. R. Goodman; Vladik Kreinovich πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 78 KB πŸ‘ 1 views

Several universal approximation and universal representation results are known for non-Boolean multivalued logics such as fuzzy logics. In this paper, we show that similar results can be proven for multivalued Boolean logics as well.

[Lecture Notes in Computer Science] Term
[Lecture Notes in Computer Science] Term Rewriting and Applications Volume 3467 || The Algebra of Equality Proofs
✍ Giesl, JΓΌrgen πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 250 KB

This Volume Contains The Proceedings Of The 16th International Conference On Rewriting Techniques And Applications (rta2005),whichwasheldonapril19– 21, 2005, At The Nara-ken New Public Hall In The Center Of The Nara National Park In Nara, Japan. Rta Is The Major Forum For The Presentation Of Researc