✦ LIBER ✦

Some lattice models of bilinear logic

✍ Scribed by J. Lambek

Publisher: Springer
Year: 1995
Tongue: English
Weight: 400 KB
Volume: 34
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf01181877

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some models of combinatory logic

✍ D. Skordev 📂 Article 📅 1976 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 172 KB

Investigation of some soluble lattice sp

Investigation of some soluble lattice spin models

✍ P. Bracken 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 441 KB 👁 1 views

The diagonalization of a class of lattice spin models of a particular structure is first reviewed and secular polynomials for these models are calculated explicitly from the corresponding secular matrices. The structure of the eigenvectors of the given secular matrices is investigated and used to de

Finite Models of Some Substructural Logi

Finite Models of Some Substructural Logics

✍ Wojciech Buszkowski 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 156 KB

A note on the properties of some time va

A note on the properties of some time varying bilinear models

✍ Abdelouahab Bibi; Alwell J. Oyet 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 153 KB

In this note, a su cient condition is given for the existence and uniqueness of a stable causal solution for bilinear time series with time-varying coe cients; also some conditions for invertibility and the optimal prediction procedure are given. The notions of controllability, observability and min

Nonexistence ofHTheorem for Some Lattice

Nonexistence ofHTheorem for Some Lattice Boltzmann Models

✍ Wen-an Yong; Li-Shi Luo 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 161 KB

Splitting lattices of logics

✍ Rautenberg, Wolfgang 📂 Article 📅 1980 🏛 Springer-Verlag ⚖ 277 KB