Skolemization and Herbrand theorems for lattice-valued logics
Under an Elsevier user license
open archive
Keywords
Skolemization
Herbrand theorems
Non-classical logics
Lattices
Cited by (0)
- 1
Supported by the Czech Science Foundation grant GBP202/12/G061 and RVO 67985807.
- 2
Supported by the Swiss National Science Foundation grant 200021_165850 and the EU Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 689176.
© 2019 Elsevier B.V.