Łukasiewicz logic: From proof systems to logic programming

George Metcalfe; Nicola Olivetti; Dov Gabbay

doi:10.1093/jigpal/jzi042

Łukasiewicz logic: From proof systems to logic programming

George Metcalfe, Nicola Olivetti, Dov Gabbay

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	561-585
Number of pages	25
Journal	Logic Journal of the IGPL
Volume	13
Issue number	5
DOIs	https://doi.org/10.1093/jigpal/jzi042
State	Published - Sep 2005
Externally published	Yes

Keywords

Fuzzy logics
Goal-directed methods
Logic programming
Łukasiewicz logics

Access to Document

10.1093/jigpal/jzi042

Cite this

@article{a2d87967aad44e869772c9ff65071d9d,

title = "{\L}ukasiewicz logic: From proof systems to logic programming",

abstract = "We present logic programming style {"}goal-directed{"} proof methods for {\L}ukasiewicz logic {\L} 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 {\L} with rational constants.",

keywords = "Fuzzy logics, Goal-directed methods, Logic programming, {\L}ukasiewicz logics",

author = "George Metcalfe and Nicola Olivetti and Dov Gabbay",

year = "2005",

month = sep,

doi = "10.1093/jigpal/jzi042",

language = "אנגלית",

volume = "13",

pages = "561--585",

journal = "Logic Journal of the IGPL",

issn = "1367-0751",

publisher = "Oxford University Press",

number = "5",

}

TY - JOUR

T1 - Łukasiewicz logic

T2 - From proof systems to logic programming

AU - Metcalfe, George

AU - Olivetti, Nicola

AU - Gabbay, Dov

PY - 2005/9

Y1 - 2005/9

N2 - 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.

AB - 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.

KW - Fuzzy logics

KW - Goal-directed methods

KW - Logic programming

KW - Łukasiewicz logics

UR - http://www.scopus.com/inward/record.url?scp=33750102537&partnerID=8YFLogxK

U2 - 10.1093/jigpal/jzi042

DO - 10.1093/jigpal/jzi042

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:33750102537

SN - 1367-0751

VL - 13

SP - 561

EP - 585

JO - Logic Journal of the IGPL

JF - Logic Journal of the IGPL

IS - 5

ER -

Łukasiewicz logic: From proof systems to logic programming

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this