scientific article; zbMATH DE number 218517

MaRDI QIDQ4694232zbMATH OpenFDO

Authors V. Michele Abrusci

Publication date 29 June 1993

zbMATH Keywords

completenessintuitionistic linear logicintuitionistic phase spacesintuitionistic topophase spacessemantics

Mathematics Subject Classification ID

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

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

(30)

• The semantics and proof theory of linear logic
• Language in action
• Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
• 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 choice logics
• From input/output logics to conditional logics via sequents -- with provers
• Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus
• Intuitionistic sequent-style calculus with explicit structural rules
• From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic
• A Focused Sequent Calculus for Higher-Order Logic
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
• A simplified semantics for a fragment of intuitionistic linear logic
• scientific article; zbMATH DE number 4108721 (Why is no real title available?)
• scientific article; zbMATH DE number 1341468 (Why is no real title available?)
• scientific article; zbMATH DE number 1004877 (Why is no real title available?)
• Pretopology semantics for bimodal intuitionistic linear logic
• Sequent systems for compact bilinear logic
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• Finite sequent calculi for PLTL
• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• Intuitionistic phase semantics is almost classical
• A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
• A Gentzen-type calculus of sequents for single-operator propositional logic
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• A sequent calculus for first-order logic formalized in Isabelle/HOL
• A sequent calculus for a negative free logic
• An algebraic investigation of linear logic
• Simple consequence relations
• A coding method for a sequent calculus of propositional logic

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)