Sequent Calculi for Intuitionistic Linear Logic with Strong Negation

DOI10.1093/jigpal/10.6.653zbMath1014.03057OpenAlexW1969369051MaRDI QIDQ4796512

Norihiro Kamide

Publication date: 22 July 2003

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/10.6.653

zbMATH Keywords

sequent calculusKripke semanticsextended intuitionistic linear logic with strong negation and modality

Mathematics Subject Classification ID

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

Related Items (6)

Linear and affine logics with temporal, spatial and epistemic operators ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Normal modal substructural logics with strong negation ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation ⋮ SEQUENT CALCULI FOR SOME TRILATTICE LOGICS ⋮ Gentzen-type methods for bilattice negation

This page was built for publication: Sequent Calculi for Intuitionistic Linear Logic with Strong Negation