collaborators

1 paper

math.LO2024

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic

Jin Wei

Hypersequent calculus GŁ for first-order Łukasiewicz logic was first introduced by Baaz and Metcalfe, along with a proof of its approximate completeness with respect to…