The following pages link to (Q4128539):
Displaying 20 items.
- Linear logic (Q579249) (← links)
- Stability and computability in coherent domains (Q752707) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- A typed calculus based on a fragment of linear logic (Q908909) (← links)
- Normal functors, power series and \(\lambda\)-calculus (Q1103618) (← links)
- The linear abstract machine (Q1105351) (← links)
- Proof systems for infinite behaviours (Q1193598) (← links)
- Interaction systems II: The practice of optimal reductions (Q1350498) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- Is cut-free logic fit for unrestricted abstraction? (Q2131274) (← links)
- On paradoxes in normal form (Q2288281) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- ST, LP and Tolerant Metainferences (Q3305673) (← links)
- Intuitionistic three-valued logic and logic programming (Q3991300) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- Non Truth-Functional Many-Valuedness (Q4916205) (← links)
- Sequent calculi for first-order ST (Q6623815) (← links)
- On Woodruff's constructive nonsense logic (Q6642821) (← links)
