A Categorical Semantics for Linear Logical Frameworks.

Matthijs Vákár

Published in: FoSSaCS (2015)

Keyphrases

logical properties
logical language
formal semantics
model theoretic
logical framework
logical rules
conceptual model
argumentation frameworks
logical theories
predicate calculus
database
linear systems
categorical data
data sets
probabilistic knowledge
description logics
object oriented