Sequent Calculi for Intuitionistic Linear Logic with Strong Negation

DOI10.1093/JIGPAL/10.6.653MaRDI QIDQ4796512zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Kripke semanticssequent calculusextended intuitionistic linear logic with strong negation and modality

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

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

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
• Linear and affine logics with temporal, spatial and epistemic operators
• A sequent calculus for a negative free logic
• Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
• Linear Logics with Communication-merge
• From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic
• A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
• Gentzen-type methods for bilattice negation
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
• 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)