Modal quantum logic and its dialogic foundation |
| |
| Authors: | F J Burghardt |
| |
| Institution: | (1) Institut für Theoretische Physik, Universität zu Köln, Köln, West Germany |
| |
| Abstract: | In this paper we investigate a modal calculus of quantum metalogic which is complete and sound with respect to a dialogic semantics. This calculus calledM
eff(Q
eff) has three parts: one covering the formal metalogic, one reflecting the calculus of the object language, and one which is a link between object language and metalanguage. This third part is invariant with respect to a variation of the object language |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
