Tableau method for residuated logic

DOI10.1016/0165-0114(95)00199-9zbMath0871.03013MaRDI 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 logic; automated reasoning; approximate reasoning; semantics; generalized conjunction operators; generalized tableau method; residuated algebras; residuated propositional calculus

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

68T27: Logic in artificial intelligence

03B35: Mechanization of proofs and logical operations

Related Items

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

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