![](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://virthost.vub.ac.be/lnaweb/ojs/public/journals/1/homeHeaderLogoImage_en_US.png) |
Svoboda, V. & Peregrin, J.: Logical formalization and the formation of logic(s) Logique et Analyse, to appear
|
![](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/https://images.springer.com/sgw/journals/medium/10849.jpg) |
Peregrin, J.: Logic reduced to bare (proof-theoretical) bones Journal of Logic, Language and Information, to appear
|
![](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://logika.flu.cas.cz/images/publikace/2014-inferentialism.jpg) |
Peregrin, J.: Inferentialism: Why Rules Matter Palgrave Macmillan, 2014
|
![](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://logika.flu.cas.cz/images/publikace/2013-logika_pro_pany_otroky_kibice.jpg) |
Svoboda, V.: Logika pro Pány, Otroky a Kibice Filosofický průvodce světem deontické logiky Filosofia, 2013
|
![Acta Analytica Acta Analytica](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://images.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-331253-0) |
Materna, P.: Simple concepts Acta Analytica 28(3), 2013, pp. 295-319
|
![Axiomathes Axiomathes](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://images.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-150249-0) |
Materna, P.: Equivalence of Problems Axiomathes Volume 23(4), 2013, pp. 617-631
|
![Synthese Synthese](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://images.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-136338-0) |
Peregrin, J. & Svoboda, V.: Criteria for logical formalization Synthese 190(14), 2013, pp. 2897-2924
|
![Studia Logica Studia Logica](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://images.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-136326-0) |
Punčochář, V.: Some modifications of Carnap's modal logic Studia Logica 100(3), 2012, pp. 517-543
|
![Journal of Logic, Language and Information Journal of Logic, Language and Information](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://images.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-133800-0) |
Childers, T. & Majer, O. (eds.): Interpreting Probability special issue of Journal of Logic, Language and Information 21(2), 2012
Prague international colloquium Foundations of Uncertainty: Probability and its Rivals
|
![](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://logika.flu.cas.cz/images/publikace/2010-TIL.jpg) |
Duží, M., Jespersen, B., Materna, P.: Procedural Semantics for Hyperintensional Logic (Foundations and Applications of TIL) Springer, 2010
|
![](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://logika.flu.cas.cz/images/publikace/2009-od_jazyka_k_logice.jpg) |
Svoboda, V. & Peregrin, J.: Od jazyka k logice (Filozofický úvod do moderní logiky) Academia, 2009
|
![](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://logika.flu.cas.cz/images/publikace/2009-Games.jpg) |
Majer, O., Pietarinen, A.-V., Tulenheimo, T. (eds.): Games: Unifying Logic, Language, and Philosophy Springer, 2009
|
![Journal of Philosophical Logic Journal of Philosophical Logic](https://webarchiv.lib.cas.cz:443/wayback/20150411000349im_/http://images.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-136065-0) |
Peregrin, J.: Inferentializing Semantics Journal of Philosophical Logic 39(3), 2010, pp. 255-274
|