Publisher
Springer International Publishing
Reference30 articles.
1. Baaz, M., Iemhoff, R.: Gentzen calculi for the existence predicate. Stud. Logica. 82(1), 7–23 (2006). https://doi.org/10.1007/s11225-006-6603-6
2. Metamathematical Studies;MJ Beeson,1985
3. Bencivenga, E., Lambert, K., van Fraasen, B.: Logic, Bivalence and Denotation. Ridgeview, Atascadero (1991)
4. Bencivenga, E.: Free logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, pp. 147–196. Springer, Dordrecht (2002). https://doi.org/10.1007/978-94-017-0458-8_3
5. Bostock, D.: Intermediate Logic. Clarendon Press, Oxford (1997)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献