Pages that link to "Item:Q3460036"
From MaRDI portal
The following pages link to Skolemization for Substructural Logics (Q3460036):
Displaying 6 items.
- On Skolemization in constrained logics (Q1380406) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic (Q2317508) (← links)
- Axiomatization of a Skolem function in intuitionistic logic (Q2702564) (← links)
- Eskolemization in Intuitionistic Logic (Q3094144) (← links)
- Skolemization in intermediate logics with the finite model property (Q4644539) (← links)