A fuzzy proof theory

DOI10.1007/BF02946568MaRDI QIDQ805267zbMATH OpenOpenAlexFDO

Authors Dong Bo Liu, De-Yi Li

Publication date 1990

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02946568

zbMATH Keywords

fuzzy proof theoryHerbrand interpretationsHorn clause

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Proof theory for fuzzy logics
• scientific article; zbMATH DE number 6276268
• A proof-theoretical investigation of global intuitionistic (fuzzy) logic
• Fuzzy Horn logic. I. Proof theory.
• scientific article; zbMATH DE number 1222563
• Proof of theorems in fuzzy logic based on structural resolution
• Fuzzy propositional logic
• scientific article; zbMATH DE number 1790412
• An axiomatic approach to fuzzy set theory
• scientific article; zbMATH DE number 975737

Cites work

• Fuzzy sets
• scientific article; zbMATH DE number 4164182 (Why is no real title available?)
• scientific article; zbMATH DE number 3559037 (Why is no real title available?)

Cited in

(7)

• Proof of theorems in fuzzy logic based on structural resolution
• Fuzzy Horn logic. I. Proof theory.
• scientific article; zbMATH DE number 4164182 (Why is no real title available?)
• FUZZY ARROW'S THEOREM
• scientific article; zbMATH DE number 1222563 (Why is no real title available?)
• Optimizing fuzzy logic programs by unfolding, aggregation and folding
• Fuzzy Horn logic. II. Implicationally defined classes.

This page was built for publication: A fuzzy proof theory

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