1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Mark Kaminski, Gert Smolka
Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show t…