The following pages link to (Q3548539):
Displaying 9 items.
- A framework for proof systems (Q707742) (← links)
- For an epistemology of mathematical contents: Albert Lautman (Q2304812) (← links)
- Non decomposable connectives of linear logic (Q2326414) (← links)
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- Specifying Peirce's law in classical realizability (Q2973242) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- An explicit formula for the free exponential modality of linear logic (Q4577986) (← links)
- Classical realizability and arithmetical formulæ (Q5360216) (← links)
