The eskolemization of universal quantifiers

DOI10.1016/J.APAL.2010.09.005zbMATH Open1223.03011OpenAlexW2062030772MaRDI QIDQ638487FDOQ638487

Authors: Rosalie Iemhoff 

Publication date: 12 September 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/34087

Recommendations

• Eskolemization in intuitionistic logic
• scientific article; zbMATH DE number 3296224
• The Skolemization of existential quantifiers in intuitionistic logic
• On Skolemization in constructive theories
• Axiomatization of a Skolem function in intuitionistic logic

zbMATH Keywords

constructive theoriesHerbrand's theoremintuitionistic logicSkolemization

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cites Work

• Handbook of proof theory
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequent calculus proof theory of intuitionistic apartness and order relations
• The Skolem method in intuitionistic calculi
• The Skolemization of existential quantifiers in intuitionistic logic
• Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers
• Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving
• Eskolemization in intuitionistic logic
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• On Skolemization in constructive theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elementary intuitionistic theories
• Gentzen calculi for the existence predicate

Cited In (7)

• Title not available (Why is that?)
• The Skolemization of existential quantifiers in intuitionistic logic
• On Skolemization in constructive theories
• Title not available (Why is that?)
• Skolemization in intermediate logics with the finite model property
• Skolem Theory and Generalized Quantifiers
• Eskolemization in intuitionistic logic

This page was built for publication: The eskolemization of universal quantifiers

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