A note on generalized generalization
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F25%3A10510631" target="_blank" >RIV/00216208:11210/25:10510631 - isvavai.cz</a>
Výsledek na webu
<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=8auEtkueFx" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=8auEtkueFx</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.14712/24647055.2025.5" target="_blank" >10.14712/24647055.2025.5</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A note on generalized generalization
Popis výsledku v původním jazyce
The generalization rules of sequent calculi allow, under some restrictions, to derive a formula THERE EXISTS χφ or FOR ALL χφ from a formula φχ (γ), i.e. from the formula obtained by substituting a variable γ for all free occurrences of χ in φ. We introduce modified generalization rules that make it possible to derive THERE EXISTS χφ or FOR ALL χφ from φχ (t) even in some cases where t is a complex term. These modified rules were invented in connection with attempts to prove the interpolation theorem for classical predicate logic without equality but with function symbols. This theorem seems (and remains) to be an unresolved case in the literature.
Název v anglickém jazyce
A note on generalized generalization
Popis výsledku anglicky
The generalization rules of sequent calculi allow, under some restrictions, to derive a formula THERE EXISTS χφ or FOR ALL χφ from a formula φχ (γ), i.e. from the formula obtained by substituting a variable γ for all free occurrences of χ in φ. We introduce modified generalization rules that make it possible to derive THERE EXISTS χφ or FOR ALL χφ from φχ (t) even in some cases where t is a complex term. These modified rules were invented in connection with attempts to prove the interpolation theorem for classical predicate logic without equality but with function symbols. This theorem seems (and remains) to be an unresolved case in the literature.
Klasifikace
Druh
J<sub>ost</sub> - Ostatní články v recenzovaných periodicích
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2025
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 periodika
Acta Universitatis Carolinae. Philosophica et Historica
ISSN
0567-8293
e-ISSN
2464-7055
Svazek periodika
2022
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
17
Strana od-do
77-93
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—