192 citations
1 paper · 1 filter
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…