✦ LIBER ✦

Accessible categories and models of linear logic

✍ Scribed by Michael Barr

Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 890 KB
Volume: 69
Category: Article
ISSN: 0022-4049
DOI: 10.1016/0022-4049(91)90020-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Existential Morphisms and Existentially

Existential Morphisms and Existentially Closed Models of Logical Categories

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

Fibration models and localisation of cat

Fibration models and localisation of categories

✍ Luca Mauri 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 302 KB

Modeling and testing object-oriented dis

Modeling and testing object-oriented distributed systems with linear-time temporal logic

✍ F. Dietrich; X. Logean; J.-P. Hubaux 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 499 KB

Linear Diagonals-Parameter Symmetry and

Linear Diagonals-Parameter Symmetry and Quasi-Symmetry Models for Cumulative Probabilities in Square Contingency Tables with Ordered Categories

✍ Nobuko Miyamoto; Wataru Ohtsuka; Sadao Tomizawa 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 132 KB 👁 1 views

On random models of finite power and mon

On random models of finite power and monadic logic

✍ Matt Kaufmann; Saharon Shelah 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 619 KB

For any property d~ of a model (or graph), let ~n(&) be the fraction of models of power n which satisfy &, and let ~(d~) = lim~\_\_~ Izn(d)) if this limit exists. For first-order properties &, it is known that ~(&) must be 0 or 1. We answer a question of K. Compton by proving in a strong way that th

A Decomposition of Linear Diagonals-Para

A Decomposition of Linear Diagonals-Parameter Symmetry Model for Square Contingency Tables with Ordered Categories

✍ Dr. Sadao Tomizawa 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 261 KB 👁 2 views

For square contingency tables with ordered categories, this paper gives s decomposition for h R B s n ' 8 (1983) linear diagonals-parameter symmetry (LDPS) model into GOODMAN'S (1971)) diagonals-parameter symmetry model and the linear diagonals-parameter marginal symmetry model introduced in this p