Pages that link to "Item:Q2870155"
From MaRDI portal
The following pages link to Herbrand Theorems for Substructural Logics (Q2870155):
Displayed 5 items.
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- The Skolemization of prenex formulas in intermediate logics (Q1740611) (← links)
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic (Q2317508) (← links)
- On the existence of free models in fuzzy universal Horn classes (Q2410497) (← links)