Bulletin, Institute of Mathematics, Academia Sinica
logo-Bulletin, Institute of Mathematics, Academia Sinica

Bulletin, Institute of Mathematics, Academia Sinica
logo_m-Bulletin, Institute of Mathematics, Academia Sinica

    Jump To中央區塊/Main Content :::
  • Editorial Board
  • Archives
  • Special Issues
  • Submission
  • Subscription
  • Contact Us
search
Bulletin of the Institute of
Mathematics Academia Sinica
NEW SERIES
  • Home
  • Archives
  • Bulletin of the Institute of Mathematics Academia Sinica (New Series)
  • Facebook
  • line
  • email
  • Twitter
  • Print
2015 / March Volume 10 No.1
An extended propositional logic
Published Date
2015 / March
Title
An extended propositional logic
Author
Mariano Giaquinta, Giuseppe Modica, Jiri Soucek
Keyword
nonclassical propositional logic, foundations of quantum mechanics, contexts.
Download
Download PDF
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
  • Editorial Board
  • Archives
  • Special Issues
  • Submission
  • Subscription
  • Contact Us

Institute of Mathematics, Academia Sinica 6th Floor, Astronomy‐Mathematics Building, No. 1, Section 4, Roosevelt Road, Taipei, 10617 Taiwan R.O.C.

Tel: +886‐2‐2368‐5999 ext. 382 Fax: +886‐2‐2368‐9771 Email: bulletin@math.sinica.edu.tw

© Copyright 2023. Math Sinica All Rights Reserved.Privacy Policy & Security Policy