Łukasiewicz logic: From proof systems to logic programming

George Metcalfe, Nicola Olivetti, Dov Gabbay

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

We present logic programming style "goal-directed" proof methods for Łukasiewicz logic Ł that both have a logical interpretation, and provide a suitable basis for implementation. We introduce a basic version, similar to goal-directed calculi for other logics, and make refinements to improve efficiency and obtain termination. We then provide an algorithm for fuzzy logic programming in Rational Pavelka logic RPL, an extension of Ł with rational constants.

Original languageEnglish
Pages (from-to)561-585
Number of pages25
JournalLogic Journal of the IGPL
Volume13
Issue number5
DOIs
StatePublished - Sep 2005
Externally publishedYes

Keywords

  • Fuzzy logics
  • Goal-directed methods
  • Logic programming
  • Łukasiewicz logics

Fingerprint

Dive into the research topics of 'Łukasiewicz logic: From proof systems to logic programming'. Together they form a unique fingerprint.

Cite this