MiG

Cut-Elimination for Quantified Conditional Logic

C. Benzmüller— 2016

A semantic embedding of quantified conditional logic in clasical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open. However, special attention has to be paid to cut-simulation which may render cut elimination as a pointless criterion.

TitelCut-Elimination for Quantified Conditional Logic
VerfasserC. Benzmüller
Themacut-elimination; quantified conditional logics; classical higher-order logic; semantic embedding; cut-simulation
Datum201606
Kennungdoi:10.1007/s10992-016-9403-0
Quelle/n
Erschienen inJournal of Philosophical Logic
ArtText