Conservation as translation
From MaRDI portal
Cites work
- A course in constructive algebra
- A curious nucleus
- A general Glivenko theorem
- A general Glivenko-Gödel theorem for nuclei
- A Kuroda-style \(j\)-translation
- A note on the independence of premiss rule
- A semantic hierarchy for intuitionistic logic
- A short proof of Glivenko theorems for intermediate predicate logics
- About Stone's notion of spectrum
- An approach to Glivenko's theorem in algebraizable logics
- Applications of trees to intermediate logics
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Aspects of general topology in constructive set theory
- Axiomensysteme für beliebige Satzsysteme. I. Teil. Sätze ersten Grades. (Über die Axiomensysteme von der kleinsten Satzzahl und den Begriff des idealen Elementes.)
- Classical logic, continuation semantics and abstract machines
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Constructive negations and paraconsistency
- Constructivism in mathematics. An introduction. Volume II
- Continuous domains as formal spaces
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
- Convergence in formal topology: a unifying notion
- Correspondences between classical, intuitionistic and uniform provability
- Cut elimination for entailment relations
- Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus.
- Eliminating disjunctions by disjunction elimination
- Embedding classical in minimal implicational logic
- Extension by conservation. Sikorski's theorem
- Finitary formal topologies and Stone's representation theorem
- Frames and Locales
- Fundamental concepts of the methodology of the deductive sciences. I.
- Geometric Rules in Infinitary Logic
- Glivenko like theorems in natural expansions of BCK-logic
- Glivenko sequent classes and constructive cut elimination in geometric logics
- Glivenko sequent classes in the light of structural proof theory
- Glivenko theorems for substructural logics over FL
- Glivenko theorems revisited
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- scientific article; zbMATH DE number 1670483 (Why is no real title available?)
- scientific article; zbMATH DE number 3839951 (Why is no real title available?)
- scientific article; zbMATH DE number 4152376 (Why is no real title available?)
- scientific article; zbMATH DE number 4012604 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3754682 (Why is no real title available?)
- scientific article; zbMATH DE number 3775591 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 19039 (Why is no real title available?)
- scientific article; zbMATH DE number 29048 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 3497860 (Why is no real title available?)
- scientific article; zbMATH DE number 3614784 (Why is no real title available?)
- scientific article; zbMATH DE number 3435458 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 937390 (Why is no real title available?)
- scientific article; zbMATH DE number 1406469 (Why is no real title available?)
- scientific article; zbMATH DE number 1420837 (Why is no real title available?)
- scientific article; zbMATH DE number 6307933 (Why is no real title available?)
- scientific article; zbMATH DE number 7204446 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- scientific article; zbMATH DE number 3274716 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- Implicative algebras: a new foundation for realizability and forcing
- Intuitionistische Untersuchungen der formalistischen Logik
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- Logic and structure
- Logics with disjunction and proof by cases
- Minimal from classical proofs
- Modal operators on Heyting algebras
- More on a curious nucleus
- Negative equivalence of extensions of minimal logic
- Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.
- On constructive fragments of classical logic
- On second order intuitionistic propositional logic without a universal quantifier
- Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
- Ordering groups constructively
- Point-Free Spectra of Linear Spreads
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
- Proof-theoretical analysis of order relations
- Proofs and computations
- Propositional lax logic
- Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem
- Some points in formal topology.
- Space of valuations
- Sur la logique de M. Brouwer.
- Sur quelques points de la logique de M. Brouwer.
- The consistency of arithmetics
- The Hahn-Banach theorem by disjunction elimination
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- The Peirce translation
- The Peirce translation and the double negation shift
- The proof by cases property and its variants in structural consequence relations
- The Russell-Prawitz modality
- Universal logic: An anthology. From Paul Hertz to Dov Gabbay
- Valuations and Dedekind's Prague theorem
- Zum intuitionistischen Aussagenkalkül.
- Über Axiomensysteme für beliebige Satzsysteme.
- Über Axiomensysteme für beliebige Satzsysteme. Teil II. Sätze höheren Grades.
- Über das Prinzip tertium non datur.
- Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
This page was built for publication: Conservation as translation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6993377)
