Gentzen calculi for the existence predicate

DOI10.1007/S11225-006-6603-6MaRDI QIDQ817698zbMATH OpenOpenAlexFDO

Authors Matthias Baaz, Rosalie Iemhoff

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

intuitionistic logicKripke modelscut-eliminationGentzen calculusexistence predicateSkolemizationScott logicstruth-value logicsGödel logics

Mathematics Subject Classification ID

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

Recommendations

• On Interpolation in Existence Logics
• Full cut elimination and interpolation for intuitionistic logic with existence predicate
• The Skolemization of existential quantifiers in intuitionistic logic
• On the proof theory of the existence predicate
• scientific article; zbMATH DE number 2118592

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3950527 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• A Cut‐Free Calculus For Dummett's LC Quantified
• A Note on Linear Kripke Models
• A logic characterized by the class of connected models with nested domains
• Another proof of the strong completeness of the intuitionistic fuzzy logic
• Axiomatization of a Skolem function in intuitionistic logic
• Completeness theorem for Dummett's LC quantified and some of its extensions
• Constructivism in mathematics. An introduction. Volume II
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Linear Kripke frames and Gödel logics
• The Skolemization of existential quantifiers in intuitionistic logic
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II

Cited in

(10)

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

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

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