✦ LIBER ✦

A relation-algebraic approach to the “Hoare logic” of functional dependencies

✍ Scribed by Oliveira, José N.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extending Łukasiewicz Logics with a Moda

✍ Georges Hansoul, Bruno Teheux 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 429 KB

A Function Algebra Approach to a Theorem

✍ Rosenfeld, M.; Weiss, M. L. 📂 Article 📅 1970 🏛 Oxford University Press 🌐 English ⚖ 182 KB

THE RELATION OF LOGIC TO MATHEMATICS

✍ Richard A. Arms 📂 Article 📅 1919 🏛 Oxford University Press 🌐 English ⚖ 599 KB

The Logico-Algebraic Approach to Quantum

✍ Hooker, C. A. 📂 Article 📅 1975 🏛 Springer Netherlands ⚖ 664 KB

Combinatorial approach to the classifica

✍ V. A. Popov; I. T. Skibenko 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 367 KB

The algebraic approach to the Morse osci

✍ Berrondo, M; Palma, A 📂 Article 📅 1980 🏛 Institute of Physics 🌐 English ⚖ 451 KB