The following pages link to Matteo Acclavio (Q1799108):
Displaying 14 items.
- From syntactic proofs to combinatorial proofs (Q1799109) (← links)
- Game semantics for constructive modal logic (Q2142094) (← links)
- On combinatorial proofs for modal logic (Q2180519) (← links)
- On combinatorial proofs for logics of relevance and entailment (Q2303577) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- (Q5014804) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Logic Beyond Formulas (Q5145617) (← links)
- Generalized connectives for multiplicative linear logic (Q5874191) (← links)
- (Q5884933) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)
- A graphical proof theory of logical time (Q6544117) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)
- A deep inference system for differential linear logic (Q6657782) (← links)