✦ LIBER ✦

N-Categories in Logic

✍ Scribed by Agustin Riscos; Luis M. Laita

Publisher: John Wiley and Sons
Year: 1987
Tongue: English
Weight: 512 KB
Volume: 33
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19870330605

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Partial Horn logic and cartesian categor

Partial Horn logic and cartesian categories

✍ E. Palmgren; S.J. Vickers 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 664 KB

Accessible categories and models of line

Accessible categories and models of linear logic

✍ Michael Barr 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 890 KB

Language in action: Categories, lambdas

Language in action: Categories, lambdas and dynamic logic Johan van Benthem

✍ David Israel 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 526 KB

## Background to the book For about two thousand years, logic and logicians were stuck on the problem of multiple quantification. Aristotle and his successors had systematized large parts of monadic quantification theory (as we now call it), but very little progress had been made on extending the

Monoidal closed categories, weak topoi a

Monoidal closed categories, weak topoi and generalized logics

✍ Ulrich Höhle 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 837 KB

Existential Morphisms and Existentially

Existential Morphisms and Existentially Closed Models of Logical Categories

✍ Ioana Petrescu 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 523 KB

Weak n-categories: comparing opetopic fo

Weak n-categories: comparing opetopic foundations

✍ Eugenia Cheng 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 298 KB