Algebraic Approach to Tense Operators

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F15%3A00081655" target="_blank" >RIV/00216224:14310/15:00081655 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61989592:15310/15:33159107

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Algebraic Approach to Tense Operators

Popis výsledku v původním jazyce

Propositional logics usually do not incorporate the dimension of time. However, even Aristotle already mentioned that time plays an important role in the evaluation of truth values of propositions. After Aristotle's time, a lot was created by men and, nowadays, logic is not an exceptional area for human reasoning. From the 1940's on, computers were built and the era of the Artificial Intelligence gently started. Nowadays, practically any more advanced product contains some kind of processor which decides situations in a way similar to that of a human being. However, for such technical devices the forecast for truth values of propositions in the future is not only a speculation. Due to the constructions and the technical possibilities, we can often compute these values, and propositions concerning the near future are of great importance. This has motivated many authors to investigate the so-called temporal logic, i.e., the logic where time is considered as a variable of the propositiona

Název v anglickém jazyce

Algebraic Approach to Tense Operators

Popis výsledku anglicky

Propositional logics usually do not incorporate the dimension of time. However, even Aristotle already mentioned that time plays an important role in the evaluation of truth values of propositions. After Aristotle's time, a lot was created by men and, nowadays, logic is not an exceptional area for human reasoning. From the 1940's on, computers were built and the era of the Artificial Intelligence gently started. Nowadays, practically any more advanced product contains some kind of processor which decides situations in a way similar to that of a human being. However, for such technical devices the forecast for truth values of propositions in the future is not only a speculation. Due to the constructions and the technical possibilities, we can often compute these values, and propositions concerning the near future are of great importance. This has motivated many authors to investigate the so-called temporal logic, i.e., the logic where time is considered as a variable of the propositiona

Druh

B - Odborná kniha

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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ů

ISBN

9783885382355

Počet stran knihy

204

Název nakladatele

Heldermann Verlag

Místo vydání

Lemgo

Kód UT WoS knihy

—