A note on logically stable neural nets

Logic programming on a neural network

✍ Wan Ahmad Tajuddin Wan Abdullah 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 412 KB

We propose a method of doing logic programming on a Hopfield neural network. Optimization of logical consistency is carried out by the network after the connection strengths are defined from the logic program; the network relaxes to neural states corresponding to a valid (or near-valid) interpretati

A note on stable graphs

✍ Linda Lesniak-Foster 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 551 KB

A note on dual-intuitionistic logic

✍ Norihiro Kamide 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 91 KB 👁 1 views

## Abstract Dual‐intuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dual‐intuitionistic logic and Nelson's constructive logic N^−^.

A note on Grzegorczyk's logic

✍ Emil Jeřábek 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 71 KB

## Abstract Grzegorczyk's modal logic (Grz) corresponds to the class of upwards well‐founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively

A Note on Pavelka's Fuzzy Logic

✍ Esko Turunen 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 108 KB 👁 1 views

A note on non-monotonic modal logic

✍ Robert Stalnaker 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 832 KB

This paper, which began as a comment on a talk by Drew McDermott, 1 was completed in the summer of 1980. It circulated in typescript, but was not published at the time. A lot has happened in the study of nonmonotonic reasoning since that time, and the paper is now quite dated, but it is being publis