Pages that link to "Item:Q1964014"
From MaRDI portal
The following pages link to Non-commutative logic. I: The multiplicative fragment (Q1964014):
Displayed 30 items.
- A logical calculus for controlled monotonicity (Q472804) (← links)
- A framework for proof systems (Q707742) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- A geometrical procedure for computing relaxation (Q1011756) (← links)
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives (Q1398470) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- An automated method for building cognitive models for turn-based games from a strategy logic (Q1630453) (← links)
- Modularity of proof-nets. Generating the type of a module. (Q1766921) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- Applying pregroups to Italian statements and questions (Q2467215) (← links)
- A mixed \(\lambda\)-calculus (Q2467219) (← links)
- Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
- (Q2703720) (← 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)
- Categorial Dependency Grammars with Iterated Sequences (Q2963992) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- (Q4643962) (← links)
- (Q4792079) (← links)
- Pomset Logic (Q5014600) (← links)
- Linear Exponential Comonads without Symmetry (Q5014810) (← links)
- Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic (Q5213628) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- On Residuation (Q5414955) (← links)
- Cyclic Extensions of Order Varieties (Q5415613) (← links)
- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars (Q5418966) (← links)
- On Vidal's trivalent explanations for defective conditional in mathematics (Q5742699) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)