Łukasiewicz Logic: From Proof Systems To Logic Programming

DOI10.1093/JIGPAL/JZI042MaRDI QIDQ5716213zbMATH OpenOpenAlexFDO

Authors George Metcalfe, N. Olivetti, Dov 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

fuzzy logic programmingmany-valued logic programmingŁukasiewicz logic

Mathematics Subject Classification ID

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

Recommendations

• Computer Science Logic
• Automated theorem proving for Łukasiewicz logics
• Labelled Calculi for Łukasiewicz Logics
• Proof Theory for First Order Łukasiewicz Logic
• scientific article; zbMATH DE number 3902624

Cited in

(10)

• A way to interpret Łukasiewicz logic and basic logic
• Review of ``Protoalgebraic logics by J. Czelakowski
• Reflection on diversity from a former national science foundation program officer
• New complexity results for Łukasiewicz logic
• Labelled Calculi for Łukasiewicz Logics
• Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
• On Metric Temporal Łukasiewicz Logic
• Computer Science Logic
• scientific article; zbMATH DE number 3332420 (Why is no real title available?)
• Logic programming in RPL and RQL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5716213)