activity
20172023
most citedA complete axiomatization of infinitary first-order intuitionistic logic over

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing 2017 · math.LOShow all

1 paper · 2 filters

math.LO2017

Infinitary first-order categorical logic

Christian Espíndola

We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new com…