A general Glivenko-Gödel theorem for nuclei

DOI10.4204/EPTCS.351.4MaRDI QIDQ6653747

Giulio Fellin, Peter Schuster

Publication date: 17 December 2024

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Glivenko sequent classes in the light of structural proof theory
• The proof by cases property and its variants in structural consequence relations
• A short proof of Glivenko theorems for intermediate predicate logics
• The Peirce translation
• Proof-theoretical analysis of order relations
• Logics with disjunction and proof by cases
• Finitary formal topologies and Stone's representation theorem
• A curious nucleus
• Space of valuations
• Glivenko theorems revisited
• A course in constructive algebra
• An algebraic approach to non-classical logics
• Propositional lax logic
• On extensions of intermediate logics by strong negation
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Some points in formal topology.
• Über Axiomensysteme für beliebige Satzsysteme.
• Über Axiomensysteme für beliebige Satzsysteme. Teil II. Sätze höheren Grades.
• Axiomensysteme für beliebige Satzsysteme. I. Teil. Sätze ersten Grades. (Über die Axiomensysteme von der kleinsten Satzzahl und den Begriff des idealen Elementes.)
• Eliminating disjunctions by disjunction elimination
• About Stone's notion of spectrum
• Fundamental concepts of the methodology of the deductive sciences. I.
• Sur quelques points de la logique de M. Brouwer.
• Valuations and Dedekind's Prague theorem
• The Hahn-Banach theorem by disjunction elimination
• Cut elimination for entailment relations
• A Kuroda-style \(j\)-translation
• More on a curious nucleus
• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Aspects of general topology in constructive set theory
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• Structural proof theory. With an appendix by Aarne Ranta
• A note on the independence of premiss rule
• Embedding classical in minimal implicational logic
• Categorical proof theory of co-intuitionistic linear logic
• Proof Analysis
• Point-Free Spectra of Linear Spreads
• Glivenko theorems for substructural logics over FL
• Constructive negation, implication, and co-implication
• Continuous domains as formal spaces
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Convergence in formal topology: a unifying notion
• Resolving finite indeterminacy
• On Constructive Fragments of Classical Logic
• Ordering groups constructively
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
• Logic and structure

Related Items (1)

Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023

This page was built for publication: A general Glivenko-Gödel theorem for nuclei

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6653747)