Logical connectives for two-state semantics.

Marta Cialdea Mayer Luis Fariñas del Cerro

Published in: J. Appl. Non Class. Logics (2023)

Keyphrases

databases
state space
logical properties
neural network
machine learning
information systems
database systems
description logics
inference rules
formal semantics
logical framework
model theoretic
logical language