Login / Signup
Marko Malink
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 2
Top Topics
Automated Reasoning
Numerical Values
Probabilistic Logic
Multi Valued
Top Venues
Rev. Symb. Log.
</>
Publications
</>
Marko Malink
,
Anubav Vasudevan
The Peripatetic Program in Categorical Logic: Leibniz on Propositional Terms.
Rev. Symb. Log.
13 (1) (2020)
Marko Malink
,
Anubav Vasudevan
The Logic of Leibniz's Generales Inquisitiones de Analysi Notionum et Veritatum.
Rev. Symb. Log.
9 (4) (2016)