Carnapian and Tarskian semantics.

Published in: Synth. (2017)

Keyphrases

formal semantics
logic programming
logical framework
semantic information
real time
logical language
graphical representation
databases
website
case study
information systems
learning algorithm
neural network
data sets
operational semantics
proof theory
database