✦ LIBER ✦

Order of state functions and logic functions

✍ Scribed by Youichi Kobuchi

Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 476 KB
Volume: 41
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(92)90256-u

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidable Cases of First-order Temporal

Decidable Cases of First-order Temporal Logic with Functions

✍ Walter Hussak 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 234 KB

Adapting functional programs to higher o

Adapting functional programs to higher order logic

✍ Scott Owens; Konrad Slind 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 559 KB

On Ultrafilter Logic and Special Functio

On Ultrafilter Logic and Special Functions

✍ Paulo A. S. Veloso; Sheila R. M. Veloso 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 292 KB

Sheffer Functions in Intuitionistic Logi

Sheffer Functions in Intuitionistic Logic

✍ G. Rousseau 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 247 KB

State evaluation functions and Lyapunov

State evaluation functions and Lyapunov functions for neural networks

✍ Youichi Kobuchi 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 711 KB

For (I nettvork of binary State elements. consider functions from the set of State configurations into the .set of reul nurnberv. We first characterize the existenc~c of such .state evaluation f~rnctions through the properties on their difference flmctions. A method to restore the originul state elu

Monotonic functions of many-valued logic

Monotonic functions of many-valued logic and supermatroids

✍ M.M. Kovalev; P. Milanov 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 281 KB