Goal-Directed Methods for Lukasiewicz Logic

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Annual Conference for Computer Science Logic

• Publication date

  2004-09-20

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-540-30124-0_10
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Tableaux for Łukasiewicz Infinite-valued Logic

  2003cited by this paper
• Goal-Directed Calculli for Gödel-Dummett Logics

  2003cited by this paper
• Goal Oriented Deductions

  2002cited by this paper
• Sequent and hypersequent calculi for abelian and łukasiewicz logics

  2002influential reference
• Trends in Logic

  2001cited by this paper
• Fuzzy logic programming

  2001cited by this paper
• Goal-Directed Proof Theory

  2000cited by this paper
• Finiteness in Infinite-Valued Łukasiewicz Logic

  2000cited by this paper
• Algebraic Foundations of Many-Valued Reasoning

  1999cited by this paper
• Metamathematics of Fuzzy Logic

  1998influential reference
• Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz

  1998cited by this paper
• Lukasiewicz logic based Prolog

  1994influential reference
• A Uniform Proof-Theoretic Investigation of Linear Logic Programming

  1994cited by this paper
• Automated deduction in multiple-valued logics

  1993cited by this paper
• Knowledge, Belief, and Strategic Interaction

  1992cited by this paper
• Knowledge, belief, and strategic interaction: The logic of Ulam's games with lies

  1992cited by this paper
• Uniform Proofs as a Foundation for Logic Programming

  1991cited by this paper
• The Uniform Proof-Theoretic Foundation of Linear Logic Programming

  1991cited by this paper
• Intuitive Semantics for Quantitative Rule Sets

  1988cited by this paper
• Satisfiability in Many-Valued Sentential Logic is NP-Complete

  1987cited by this paper
• Algebraic analysis of many valued logics

  1958cited by this paper
• A theorem about infinite-valued sentential logic

  1951cited by this paper
• Edinburgh Research Explorer Computational Adequacy in an Elementary Topos

  year unknowncited by this paper

• Fuzzy-set based logics - an history-oriented presentation of their main developments

  2007cites this paper
• Uniform Rules and Dialogue Games for Fuzzy Logics

  2005cites this paper
• Lukasiewicz Logic: From Proof Systems To Logic Programming

  2005cites this paper
• Goal-Directed Methods for Fuzzy Logics

  2005cites this paper