Current Trends in Substructural Logics.

Published in: J. Philos. Log. (2015)

Keyphrases

current trends
propositional calculus
future directions
artificial intelligence
expressive power
health sciences
modal logic
expert systems
database
databases
machine learning
three dimensional
multiscale
inference rules
computational properties