✦ LIBER ✦

Proof theory for minimal quantum logic: A remark

✍ Scribed by Mitio Takano

Publisher: Springer
Year: 1995
Tongue: English
Weight: 180 KB
Volume: 34
Category: Article
ISSN: 0020-7748
DOI: 10.1007/bf00674960

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof theory for minimal quantum logic I

Proof theory for minimal quantum logic II

✍ Hirokazu Nishimura 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 635 KB

Proof theory for minimal quantum logic I

✍ Hirokazu Nishimura 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 496 KB

Proof Theories for Semilattice Logics

✍ Steve Giambrone; Alasdaire Urquhart 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 400 KB

Further Results on Proof Theories For Se

Further Results on Proof Theories For Semilattice Logics

✍ Robert K. Meyer; Errol P. Martin; Steve Giambrone; Alasdair Urquhart 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 212 KB

A completeness proof for adapted probabi

A completeness proof for adapted probability logic

✍ H.Jerome Keisler 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 578 KB

A proof rule for restoring logic circuit

A proof rule for restoring logic circuits

✍ J.A. Bergstra; J.W. Klop 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 843 KB

An axiomatic semantics is given for restoring logic circuits, both statically and dynamically. As an example the Muller C-element is discussed in detail. It is shown that a consistent circuit reacts in an unambiguous way on new inputs.