collaborators

1 paper

math.LO2026

Normalisation for Positive Free Logics without and with Definite Descriptions

Nils Kürbis

This paper proves normalisation theorems for intuitionist and classical positive free logic, without and with the iota operator for definite descriptions `the F'. Positive free log…