Funder
Fundação para a Ciência e a Tecnologia
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference11 articles.
1. Dinis, B., and G. Ferreira, Instantiation overflow, Reports on Mathematical Logic 51:15–33, 2016.
2. Ferreira, F., Comments on predicative logic, Journal of Philosophical Logic 35:1–8, 2006.
3. Ferreira, F., and G. Ferreira, Commuting conversions vs. the standard conversions of the “good” connectives, Studia Logica 92:63–84, 2009.
4. Ferreira, F., and G. Ferreira, Atomic polymorphism, The Journal of Symbolic Logic 78:260–274, 2013.
5. Ferreira, F., and G. Ferreira, The faithfulness of
$${{\bf F}}_{{\bf at}}$$
F
at
: a proof-theoretic proof, Studia Logica 103(6):1303–1311, 2015.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献