Amr Elnashar

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Complex Systems

Natural Deduction

Inference Rules

Top Venues

J. Philos. Log.

Publications

Amr Elnashar, Wafik Boulos Lotfallah
Minimal Complete Propositional Natural Deduction Systems. J. Philos. Log. 47 (5) (2018)