Tableau method for residuated logic

DOI10.1016/0165-0114(95)00199-9zbMath0871.03013OpenAlexW2089576639MaRDI QIDQ1357163

Wendy MacCaull

Publication date: 29 September 1997

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0165-0114(95)00199-9

zbMATH Keywords

fuzzy logicautomated reasoningapproximate reasoningsemanticsgeneralized conjunction operatorsgeneralized tableau methodresiduated algebrasresiduated propositional calculus

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (3)

A note on Kripke semantics for residuated logic ⋮ A small set of axioms for residuated logic ⋮ Propositional calculus under adjointness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on Kripke semantics for residuated logic
• Proof methods for modal and intuitionistic logics
• A note on rule representation in expert systems
• Sequent-systems and groupoid models. I
• Fuzzy sets and residuated logic
• Informational interpretation of substructural propositional logics
• The logic of inexact concepts
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Approximate reasoning as a basis for rule-based expert systems
• Logics without the contraction rule
• Epistemic set theory is a conservative extension of intuitionistic set theory
• Foundations of fuzzy reasoning

This page was built for publication: Tableau method for residuated logic