A Logic Determined by Commutative Residuated Lattices.

Michiro Kondo Osamu Watari Mayuka F. Kawaguchi Masaaki Miyakoshi

Published in: EUSFLAT Conf. (2) (2007)

Keyphrases

boolean algebra
logical framework
logic programming
learning algorithm
classical logic
epistemic logic
data sets
special case
modal logic
automated reasoning
website
concept lattice
computational properties
nonmonotonic logics
formal theory
asynchronous circuits