An Algebraic Investigation of the Connexive Logic sfC.

Davide Fazio Sergei P. Odintsov

Published in: Stud Logica (2024)

Keyphrases

epistemic logic
modal logic
logical framework
multiscale
classical logic
nonmonotonic logics
database
neural network
search algorithm
proof theory