Katalin Bimbó (bimbo)
Menzionato/a in queste pagine del portale
Stanford Encyclopedia of PhilosophyContributi a Philosophie.ch
No contributions yet
Bibliography
Bimbó, Katalin. 2004. “Semantics for Dual and Symmetric Combinatory Calculi.” The Journal of Philosophical Logic 33(2): 125–153.
Bimbó, Katalin. 2006. “Curry-Type Paradoxes.” Logique et Analyse 49(195): 227–240.
Bimbó, Katalin. 2007. “Relevance Logics.” in Philosophy of Logic, edited by Dale Jacquette, 1st ed., pp. 723–790. Handbook of the Philosophy of Science n. 5. Amsterdam: Elsevier Science Publishers B.V.
Bimbó, Katalin. 2008. “Combinatory Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2008/entries/logic-combinatory/.
Bimbó, Katalin. 2012a. Combinatory Logic. Pure, Applied and Typed. Boca Raton, Florida: CRC Press.
Bimbó, Katalin. 2012b. “Combinatory Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2012/entries/logic-combinatory/.
Bimbó, Katalin. 2015. “Current Trends in Substructural Logics.” The Journal of Philosophical Logic 44(6): 609–624.
Bimbó, Katalin, ed. 2016a. J. Michael Dunn on Information Based Logics. Outstanding Contributions to Logic n. 8. Cham: Springer, doi:10.1007/978-3-319-29300-4.
Bimbó, Katalin. 2016b. “Introduction: From Information at Large to Semantics of Logics.” in J. Michael Dunn on Information Based Logics, edited by Katalin Bimbó, pp. 1–14. Outstanding Contributions to Logic n. 8. Cham: Springer, doi:10.1007/978-3-319-29300-4.
Bimbó, Katalin. 2016c. “Combinatory Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2016/entries/logic-combinatory/.