Gentzen calculi for the existence predicate

DOI10.1007/S11225-006-6603-6zbMath1097.03046OpenAlexW2027917524MaRDI QIDQ817698

Rosalie Iemhoff, Matthias Baaz

Publication date: 17 March 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-6603-6

zbMATH Keywords

Kripke modelsintuitionistic logiccut-eliminationGentzen calculusexistence predicateSkolemizationGödel logicsScott logicstruth-value logics

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (8)

Tableaux for free logics with descriptions ⋮ The eskolemization of universal quantifiers ⋮ Neutral free logic: motivation, proof theory and models ⋮ A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ Free logics are cut-free ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Another proof of the strong completeness of the intuitionistic fuzzy logic
• Constructivism in mathematics. An introduction. Volume II
• Completeness theorem for Dummett's LC quantified and some of its extensions
• A logic characterized by the class of connected models with nested domains
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II
• The Skolemization of existential quantifiers in intuitionistic logic
• Linear Kripke frames and Gödel logics
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• A Cut‐Free Calculus For Dummett's LC Quantified
• A Note on Linear Kripke Models

This page was built for publication: Gentzen calculi for the existence predicate