Abstract | ||
---|---|---|
In a preceding paper [1] it was shown that quantum logic, given by the tableaux-calculus Teff, is complete and consistent with respect to the dialogic foundation of logics. Since in formal dialogs the special property of the ‘value-definiteness’ of propositions is not postulated, the calculus Teff represents a calculus of effective (intuitionistic) quantum logic. |
Year | DOI | Venue |
---|---|---|
1978 | 10.1007/BF00245934 | J. Philosophical Logic |
Keywords | Field | DocType |
Hilbert Space, Special Property, Lattice Structure, Propositional Calculus, Quantum Logic | Intuitionistic logic,Natural deduction,Minimal logic,Proof calculus,Gleason's theorem,Propositional calculus,Algorithm,Many-valued logic,Mathematics,Intermediate logic | Journal |
Volume | Issue | ISSN |
7 | 1 | 1573-0433 |
Citations | PageRank | References |
4 | 1.41 | 1 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ernst-Walther Stachow | 1 | 10 | 4.46 |