Variable Sharing in Connexive Logic.

Luis Estrada-González Claudia Lucía Tanús-Pimentel

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

Keyphrases

modal logic
classical logic
logic programming
information sharing
data sharing
knowledge sharing
artificial intelligence
automated reasoning
logical framework
share information
nonmonotonic logics
asynchronous circuits
delay insensitive