Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions

From MaRDI portal
Publication:5426008

DOI10.1007/978-3-540-75939-3_15zbMath1123.03012OpenAlexW1546767004MaRDI QIDQ5426008

Franco Montagna

Publication date: 15 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75939-3_15




Related Items (8)




Cites Work




This page was built for publication: Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions