Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference16 articles.
1. Ferreira, F., Comments on predicative logic, Journal of Philosophical Logic 35:1–8, 2006.
2. Ferreira, F., and G. Ferreira, Commuting conversions vs. the standard conversions of the “good” connectives, Studia Logica 92:63–84, 2009.
3. Ferreira, F., and G. Ferreira, Atomic polymorphism, The Journal of Symbolic Logic 78(1):260–274, 2013.
4. Ferreira, G., Eta-conversions of $${\bf IPC}$$ implemented in atomic $${\bf F}$$, Logic Jnl IGPL 25(2):115–130, 2017.
5. Ferreira, G., Rasiowa–Harrop disjunction property, Studia Logica 105(3):649–664, 2017.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献