Login / Signup
Kai Tanter
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Argumentation Semantics
Inconsistent Information
Relational Learning
Named Entities
Top Venues
CoRR
Rev. Symb. Log.
</>
Publications
</>
Kai Tanter
Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates, and Names.
Rev. Symb. Log.
16 (3) (2023)
Kai Tanter
Relational Hypersequent S4 and B are Cut-Free Hypersequent Incomplete.
CoRR
(2021)