1 citations · 2 across the 2 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…