scientific article; zbMATH DE number 7204446
From MaRDI portal
Publication:5111325
Recommendations
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3861121 (Why is no real title available?)
- scientific article; zbMATH DE number 3981153 (Why is no real title available?)
- scientific article; zbMATH DE number 1303434 (Why is no real title available?)
- scientific article; zbMATH DE number 1047504 (Why is no real title available?)
- scientific article; zbMATH DE number 1170091 (Why is no real title available?)
- scientific article; zbMATH DE number 2038761 (Why is no real title available?)
- scientific article; zbMATH DE number 1852920 (Why is no real title available?)
- scientific article; zbMATH DE number 6307933 (Why is no real title available?)
- scientific article; zbMATH DE number 2242586 (Why is no real title available?)
- A bimodal perspective on possibility semantics
- A judgmental reconstruction of modal logic
- A shortened proof of Sobocinski's theorem concerning a restricted rule of substitution in the field of propositional calculi
- A theorem concerning a restricted rule of substitution in the field of propositional calculi. I
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Applicative programming with effects
- Basic constructive modality
- Call-by-Name and Call-by-Value in Normal Modal Logic
- Classical natural deduction for S4 modal logic
- Closed Fragments of Provability Logics of Constructive Theories
- Constructive modalities with provability smack
- Constructivism in mathematics. An introduction. Volume II
- Decidable and undecidable logics with a binary modality
- Distributive residuated frames and generalized bunched implication algebras
- Expanding the Realm of Systematic Proof Theory
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- Glivenko theorems and negative translations in substructural predicate logics
- Glivenko theorems for substructural logics over FL
- Glivenko theorems revisited
- Glivenko type theorems for intuitionistic modal logics
- Grothendieck Topology as Geometric Modality
- Guard your daggers and traces: properties of guarded (co-)recursion
- INTUITIONISTIC EPISTEMIC LOGIC
- Lectures on the Curry-Howard isomorphism
- Marginalia on sequent claculi
- Models for normal intuitionistic modal logics
- Negative translations not intuitionistically equivalent to the usual ones
- Nondeterministic phase semantics and the undecidability of Boolean BI
- On the admissible rules of intuitionistic propositional logic
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- Propositional lax logic
- Stone coalgebras
- Symbolic Representations of the Post-apartheid University
- The Logic of Bunched Implications
- The Peirce translation and the double negation shift
- The Russell-Prawitz modality
- The semantics and proof theory of the logic of bunched implications
- The semantics of BI and resource tableaux
- Undecidability of propositional separation logic and its neighbours
Cited in
(19)- scientific article; zbMATH DE number 6307933 (Why is no real title available?)
- On various negative translations
- The Jacobson radical for an inconsistency predicate
- Lewisian fixed points. I: Two incomparable constructions
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- Double negation semantics for generalisations of Heyting algebras
- Logics for knowability paradox with a non-normal possibility operator
- An algebraic glimpse at bunched implications and separation logic
- Work order, negation, and negative polarity in Hindi
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- Copies of classical logic in intuitionistic logic
- Negative translations not intuitionistically equivalent to the usual ones
- On intuitionistic diamonds (and lack thereof)
- A general Glivenko-Gödel theorem for nuclei
- Polarizing double-negation translations
- A Kuroda-style \(j\)-translation
- Dual and axiomatic systems for constructive S4, a formally verified equivalence
- Negative Translations and Duality: Toward a Unified Approach
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)
