The following pages link to V. Michele Abrusci (Q280841):
Displayed 41 items.
- Formal ontologies and coherent spaces (Q280844) (← links)
- Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator) (Q913788) (← links)
- Item:Q280841 (redirect page) (← links)
- My collaboration with Julia Robinson (Q1208619) (← links)
- A logic of recursion (Q1262303) (← links)
- A new correctness criterion for cyclic proof nets (Q1280050) (← links)
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives (Q1398470) (← links)
- Generating plans in linear logic. I: Actions as proofs (Q1802077) (← links)
- Generating plans in linear logic. II: A geometry of conjunctive actions (Q1802078) (← links)
- Classical conservative extensions of Lambek calculus (Q1850949) (← links)
- Non-commutative logic. I: The multiplicative fragment (Q1964014) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- Ontologies and Coherence Spaces (Q3080096) (← links)
- Some uses of dilators in combinatorial problems. II (Q3478402) (← links)
- (Q3671965) (← links)
- (Q3744157) (← links)
- (Q3753999) (← links)
- (Q3770527) (← links)
- (Q3772213) (← links)
- (Q3772214) (← links)
- (Q3819057) (← links)
- (Q3901491) (← links)
- Non‐commutative intuitionistic linear logic (Q3971583) (← links)
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic (Q3984416) (← links)
- (Q4003521) (← links)
- (Q4263858) (← links)
- (Q4370236) (← links)
- Logica (Q4606868) (← links)
- Analytic and synthetic in logic (Q4644551) (← links)
- (Q4694232) (← links)
- (Q4842978) (← links)
- Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets (Q5014592) (← links)
- On Hilbert's Axiomatics of Propositional Logic (Q5169377) (← links)
- Universal vs. particular reasoning: a study with neuroimaging techniques (Q5175631) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- Logica (Q5405106) (← links)
- On Residuation (Q5414955) (← links)
- (Q5698871) (← links)
- A comparison between lambek syntactic calculus and intuitionistic linear propositional logic (Q5750847) (← links)