A fuzzy proof theory

DOI10.1007/BF02946568zbMath0728.68110OpenAlexW2085088174MaRDI QIDQ805267

Dongbo 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

Horn clausefuzzy proof theoryHerbrand interpretations

Mathematics Subject Classification ID

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

Related Items

Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding

Cites Work

• Fuzzy sets
• Unnamed Item
• Unnamed Item