✦ LIBER ✦

An approach to logical calculus

✍ Scribed by Andrzej Grzegorczyk

Publisher: Springer Netherlands
Year: 1972
Tongue: English
Weight: 403 KB
Volume: 30
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02120821

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algebraic approach to traditional log

An algebraic approach to traditional logic

✍ Zbigniew Lis 📂 Article 📅 1968 🏛 Springer Netherlands 🌐 English ⚖ 70 KB

An abductive approach to disjunctive log

An abductive approach to disjunctive logic programming

✍ Jia-Huai You; Li Yan Yuan; Randy Goebel 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 282 KB

Nonmonotonic reasoning has been explored as a form of abductive reasoning where default assumptions are treated as abductive hypotheses. While the semantics and proof theories under this approach have been studied extensively, the question of how disjunctive programs may be used to reason abductivel

The logic of actual obligation. An alter

The logic of actual obligation. An alternative approach to deontic logic

✍ Frans Voorbraak 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 871 KB

A dynamical approach to logical decision

A dynamical approach to logical decisions

✍ Eduardo Mizraji; Juan Lin 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 147 KB 👁 2 views

We propose a first approximation to the modeling of cognitive decisions based on the theory of associative memories. The basic structure are the matrix memories of Anderson-Kohonen adapted to include the modulation of associations via tensorial preprocessing of inputs. This view admits an easy imple

A logical approach to problem representa

A logical approach to problem representation

✍ Paul Bourgine 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 789 KB

A logical approach to A-Prolog

✍ Mauricio Osorio; Juan Antonio Navarro; José Arrazola 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 758 KB