Tableau method for residuated logic
From MaRDI portal
Recommendations
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)
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)