Logic and logics. The system of classical propositional logic, its extensions and alternatives

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
čeština
Original language name
Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy
Original language description
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.
Czech name
Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy
Czech description
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.

Project
<a href="/en/project/IAA0009001" target="_blank" >IAA0009001: LOGICA: A series of international interdisciplinary conferences and academic publications.</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

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

Similar results(10)