A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.

Annemarie Borg Christian Straßer Ofer Arieli

Published in: Stud Logica (2021)

Keyphrases

logical rules
logical representation
real time
data sets
real world
theorem prover
theorem proving
linear logic
neural network
image segmentation
database systems
multiscale
artificial neural networks
formal representation
logical reasoning