A fuzzy proof theory
type: Item
instance of: scholarly article
title: A fuzzy proof theory
zbMATH Open document ID: 0728.68110
DOI: 10.1007/BF02946568
author: Dong Bo Liu
author: De-Yi Li
published in: Journal of Computer Science and Technology
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 4203764
zbMATH Keywords: Horn clause
zbMATH Keywords: fuzzy proof theory
zbMATH Keywords: Herbrand interpretations
MaRDI profile type: Publication
cites work: Fuzzy sets
cites work: Q4131064
cites work: Q3491001
full work available at URL: https://doi.org/10.1007/bf02946568
OpenAlex ID: W2085088174
Recommended article: Proof theory for fuzzy logics
Recommended article: Q5406034
Recommended article: A proof-theoretical investigation of global intuitionistic (fuzzy) logic
Recommended article: Fuzzy Horn logic. I. Proof theory.
Recommended article: Q4218100
Recommended article: Proof of theorems in fuzzy logic based on structural resolution
Recommended article: Fuzzy propositional logic
Recommended article: Q4549477
Recommended article: An axiomatic approach to fuzzy set theory
Recommended article: Q5285146
description: scientific article; zbMATH DE number 4203764