𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quantal Logic vs Classical Logic

✍ Scribed by Saito, N.


Book ID
118156820
Publisher
Institute of Pure and Applied Physics
Year
2006
Tongue
English
Weight
174 KB
Volume
116
Category
Article
ISSN
0033-068X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On a logic of involutive quantales
✍ Norihiro Kamide πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 112 KB

## MSC (2000) 03B47 The logic just corresponding to (non-commutative) involutive quantales, which was introduced by Wendy Mac-Caull, is reconsidered in order to obtain a cut-free sequent calculus formulation, and the completeness theorem (with respect to the involutive quantale model) for this log

Classical logic without bivalence
✍ Sandqvist, T. πŸ“‚ Article πŸ“… 2009 πŸ› Oxford University Press 🌐 English βš– 97 KB