@inbook{904f5163e7384ed79f3372af9ee5ed62,
title = "Goal-directed methods for lukasiewicz logic",
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.",
keywords = "Fuzzy Logics, Goal-Directed Methods, Lukasiewicz Logics",
author = "George Metcalfe and Nicola Olivetti and Dov Gabbay",
year = "2004",
doi = "10.1007/978-3-540-30124-0_10",
language = "אנגלית",
isbn = "3540230246",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "85--99",
editor = "Jerzy Marcinkowski and Andrzej Tarlecki",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "גרמניה",
}