The following pages link to (Q5692429):
Displayed 7 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete (Q866565) (← links)
- Justification logic and type theory as formalizations of intuitionistic propositional logic (Q2151394) (← links)
- An analytic calculus for the intuitionistic logic of proofs (Q2330501) (← links)
- Typing in reflective combinatory logic (Q2498910) (← links)