Herbrand theorems for substructural logics

DOI10.1007/978-3-642-45221-5_39MaRDI QIDQ2870155zbMATH OpenOpenAlexFDO

Authors George Metcalfe, Petr Cintula

Publication date 17 January 2014

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-642-45221-5_39

Mathematics Subject Classification ID

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

Recommendations

• Skolemization and Herbrand theorems for lattice-valued logics
• Skolemization for Substructural Logics
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
• scientific article; zbMATH DE number 1418446

Cited in

(13)

• A cut-free calculus for second-order Gödel logic
• 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
• On the existence of free models in fuzzy universal Horn classes
• Sequent forms of Herbrand theorem and their applications
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• Herbrand's Theorem for Nonstandard Inference Operations
• scientific article; zbMATH DE number 698628 (Why is no real title available?)
• Hereditarily structurally complete modal logics
• A Sahlqvist theorem for substructural logic
• On Herbrand's theorem for hybrid logic

This page was built for publication: Herbrand theorems for substructural logics

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