Semantics for Pure Theories of Connexive Implication.

Published in: Rev. Symb. Log. (2022)

Keyphrases

theoretical framework
functional dependencies
data sets
logic programming
formal semantics
operational semantics
neural network
metadata
semantic information
xml keys
proof theory
default reasoning
complete axiomatization
model theoretic
general theory
computational models
conceptual model
database systems