Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
DOI10.1093/JIGPAL/10.6.653zbMATH Open1014.03057OpenAlexW1969369051MaRDI QIDQ4796512FDOQ4796512
Authors: Norihiro Kamide 
Publication date: 22 July 2003
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/10.6.653
Recommendations
- scientific article; zbMATH DE number 218517
- scientific article; zbMATH DE number 6287598
- Sequent Calculi for Some Strict Implication Logics
- Contraction-free sequent calculi for intuitionistic logic
- Strong negation in intuitionistic style sequent systems for residuated lattices
- Annotation-free sequent calculi for full intuitionistic linear logic
- scientific article; zbMATH DE number 2152687
- Sequent calculi for intuitionistic Gödel-Löb logic
- Formalized meta-theory of sequent calculi for linear logics
- scientific article; zbMATH DE number 512773
Kripke semanticssequent calculusextended intuitionistic linear logic with strong negation and modality
Logic programming (68N17) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cited In (15)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Normal modal substructural logics with strong negation
- Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus
- Quantized linear logic, involutive quantales and strong negation
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
- Linear and affine logics with temporal, spatial and epistemic operators
- A sequent calculus for a negative free logic
- Linear Logics with Communication-merge
- A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
- From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
- Gentzen-type methods for bilattice negation
- Sequent systems for compact bilinear logic
- Phase semantics and Petri net interpretation for resource-sensitive strong negation
- Intuitionistic sequent-style calculus with explicit structural rules
This page was built for publication: Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4796512)
