From the research on logics without tautologies (part 3).

Leszek Jaworski

Published in: Log. J. IGPL (2013)

Keyphrases

expressive power
modal logic
propositional calculus
web services
inference rules
image processing
multiscale
probabilistic model
fuzzy logic
computational properties
decision procedures
nonmonotonic logics
proof theory
inheritance reasoning