scientific article; zbMATH DE number 218517

zbMATH Open0787.03005MaRDI QIDQ4694232FDOQ4694232

Authors: V. Michele Abrusci 

Publication date: 29 June 1993

Title of this publication is not available (Why is that?)

Recommendations

• A simplified semantics for a fragment of intuitionistic linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Full intuitionistic linear logic
• The semantics and proof theory of linear logic
• scientific article; zbMATH DE number 786485

zbMATH Keywords

semanticscompletenessintuitionistic linear logicintuitionistic phase spacesintuitionistic topophase spaces

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (26)

• A sequent calculus for first-order logic formalized in Isabelle/HOL
• Sequent calculi for choice logics
• Intuitionistic phase semantics is almost classical
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• The semantics and proof theory of linear logic
• Language in action
• From input/output logics to conditional logics via sequents -- with provers
• Phase semantics for a pure noncommutative linear propositional logic
• A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• Finite sequent calculi for PLTL
• Title not available (Why is that?)
• A Focused Sequent Calculus for Higher-Order Logic
• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus
• A sequent calculus for a negative free logic
• 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
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
• A Gentzen-type calculus of sequents for single-operator propositional logic
• Sequent systems for compact bilinear logic
• Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
• Title not available (Why is that?)
• A simplified semantics for a fragment of intuitionistic linear logic
• A coding method for a sequent calculus of propositional logic
• Intuitionistic sequent-style calculus with explicit structural rules

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4694232)