An extended propositional logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F15%3A10291234" target="_blank" >RIV/00216208:11210/15:10291234 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

An extended propositional logic

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

An extended propositional logic

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Bulletin of the Institute of Mathematics Academia Sinica New Series

ISSN

2304-7909

e-ISSN

—

Svazek periodika

10

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

TW - Čínská republika (Tchaj-wan)

Počet stran výsledku

28

Strana od-do

73-100

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—