Skolemization in intermediate logics with the finite model property

DOI10.1093/JIGPAL/JZW010MaRDI QIDQ4644539zbMATH OpenOpenAlexFDO

Authors Matthias Baaz, Rosalie Iemhoff

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/e1decd71f7ca2f5b848abff3175e9ec8ba01180a

zbMATH Keywords

Herbrand's theoremintermediate logicinterpolationSkolemization

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Recommendations

• The Skolemization of existential quantifiers in intuitionistic logic
• Axiomatization of a Skolem function in intuitionistic logic
• Skolemization for Substructural Logics
• The eskolemization of universal quantifiers
• On Skolemization in constructive theories

Cited in

(7)

• Skolem fragments
• Skolemization and Herbrand theorems for lattice-valued logics
• The Skolemization of prenex formulas in intermediate logics
• The Skolemization of existential quantifiers in intuitionistic logic
• Sequent calculus Sk4 for skolemized formulas
• Skolemization for Substructural Logics
• On Skolemization in constructive theories

This page was built for publication: Skolemization in intermediate logics with the finite model property

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