Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F13%3A10174001" target="_blank" >RIV/00216208:11210/13:10174001 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics

Popis výsledku v původním jazyce

This paper deals with intuitionistic logic and completeness of Gentzen calculus with respect to its semantics. We present a rather simple proof for the case where the language is at most countable but may contain function symbols.

Název v anglickém jazyce

Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics

Popis výsledku anglicky

This paper deals with intuitionistic logic and completeness of Gentzen calculus with respect to its semantics. We present a rather simple proof for the case where the language is at most countable but may contain function symbols.

Druh

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

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

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

Acta Universitatis Carolinae. Philosophica et Historica

ISSN

0567-8293

e-ISSN

—

Svazek periodika

2010

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

7

Strana od-do

53-59

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—