Pages that link to "Item:Q4823807"
From MaRDI portal
The following pages link to A Formulae-as-Types Interpretation of Subtractive Logic (Q4823807):
Displaying 14 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- The semi Heyting-Brouwer logic (Q495844) (← links)
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- A connection-based characterization of bi-intuitionistic validity (Q2351153) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- On the Computational Representation of Classical Logical Connectives (Q2864215) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- Deep Inference in Bi-intuitionistic Logic (Q3638293) (← links)
- Intuitionistic Letcc via Labelled Deduction (Q4982116) (← links)
- A Connection-Based Characterization of Bi-intuitionistic Validity (Q5200030) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)
