The following pages link to (Q4360856):
Displayed 41 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)
- Constructive belief reports (Q514084) (← 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)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- A meaning explanation for HoTT (Q2054122) (← links)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- The seeming interdependence between the concepts of valid inference and proof (Q2288270) (← 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)
- Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
- Book review of: N. Kürbis, Proof and falsity: a logical investigation (Q2698284) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Substructural Proofs as Automata (Q3179272) (← links)
- Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions (Q4691183) (← links)
- Call-by-name Gradual Type Theory (Q4993354) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- (Q5214814) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← 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)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- LOGIC IN THE <i>TRACTATUS</i> (Q5737959) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- Models of HoTT and the Constructive View of Theories (Q6075427) (← links)
- Formalising Mathematics in Simple Type Theory (Q6075439) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)