C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proof theory for locally finite many-valued logics: Semi-projective logics.
Agata Ciabattoni
Franco Montagna
Published in:
Theor. Comput. Sci. (2013)
Keyphrases
</>
proof theory
default reasoning
proof theoretic
modal logic
automated reasoning
reasoning problems
nonmonotonic reasoning
temporal logic
programming language