C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions.
Agata Ciabattoni
George Metcalfe
Franco Montagna
Published in:
Fuzzy Sets Syst. (2010)
Keyphrases
</>
proof theoretic
default reasoning
nonmonotonic reasoning
linear logic
default logic
proof theory
fixpoint
constraint logic programming
model theoretic
logic programming
cut elimination
artificial intelligence
description logics
integrity constraints