Login / Signup
René Gazzari
ORCID
Publication Activity (10 Years)
Years Active: 2014-2022
Publications (10 Years): 2
Top Topics
Theorem Prover
Ontological Engineering
Formal Models
Data Sets
Top Venues
Bull. Symb. Log.
Logica Universalis
Stud Logica
</>
Publications
</>
René Gazzari
Formal Theories of Occurrences and Substitutions.
Bull. Symb. Log.
28 (2) (2022)
René Gazzari
The Calculus of Natural Calculation.
Stud Logica
109 (6) (2021)
René Gazzari
Direct Proofs of Lindenbaum Conditionals.
Logica Universalis
8 (3-4) (2014)