Łukasiewicz Logic: From Proof Systems To Logic Programming

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

zbMATH Keywords

Łukasiewicz logic; fuzzy logic programming; many-valued logic programming

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B70: Logic in computer science

68N17: Logic programming

03B50: Many-valued logic

Related Items

Labelled Calculi for Łukasiewicz Logics