Login / Signup
Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates, and Names.
Kai Tanter
Published in:
Rev. Symb. Log. (2023)
Keyphrases
</>
formal semantics
logic programming
argumentation semantics
keywords
semantic information
conceptual model
high level
natural language processing
named entities
user defined
aggregate functions