Charles Explorer logo
🇨🇿

An extended propositional logic

Publikace na Filozofická fakulta |
2015

Tento text není v aktuálním jazyce dostupný. Zobrazuje se verze "en".Abstrakt

Motivated by quantum mechanics we discuss an extended propositional logic (EPL) basing its syntax on partitions of sets. Every complete partition define a context and in every context EPL reduces to a classical propositional logic.

Partitions lead to a notion of incompatibility expressing that knowledge cannot be refined without changing context. We also deal with interpretations, tautologies and semantic consequences in EPL.