✦ LIBER ✦

A Many-Sorted Natural Deduction

✍ Scribed by A. Cimatti; F. Giunchiglia; R. W. Weyhrauch

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Many-sorted and single-sorted algebras

✍ MuÄka, Anna; Romanowska, Anna B.; Smith, Jonathan D. H. 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 313 KB

NATURAL DEDUCTION

📂 Article 📅 1966 🏛 John Wiley and Sons ⚖ 149 KB

A Natural Extension of Natural Deduction

✍ Peter Schroeder-Heister 📂 Article 📅 1984 🏛 Association for Symbolic Logic 🌐 English ⚖ 355 KB

Many-Sorted Quantificationby Nicholas Re

✍ Review by: H. Arnold Schmidt 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 309 KB

A deficiency of natural deduction

✍ J.G. Wiltink 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 108 KB

Analytic Natural Deduction

✍ Smullyan, Raymond 📂 Fiction 📅 0 🌐 English ⚖ 845 KB