scientific article; zbMATH DE number 7204446
From MaRDI portal
Publication:5111325
DOI10.4230/LIPICS.FSCD.2017.27zbMATH Open1434.03074MaRDI QIDQ5111325FDOQ5111325
Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein
Publication date: 26 May 2020
Title of this publication is not available (Why is that?)
Recommendations
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- The semantics and proof theory of the logic of bunched implications
- On the admissible rules of intuitionistic propositional logic
- A judgmental reconstruction of modal logic
- The semantics of BI and resource tableaux
- The Logic of Bunched Implications
- Lectures on the Curry-Howard isomorphism
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Stone coalgebras
- Constructivism in mathematics. An introduction. Volume II
- Negative translations not intuitionistically equivalent to the usual ones
- Propositional lax logic
- Glivenko theorems revisited
- Glivenko theorems and negative translations in substructural predicate logics
- The Russell-Prawitz modality
- The Peirce Translation and the Double Negation Shift
- Expanding the Realm of Systematic Proof Theory
- Nondeterministic Phase Semantics and the Undecidability of Boolean BI
- Undecidability of Propositional Separation Logic and Its Neighbours
- Title not available (Why is that?)
- Glivenko theorems for substructural logics over FL
- Grothendieck Topology as Geometric Modality
- Applicative programming with effects
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- Title not available (Why is that?)
- Glivenko type theorems for intuitionistic modal logics
- Models for normal intuitionistic modal logics
- INTUITIONISTIC EPISTEMIC LOGIC
- Distributive residuated frames and generalized bunched implication algebras
- Symbolic Representations of the Post-apartheid University
- Decidable and undecidable logics with a binary modality
- Closed Fragments of Provability Logics of Constructive Theories
- Title not available (Why is that?)
- A shortened proof of Sobocinski's theorem concerning a restricted rule of substitution in the field of propositional calculi
- Marginalia on sequent claculi
- Title not available (Why is that?)
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion
- Constructive Modalities with Provability Smack
- Title not available (Why is that?)
- A bimodal perspective on possibility semantics
- Classical natural deduction for S4 modal logic
- Call-by-Name and Call-by-Value in Normal Modal Logic
- A theorem concerning a restricted rule of substitution in the field of propositional calculi. I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (13)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- Negative Translations and Duality: Toward a Unified Approach
- Logics for knowability paradox with a non-normal possibility operator
- Work order, negation, and negative polarity in Hindi
- Lewisian fixed points. I: Two incomparable constructions
- A general Glivenko-Gödel theorem for nuclei
- The Jacobson radical for an inconsistency predicate
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- An algebraic glimpse at bunched implications and separation logic
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- On intuitionistic diamonds (and lack thereof)
- Title not available (Why is that?)
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 Q5111325)
