Skolemization for Substructural Logics

DOI10.1007/978-3-662-48899-7_1MaRDI QIDQ3460036zbMATH OpenOpenAlexFDO

Authors Denisa Diaconescu, George Metcalfe, Petr Cintula

Publication date 12 January 2016

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48899-7_1

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• On Skolemization in constrained logics
• Skolemization in unranked logics
• scientific article; zbMATH DE number 1406811
• scientific article; zbMATH DE number 1907195
• Substructural logics: a primer
• Substructural Logics in Natural Deduction
• Skolemization in intermediate logics with the finite model property
• The Skolemization of prenex formulas in intermediate logics
• scientific article; zbMATH DE number 1975400
• Theorem provers for substructural logics

Cited in

(12)

• Skolemization and Herbrand theorems for lattice-valued logics
• The Skolemization of prenex formulas in intermediate logics
• Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
• Axiomatization of a Skolem function in intuitionistic logic
• Herbrand theorems for substructural logics
• Skolemization in simple type theory: the logical and the theoretical points of view
• Eskolemization in intuitionistic logic
• Skolemization in unranked logics
• Sequent calculus Sk4 for skolemized formulas
• scientific article; zbMATH DE number 627412 (Why is no real title available?)
• Skolem functions in non-classical logics
• Skolemization in intermediate logics with the finite model property

This page was built for publication: Skolemization for Substructural Logics

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