✦ LIBER ✦

From Basic Logic to Quantum Logics with Cut-Elimination

✍ Scribed by Claudia Faggian; Giovanni Sambin

Book ID: 111566678
Publisher: Springer
Year: 1998
Tongue: English
Weight: 93 KB
Volume: 37
Category: Article
ISSN: 0020-7748
DOI: 10.1023/a:1026652903971

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Boolean transfer from coherent quantum l

Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules

✍ Hirokazu Nishimura 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 748 KB 👁 1 views

Cut elimination for a logic with inducti

Cut elimination for a logic with induction and co-induction

✍ Alwen Tiu; Alberto Momigliano 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 510 KB

Some results from the combinatorial appr

Some results from the combinatorial approach to quantum logic

✍ Richard J. Greechie 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 718 KB

Logical approaches to deontic reasoning:

Logical approaches to deontic reasoning: From basic questions to dynamic solutions

✍ Philippe Balbiani 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 172 KB

The development of deontic logic has opened new possibilities for the mathematical analysis of norms. This article tackles the description of large families of deontic systems that attempt to formalize such-and-such idea of juridical notions like obligation. It also introduces a modal logic based on

Fuzzy real numbers as Dedekind cuts with

Fuzzy real numbers as Dedekind cuts with respect to a multiple-valued logic

✍ Ulrich Höhle 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 688 KB

Quantum logical gates with four-level su

Quantum logical gates with four-level superconducting quantum interference devices coupled to a superconducting resonator

✍ He, Xiao-Ling; Yang, Chui-Ping; Li, Sheng; Luo, Jun-Yan; Han, Siyuan 📂 Article 📅 2010 🏛 The American Physical Society 🌐 English ⚖ 177 KB