Sequent calculus Sk4 for skolemized formulas

zbMATH Open1245.03024MaRDI QIDQ3173799FDOQ3173799

Authors: Andrejus Belovas, Stanislovas Norgėla 

Publication date: 10 October 2011

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

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)