✦ LIBER ✦

Combined bus and logic analyser

Publisher: Elsevier Science
Year: 1981
Tongue: English
Weight: 118 KB
Volume: 5
Category: Article
ISSN: 0141-9331
DOI: 10.1016/0141-9331(81)90546-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Emulator and logic analyser in one machi

Emulator and logic analyser in one machine

📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 787 KB

Board level bus analysers for VMEbus and

Board level bus analysers for VMEbus and beyond

✍ Laurie J Burger 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 973 KB

Combining classical logic, paraconsisten

Combining classical logic, paraconsistency and relevance

✍ Arnon Avron 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 289 KB

We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal f

Completeness of a combination of neighbo

Completeness of a combination of neighbourhood logic and temporal logic

✍ Rana Barua 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 105 KB

On combinations of propositional dynamic

On combinations of propositional dynamic logic and doxastic modal logics

✍ Renate A. Schmidt; Dmitry Tishkovsky 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 482 KB

Combining and automating classical and n

Combining and automating classical and non-classical logics in classical higher-order logics

✍ Christoph Benzmüller 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 502 KB