![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://static.cambridge.org/covers/RSL_0_0_0/the_review%20of%20symbolic%20logic.jpg) |
Punčochář, V. Substructural Inquisitive Logic Review of Symbolic Logic, first view
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://images.springer.com/sgw/books/small/978-3-319-93341-2.jpg) |
Peregrin, J. Intensionality in Mathematics M. Piazza and G. Pulcini (eds.): Truth, Existence and Explanation, Springer, Cham, 2018, 57-70
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://static.cambridge.org/covers/RSL_0_0_0/the_review%20of%20symbolic%20logic.jpg) |
Klev, A. The concept horse is a concept Review of Symbolic Logic 11, 547-572
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://www.tandfonline.com/na101/home/literatum/publisher/tandf/journals/content/thpl20/2018/thpl20.v039.i04/thpl20.v039.i04/20180924-01/thpl20.v039.i04.cover.jpg) |
Klev, A. Husserl's logical grammar. History and Philosophy of Logic 39, 232-269
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://static-content.springer.com/cover/journal/11225/106/1.jpg) |
Childers, T. & Majer, O. Eliciting Uncertainties: A Two Structure Approach Studia Logica 106 (3), 2018, pp 615–636
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://static-content.springer.com/cover/journal/11245/36/3.jpg) |
Klev, A. The Justification of Identity Elimination in Martin-Löf’s Type Theory Topoi, online first
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://static-content.springer.com/cover/book/978-94-024-1132-4.jpg) |
Klev, A. Husserl and Carnap on Regions and Formal Categories In: Centrone S. (eds) Essays on Husserl's Logic and Philosophy of Mathematics. Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science), Springer, Dordrecht, 2017, pp 409-429
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://images.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-136338-0) |
Svoboda, V. A Lewisian taxonomy for denotic logic Synthese 195 (7),2018, pp 3241–3266
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://ars.els-cdn.com/content/image/S00393681.gif) |
Klev, A.: Carnap on unified science Studies in History and Philosophy of Science 59, 2016, 53-67
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://images.springer.com/sgw/journals/medium/10670.jpg) |
Klev, A.: Identity and Sortals (and Ceasar) Erkenntnis 82 (1), 2017, pp 1–16
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://logika.flu.cas.cz/images/JLC.png) |
Punčochář, V.: Algebras of information states Journal of Logic and Computation 27 (5), 2017, pp 1643–1675
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://logika.flu.cas.cz/images/PM.png) |
Klev, A.: Dedekind's Logicism Philosophia Mathematica 25 (3), 2017, pp 341–368
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://wol-prod-cdn.literatumonline.com/cms/attachment/84b553c0-f0cb-4cab-8a71-4f6573868b63/theo.2016.82.issue-4.cover.jpg) |
Klev, A.: A Proof-Theoretic Account of the Miners Paradox Theoria 82 (4), 2016, pp 351-369
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://logika.flu.cas.cz/images/JLC.png) |
Bílková, M., Majer, O. & Peliš, M.: Epistemic Logic for Sceptical Agents Journal of Logic and Computation 26 (6), 2016, pp 1815–1841
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://static-content.springer.com/cover/journal/10503/29/3.jpg) |
Svoboda, V. & Peregrin, J.: Logically Incorrect Arguments Argumentation 30(3), 2016, 263-287
|
![Journal of Philosophical Logic Journal of Philosophical Logic](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://images.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-136065-0) |
Punčochář, V.: A Generalization of Inquisitive Semantics Journal of Philosophical Logic 45(4), 2016, 399-428
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://virthost.vub.ac.be/lnaweb/ojs/public/journals/1/homeHeaderLogoImage_en_US.png) |
Peregrin, J. & Svoboda, V.: Logical formalization and the formation of logic(s) Logique et Analyse 59(233), 2016
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://wol-prod-cdn.literatumonline.com/cms/attachment/502e76e0-3be4-489a-9550-1646745b3868/meta.2016.47.issue-2.cover.jpg) |
Peregrin, J.: Should one be left or right Sellarsian? Metaphilosophy 47(2), 2016, 251–263
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://images.springer.com/sgw/journals/medium/10849.jpg) |
Punčochář, V.: Weak negation in inqusitive semantics Journal of Logic, Language and Information 24(3), 2015, 323-355
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://images.springer.com/sgw/journals/medium/10849.jpg) |
Peregrin, J.: Logic reduced to bare (proof-theoretical) bones Journal of Logic, Language and Information 24(2), 2015, 193-209
|
![Acta Analytica Acta Analytica](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/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, 295-319
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://ukcatalogue.oup.com/images/en_US/covers/medium/9780199238842_140.jpg) |
Peregrin, J.: Inferentialism and Normativity, in M. Beaney (ed.): Oxford Handbook of the History of Analytic Philosophy, Oxford University Press, Oxford, 2013, 1082-1097
|
![Axiomathes Axiomathes](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://images.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-150249-0) |
Materna, P.: Equivalence of Problems Axiomathes 23(4), 2013, 617-631
|
![Synthese Synthese](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/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, 2897-2924
|
![Studia Logica Studia Logica](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/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, 517-543
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://ebooks.cambridge.org/content/978/11/3902/245/3/9781139022453i.jpg) |
Peregrin, J.: The Normative Dimension of Discourse, in K. Allan and K. Jasczolt (eds.): Cambridge Handbook of Pragmatics, Cambridge University Press, Cambridge, 2012, 209-225
|
![Journal of Philosophical Logic Journal of Philosophical Logic](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/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, 255-274
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://www.aiml.net/images/volume8.gif) |
Bílková, M., Majer, O., Peliš, M., and Restall, G.: Relevant Agents Advances in Modal Logic 8, 2010, 22-38
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/https://media.springernature.com/w306/springer-static/cover/journal/11787/4/2.jpg) |
Peregrin, J.: Logic and Natural Selection Logica Universalis 4, 2010, 207-223
|
![](https://webarchiv.lib.cas.cz:443/wayback/20191003064233im_/http://logika.flu.cas.cz/images/publikace/2009-Games.jpg) |
Cintula, P., Majer, O.: Towards Evaluation Games For Fuzzy Logics, in: Majer, O., Pietarinen, A., Tulenheimo, T. (eds.): Games: Unifying Logic, Language, and Philosophy, Springer, 2009, 117-138
|