Łukasiewicz Logic: From Proof Systems To Logic Programming

, &
Logic Journal of the IGPL 13 (5):561-585 (2005)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzi042

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Pavelka-style fuzzy justification logics.Meghdad Ghari - 2016 - Logic Journal of the IGPL 24 (5):743-773.
Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.
The $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics. [REVIEW]Francesc Esteva, Lluís Godo & Franco Montagna - 2001 - Archive for Mathematical Logic 40 (1):39-67.
Algorithmic proof methods and cut elimination for implicational logics part I: Modal implication.Dov M. Gabbay & Nicola Olivetti - 1998 - Studia Logica 61 (2):237-280.
Consequence and Interpolation in Łukasiewicz Logic.Daniele Mundici - 2011 - Studia Logica 99 (1-3):269-278.
Theorem Proving via Uniform Proofs>.Alberto Momigliano - unknown
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.
Fuzzy Logic Programming and Fuzzy Control.Giangiacomo Gerla - 2005 - Studia Logica 79 (2):231-254.
Fuzzy Inference as Deduction.Lluís Godo & Petr Hájek - 1999 - Journal of Applied Non-Classical Logics 9 (1):37-60.

Analytics

Added to PP
2015-02-04

Downloads
21 (#762,792)

6 months
9 (#355,374)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

Add more citations

References found in this work

A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
The Uniform Proof-Theoretic Foundation of Linear Logic Programming.J. A. Harland & D. J. Pym - 1991 - LFCS, Department of Computer Science, University of Edinburgh.

Add more references