Łukasiewicz Logic: From Proof Systems To Logic Programming

DOI10.1093/jigpal/jzi042zbMath1091.03008OpenAlexW2110802658MaRDI QIDQ5716213

Nicola Olivetti, George Metcalfe, Dov M. Gabbay

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 logicfuzzy logic programmingmany-valued logic programming

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in computer science (03B70) Logic programming (68N17) Many-valued logic (03B50)

Related Items (3)

Labelled Calculi for Łukasiewicz Logics ⋮ On Metric Temporal Łukasiewicz Logic ⋮ New complexity results for Łukasiewicz logic

This page was built for publication: Łukasiewicz Logic: From Proof Systems To Logic Programming