Gentzen calculi for the existence predicate

DOI10.1007/S11225-006-6603-6zbMATH Open1097.03046OpenAlexW2027917524MaRDI QIDQ817698FDOQ817698

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

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

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)

Cites Work

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

Cited In (10)

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

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)