Pages that link to "Item:Q708927"

The following pages link to An intuitionistic completeness theorem for classical predicate logic (Q708927):

Displaying 2 items.

• Semantical completeness of first-order predicate logic and the weak fan theorem (Q2350974) (← links)
• Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← links)