The Skolemization of prenex formulas in intermediate logics

DOI10.1016/j.indag.2019.01.002OpenAlexW2909198689MaRDI QIDQ1740611

Rosalie Iemhoff

Publication date: 2 May 2019

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2019.01.002

zbMATH Keywords

intuitionistic logicintermediate logicsSkolemizationprenex formulas

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (1)

EPSILON THEOREMS IN INTERMEDIATE LOGICS

Cites Work

• Quantification in nonclassical logic. Volume I.
• The Skolem method in intuitionistic calculi
• The Skolemization of existential quantifiers in intuitionistic logic
• Herbrand Theorems for Substructural Logics
• 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 Lukasiewicz Logic
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• On Skolemization in constructive theories
• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Skolemization of prenex formulas in intermediate logics