Unification in Łukasiewicz Logic with a Finite Number of Variables

DOI10.1007/978-3-030-50153-2_46MaRDI QIDQ6485187

Luca Spada, Marco Abbadini, Unnamed Author

Publication date: 6 December 2022

Published in: 1512.03032 (Search for Journal in Brave)

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50)

This page was built for publication: Unification in Łukasiewicz Logic with a Finite Number of Variables