Pages that link to "Item:Q4796512"
From MaRDI portal
The following pages link to Sequent Calculi for Intuitionistic Linear Logic with Strong Negation (Q4796512):
Displaying 14 items.
- A sequent calculus for a negative free logic (Q622624) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Quantized linear logic, involutive quantales and strong negation (Q1770594) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus (Q2809674) (← links)
- From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic (Q3190166) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Sequent systems for compact bilinear logic (Q4434501) (← links)
- Linear Logics with Communication-merge (Q4673354) (← links)
- A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic (Q5505560) (← links)
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (Q5902124) (← links)