The following pages link to (Q3119364):
Displaying 5 items.
- From the universality of mathematical truth to the interoperability of proof systems (Q2104491) (← links)
- A modular construction of type theories (Q5883738) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic (Q6560406) (← links)
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)
