Charles Explorer logo
🇬🇧

An extended propositional logic

Publication at Faculty of Arts |
2015

Abstract

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.