Herbrand Theorems for Substructural Logics
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F13%3A00422069" target="_blank" >RIV/67985807:_____/13:00422069 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-642-45221-5_39" target="_blank" >http://dx.doi.org/10.1007/978-3-642-45221-5_39</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-45221-5_39" target="_blank" >10.1007/978-3-642-45221-5_39</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Herbrand Theorems for Substructural Logics
Popis výsledku v původním jazyce
Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand andSkolemization theorems therefore take various forms, applying either to the left or right of the consequence relation, and to restricted classes of formulas.
Název v anglickém jazyce
Herbrand Theorems for Substructural Logics
Popis výsledku anglicky
Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand andSkolemization theorems therefore take various forms, applying either to the left or right of the consequence relation, and to restricted classes of formulas.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Matematická fuzzy logika v informatice</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Logic for Programming, Artificial Intelligence, and Reasoning
ISBN
978-3-642-45221-5
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
17
Strana od-do
584-600
Název nakladatele
Springer
Místo vydání
Berlin
Místo konání akce
Stellenbosch
Datum konání akce
14. 12. 2013
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—