Skolemization in intermediate logics with the finite model property

DOI10.1093/JIGPAL/JZW010zbMath1405.03068OpenAlexW2398347860MaRDI QIDQ4644539

Matthias Baaz, Rosalie Iemhoff

Publication date: 8 January 2019

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

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

zbMATH Keywords

interpolationHerbrand's theoremintermediate logicSkolemization

Mathematics Subject Classification ID

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

Related Items (1)

Skolemization and Herbrand theorems for lattice-valued logics

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