scientific article; zbMATH DE number 218517
From MaRDI portal
Publication:4694232
zbMATH Open0787.03005MaRDI QIDQ4694232FDOQ4694232
Publication date: 29 June 1993
Title of this publication is not available (Why is that?)
semanticscompletenessintuitionistic linear logicintuitionistic phase spacesintuitionistic topophase spaces
Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cited In (20)
- A sequent calculus for first-order logic formalized in Isabelle/HOL
- Sequent calculi for choice logics
- A comparison between lambek syntactic calculus and intuitionistic linear propositional 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
- 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
- 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 coding method for a sequent calculus of propositional logic
Recommendations
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)
