The following pages link to (Q4925886):
Displaying 6 items.
- Labeled sequent calculus for justification logics (Q331048) (← links)
- A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion}) (Q523297) (← links)
- An analytic calculus for the intuitionistic logic of proofs (Q2330501) (← links)
- A Critical Overview of the Most Recent Logics of Grounding (Q3295827) (← links)
- (Q5354747) (← links)
- Is, ought, and cut (Q6166130) (← links)