2015 / March Volume 10 No.1
An extended propositional logic
Published Date |
2015 / March
|
---|---|
Title | An extended propositional logic |
Author | |
Keyword | |
Download | |
Pagination | 73-100 |
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.
|
AMS Subject Classification |
03B60, 81P10, 81P16.
|
Received |
2014-11-06
|
Accepted |
2014-11-04
|