Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
Baaz, M., Metcalfe, G.Volume:
20
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exn059
Date:
February, 2010
File:
PDF, 262 KB
english, 2010