Compositional Meaning in Logic.

Carlos Caleiro Luca Viganò

Published in: Logica Universalis (2017)

Keyphrases

logic programming
asynchronous circuits
natural language
modal logic
automated reasoning
abductive reasoning
deontic logic
neural network
mathematical theory
digital circuits
formal theory
epistemic logic
classical logic
proof theory
multi valued
information systems
machine learning