The following pages link to (Q3027002):
Displaying 7 items.
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Intuitionistic validity in \(T\)-normal Kripke structures (Q685055) (← links)
- Provability logic and the completeness principle (Q1740459) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- Properties of Intuitionistic Provability and Preservativity Logics (Q3378194) (← links)
- (Q5554974) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)