Goal-directed methods for Lukasiewicz logic

J Marcinkowski (Editor), A Tarlecki (Editor), D Gabbay

Research output: Chapter in Book/Report/Conference proceedingConference paper

4 Citations (Scopus)

Abstract

In this paper we present goal-directed deduction methods for Lukasiewicz infinite-valued logic L, giving logic programming style algorithms which both have a logical interpretation and provide a suitable basis for implementation. We begin by considering a basic version with connections to calculi for other logics, then make refinements to obtain greater efficiency and termination properties, and to deal with further connectives and truth constants. We finish by considering applications of these algorithms to fuzzy logic programming.
Original languageEnglish
Title of host publicationLECT NOTE COMPUT SCI
Place of PublicationBERLIN
PublisherSpringer
Pages85 - 99
Number of pages15
ISBN (Print)3-540-23024-6
Publication statusPublished - 2004
Event18th International Workshop on Computer Science Logic/13th Annual Conference of the European-Association-for-Computer-Science-Logic - Karpacz, Poland
Duration: 1 Jan 2004 → …

Publication series

NameLECTURE NOTES IN COMPUTER SCIENCE

Conference

Conference18th International Workshop on Computer Science Logic/13th Annual Conference of the European-Association-for-Computer-Science-Logic
Country/TerritoryPoland
CityKarpacz
Period1/01/2004 → …

Fingerprint

Dive into the research topics of 'Goal-directed methods for Lukasiewicz logic'. Together they form a unique fingerprint.

Cite this