The following pages link to (Q4360856):
Displayed 22 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- Assertion, inference, and consequence (Q383062) (← links)
- ``Inference versus consequence'' revisited: inference, consequence, conditional, implication (Q383072) (← links)
- Assertion and grounding: a theory of assertion for constructive type theory (Q408330) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- A modal logic internalizing normal proofs (Q764264) (← links)
- Formalization and the objects of logic (Q946197) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- The assertion-candidate and the meaning of mood (Q2460191) (← links)
- On the unity of duality (Q2482843) (← links)
- The justification of the logical laws revisited (Q2500811) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Substructural Proofs as Automata (Q3179272) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing (Q5253922) (← links)
- Truth and Proof in Intuitionism (Q5253923) (← links)
- Program Testing and the Meaning Explanations of Intuitionistic Type Theory (Q5253930) (← links)
- Coalgebras as Types Determined by Their Elimination Rules (Q5253935) (← links)