The eskolemization of universal quantifiers
type: Item
instance of: scholarly article
title: The eskolemization of universal quantifiers
zbMATH Open document ID: 1223.03011
author: Rosalie Iemhoff
published in: Annals of Pure and Applied Logic
publication date: 2011-09-12T00:00:00Z
full work available at URL: https://dspace.library.uu.nl/handle/1874/34087
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 5947131
zbMATH Keywords: Skolemization
zbMATH Keywords: Herbrand's theorem
zbMATH Keywords: constructive theories
zbMATH Keywords: intuitionistic logic
MaRDI profile type: Publication
OpenAlex ID: W2062030772
cites work: Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
cites work: Q4825702
cites work: Gentzen calculi for the existence predicate
cites work: The Skolemization of existential quantifiers in intuitionistic logic
cites work: On Skolemization in constructive theories
cites work: Eskolemization in Intuitionistic Logic
cites work: Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
cites work: Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
cites work: Q2753673
cites work: Handbook of proof theory
cites work: Q4332417
cites work: Q5596800
cites work: Q5579476
cites work: Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers
cites work: The Skolem method in intuitionistic calculi
cites work: Sequent calculus proof theory of intuitionistic apartness and order relations
cites work: Q4351227
cites work: Q3208629
cites work: Elementary intuitionistic theories
cites work: Constructivism in mathematics. An introduction. Volume II
DOI: 10.1016/J.APAL.2010.09.005
description: scientific article; zbMATH DE number 5947131