Sequent calculus Sk4 for skolemized formulas

MaRDI QIDQ3173799zbMATH OpenFDO

Authors Andrejus Belovas, Stanislovas Norgėla

Publication date 10 October 2011

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• The Skolemization of existential quantifiers in intuitionistic logic
• Skolemization for Substructural Logics
• scientific article; zbMATH DE number 1880278
• The elimination of \textit{de re} formulas
• Skolemization in intermediate logics with the finite model property

Cited in

(1)

• scientific article; zbMATH DE number 4035805 (Why is no real title available?)

This page was built for publication: Sequent calculus Sk4 for skolemized formulas

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