Pages that link to "Item:Q2120974"

The following pages link to From axioms to synthetic inference rules via focusing (Q2120974):

Displaying 2 items.

• Leśniewski's ontology -- proof-theoretic characterization (Q2104542) (← links)
• The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions (Q6156417) (← links)