Number of the records: 1
Skolemization and Herbrand theorems for lattice-valued logics
- 1.CINTULA, P., DIACONESCU, D., METCALFE, G. Skolemization and Herbrand theorems for lattice-valued logics. Theoretical Computer Science. 2019, 768(10 May), 54-75. ISSN 0304-3975. E-ISSN 1879-2294. Available: doi: 10.1016/j.tcs.2019.02.007.
Number of the records: 1