Germinal theories in Łukasiewicz logic.

Leonardo Manuel Cabrer Daniele Mundici

Published in: Ann. Pure Appl. Log. (2017)

Keyphrases

defeasible logic
causal theories
multi valued
probability theory
formal logic
proof theory
modal logic
computational models
real time
automated reasoning
theoretical framework
modal operators
logic programming
learning algorithm
computational model
logical formulas
information systems