Springe direkt zu Inhalt

Cut-Elimination for Quantified Conditional Logic

Dr. 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.

Titel
Cut-Elimination for Quantified Conditional Logic
Verfasser
Dr. C. Benzmüller
Schlagwörter
cut-elimination; quantified conditional logics; classical higher-order logic; semantic embedding; cut-simulation
Datum
2016-06
Kennung
doi:10.1007/s10992-016-9403-0
Quelle/n
Erschienen in
Journal of Philosophical Logic
Art
Text