scispace - formally typeset
Search or ask a question

Showing papers on "Paraconsistent logic published in 1971"


Journal ArticleDOI
TL;DR: Several logical systems, with an intent of applying them to the experimental semantics of quantum mechanics, have been built as mentioned in this paper, with the intention of applying these systems to the quantum mechanics.
Abstract: Several logical systems, with an intent of applying them to the experimental sen? tences of quantum mechanics, have been built. The two best known ones are: the logic of quantum mechanics defined by Birkhof f and v. Neumann [2] and known also as the modular logic and the calculus of partial propositional functions defined by Specker and Kochen [3]. The modular logic, though initiated 33 years ago is still subject of research and discussions. The paper [2] is one of the commonest ones quoted in the literature on mathematics.

6 citations