scientific article; zbMATH DE number 218517

MaRDI QIDQ4694232zbMATH OpenFDO

Authors V. Michele Abrusci

Publication date 29 June 1993

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)

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

Cited in

(26)

• Sequent calculi for choice logics
• A sequent calculus for first-order logic formalized in Isabelle/HOL
• 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
• Phase semantics for a pure noncommutative linear propositional logic
• From input/output logics to conditional logics via sequents -- with provers
• 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
• scientific article; zbMATH DE number 4108721 (Why is no real title available?)
• 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
• 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 Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
• A Gentzen-type calculus of sequents for single-operator propositional logic
• Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
• Sequent systems for compact bilinear logic
• scientific article; zbMATH DE number 1341468 (Why is no real title available?)
• 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)