Connexivity in the Logic of Reasons.

Published in: Stud Logica (2024)

Keyphrases

logic programming
proof theory
modal logic
multi valued
predicate logic
decision making
classical logic
formal theory
database
neural network
computer vision
artificial neural networks
probabilistic logic
truth values
logic synthesis