✦ LIBER ✦

A system of logic for bicategorial ontology

✍ Scribed by Czesŀaw Lejewski

Publisher: Springer Netherlands
Year: 1974
Tongue: English
Weight: 982 KB
Volume: 3
Category: Article
ISSN: 0022-3611
DOI: 10.1007/bf00247227

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A critique of some logical treatments of

A critique of some logical treatments of ontological predicates

✍ Rolf Schock 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 361 KB

A Companion to Philosophical Logic || Pu

A Companion to Philosophical Logic || Putting Language First: TheâLiberationâ of Logic from Ontology

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 81 KB

Edited By Dale Jacquette. Includes Bibliographical References And Index.

A Companion to Philosophical Logic || Fr

A Companion to Philosophical Logic || From Logic to Ontology: Some Problems of Predication, Negation, and Possibility

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 91 KB

Edited By Dale Jacquette. Includes Bibliographical References And Index.

A gentzen system for conditional logic

✍ Fernando Guzmán 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 775 KB

SAMBO—A system for aligning and merging

SAMBO—A system for aligning and merging biomedical ontologies

✍ Patrick Lambrix; He Tan 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Due to the recent explosion of the amount of on-line accessible biomedical data and tools, finding and retrieving the relevant information is not an easy task. The vision of a Semantic Web for life sciences alleviates these difficulties. A key technology for the Semantic Web is ontologies. In recent

A fact dependency system for the logic p

A fact dependency system for the logic programmer

✍ Peter S.G. Swinson; Fernando C.N. Pereira; Aart Bijl 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 621 KB