Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F04%3A00101239" target="_blank" >RIV/67985955:_____/04:00101239 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy
Popis výsledku v původním jazyce
V této knize podávám přehled formálních systémů výrokových logik, probírám jejich vlastnosti a zabývám se i otázkou jejich smyslu a jejich aplikovatelnosti. Rozebírám zejména systémy intuicionistické logiky, vícehodnotových logik, relevančních logik a modálních logik, důraz kladu zejména na tzv. kripkovskou sémantiku, založenou napojmu možného světa. Předkládám i jisté zobecnění pojmu výrokového počtu a jeho sémantiky.
Název v anglickém jazyce
Logic and logics. The system of classical propositional logic, its extensions and alternatives
Popis výsledku anglicky
In this book I present an overview of formal systems of propositional calculi, I discuss their properties and I deal with the question of their sense and their applicability. I discuss especially the systems of intuitionistic logic, many-valued logics, relevance logics and modal logics and I focus especially on the so-called Kripekan semantics based on the concept of possible world. I present also a certain generalitaion of the concept of propositional calculus and its semantics.

Projekt
<a href="/cs/project/IAA0009001" target="_blank" >IAA0009001: LOGICA: série mezinárodních interdisciplinárních konferencí a vědeckých publikací</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2004
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ů

Podobné výsledky(10)