Łukasiewicz Logic: From Proof Systems To Logic Programming
From MaRDI portal
Publication:5716213
DOI10.1093/jigpal/jzi042zbMath1091.03008MaRDI QIDQ5716213
Dov M. Gabbay, Nicola Olivetti, George Metcalfe
Publication date: 18 January 2006
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzi042
03B52: Fuzzy logic; logic of vagueness
03B70: Logic in computer science
68N17: Logic programming
03B50: Many-valued logic
Related Items