Pages that link to "Item:Q4006233"
From MaRDI portal
The following pages link to A new constructive logic: classic logic (Q4006233):
Displaying 26 items.
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- Two loop detection mechanisms: A comparison (Q4610326) (← links)
- (Q4611384) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- On geometry of interaction for polarized linear logic (Q4961719) (← links)
- The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
- (Q5014803) (← links)
- True concurrency semantics for a linear logic programming language with broadcast communication (Q5044735) (← links)
- (Q5079725) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- CONSTRUCTIVE CLASSICAL LOGIC AS CPS-CALCULUS (Q5249031) (← links)
- Proofs, Reasoning and the Metamorphosis of Logic (Q5251186) (← links)
- Infinitary affine proofs (Q5268998) (← links)
- (Q5365517) (← links)
- Proof Checking and Logic Programming (Q5743582) (← links)
- Subtractive logic (Q5940919) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- A strong bisimulation for a classical term calculus (Q6563051) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)
- Focusing Gentzen's LK proof system (Q6612872) (← links)
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces (Q6657789) (← links)
- Proof theory of skew non-commutative \texttt{MILL} (Q6659903) (← links)
