Herbrand Theorems for Substructural Logics

DOI10.1007/978-3-642-45221-5_39zbMath1408.03016OpenAlexW1780759162MaRDI QIDQ2870155

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)

Related Items (5)

On the existence of free models in fuzzy universal Horn classes ⋮ 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

This page was built for publication: Herbrand Theorems for Substructural Logics