✦ LIBER ✦

Tree proofs for syllogistic

✍ Scribed by Peter M. Simons

Publisher: Springer Netherlands
Year: 1989
Tongue: English
Weight: 916 KB
Volume: 48
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00370206

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Premiss tree proofs and logic of contrad

Premiss tree proofs and logic of contradiction

✍ Zvonimir Šikić 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 283 KB

Formalised syllogistic

✍ A. N. Prior 📂 Article 📅 1959 🏛 Springer Netherlands 🌐 English ⚖ 410 KB

Deontic syllogistics

✍ Zdzisław Ziemba 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 969 KB

Three-membered domains for aristotle's s

Three-membered domains for aristotle's syllogistic

✍ Fred Johnson 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 325 KB

The paper shows that for any hlvalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.

Strategies in syllogistic reasoning

✍ Monica Bucciarelli; P.N Johnson-Laird 📂 Article 📅 1999 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 250 KB

The automation of syllogistic

✍ D. Cantone; E. G. Omodeo; A. Policriti 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 752 KB