Pages that link to "Item:Q860833"
From MaRDI portal
The following pages link to Categorical proof theory of classical propositional calculus (Q860833):
Displaying 14 items.
- A mathematical theory of resources (Q320201) (← links)
- Classical proof forestry (Q636369) (← links)
- Algebra of proofs (Q788719) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- The classification of propositional calculi (Q1595914) (← links)
- The three dimensions of proofs (Q2498912) (← links)
- Generality of proofs and its Brauerian representation (Q3160565) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- Computer Science Logic (Q5311259) (← links)
- Typed Lambda Calculi and Applications (Q5704013) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- (Q6173572) (← links)