✦ LIBER ✦

Displaying and Deciding Substructural Logics 1: Logics with Contraposition

✍ Scribed by Greg Restall

Book ID: 110368623
Publisher: Springer Netherlands
Year: 1998
Tongue: English
Weight: 332 KB
Volume: 27
Category: Article
ISSN: 0022-3611
DOI: 10.1023/a:1017998605966

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidable and undecidable logics with a

Decidable and undecidable logics with a binary modality

✍ ágnes Kurucz; István Németi; Ildikó Sain; András Simon 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 963 KB

Inference rules with metavariables and l

Inference rules with metavariables and logical equations in the pretabular modal logic PM1

✍ V. R. Kiyatkin 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 701 KB

Branching Time Logics(mathcal {BTL}^{mat

Branching Time Logics(mathcal {BTL}^{mathrm {U,S}}_{mathrm {N},mathrm {N}^{-1}}(mathcal {Z})_{alpha })with OperationsUntilandSinceBased on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms

✍ V. Rybakov 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 471 KB

Address-While-Display technique combined

Address-While-Display technique combined with gas-discharge AND logic for driving AC-PDPs

✍ Makoto Ishii; Kenji Saito; Tomokazu Shiga; Kiyoshi Igarashi; Shigeo Mikoshiba; J 📂 Article 📅 2002 🏛 Society for Information Display 🌐 English ⚖ 436 KB

2-1 addition and related arithmetic oper

2-1 addition and related arithmetic operations with threshold logic

✍ Vassilladis, S.; Cotofana, S.; Bertels, K. 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 656 KB

Innentitelbild: Sequential Logic Operati

Innentitelbild: Sequential Logic Operations with Surface-Confined Polypyridyl Complexes Displaying Molecular Random Access Memory Features (Angew. Chem. 1/2010)

✍ Graham de Ruiter; Elizabetha Tartakovsky; Noa Oded; Milko E. van der Boom 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 503 KB