Tableau method for residuated logic

DOI10.1016/0165-0114(95)00199-9MaRDI QIDQ1357163zbMATH OpenOpenAlexFDO

Authors 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

approximate reasoningsemanticsfuzzy logicautomated reasoninggeneralized 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)

Recommendations

• A note on Kripke semantics for residuated logic
• Modal tableaux based on residuation
• Residuated frames with applications to decidability
• Interpolation and FEP for logics of residuated algebras

Cites work

• scientific article; zbMATH DE number 3870293 (Why is no real title available?)
• scientific article; zbMATH DE number 4152338 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 65665 (Why is no real title available?)
• scientific article; zbMATH DE number 65666 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• A note on Kripke semantics for residuated logic
• A note on rule representation in expert systems
• Approximate reasoning as a basis for rule-based expert systems
• Epistemic set theory is a conservative extension of intuitionistic set theory
• Foundations of fuzzy reasoning
• Fuzzy sets and residuated logic
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Informational interpretation of substructural propositional logics
• Logics without the contraction rule
• Proof methods for modal and intuitionistic logics
• Sequent-systems and groupoid models. I
• The logic of inexact concepts

Cited in

(5)

• Tableau methods for modal and temporal logics
• Propositional calculus under adjointness
• Tableau method and NEXPTIME-completeness of DEL-sequents
• A small set of axioms for residuated logic
• A note on Kripke semantics for residuated logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1357163)