 |
Klev, A. The Justification of Identity Elimination in Martin-Löf’s Type Theory Topoi, online first
|
 |
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), vol 384. Springer, Dordrecht, online first
|
 |
Svoboda, V. A Lewisian taxonomy for denotic logic Synthese, online first
|
 |
Klev, A.: Carnap on unified science Studies in History and Philosophy of Science 59, 2016, 53-67
|
 |
Klev, A.: Identity and Sortals (and Ceasar) Erkenntnis, online first
|
 |
Punčochář, V.: Algebras of information states Journal of Logic and Computation, online first
|
 |
Klev, A.: Dedekind's Logicism Philosophia Mathematica, to appear
|
 |
Klev, A.: A Proof-Theoretic Account of the Miners Paradox Philosophia Mathematica, to appear
|
 |
Bílková, M., Majer, O. & Peliš, M.: Epistemic Logic for Sceptical Agents Journal of Logic and Computation, to appear
|
 |
Svoboda, V. & Peregrin, J.: Logically Incorrect Arguments Argumentation 30(3), 2016, 263-287
|
 |
Punčochář, V.: A Generalization of Inquisitive Semantics Journal of Philosophical Logic 45(4), 2016, 399-428
|
 |
Peregrin, J. & Svoboda, V.: Logical formalization and the formation of logic(s) Logique et Analyse 59(233), 2016
|
 |
Peregrin, J.: Should one be left or right Sellarsian? Metaphilosophy 47(2), 2016, 251–263
|
 |
Punčochář, V.: Weak negation in inqusitive semantics Journal of Logic, Language and Information 24(3), 2015, 323-355
|
 |
Peregrin, J.: Logic reduced to bare (proof-theoretical) bones Journal of Logic, Language and Information 24(2), 2015, 193-209
|
 |
Materna, P.: Simple concepts Acta Analytica 28(3), 2013, 295-319
|
 |
Peregrin, J.: Inferentialism and Normativity, in M. Beaney (ed.): Oxford Handbook of the History of Analytic Philosophy, Oxford University Press, Oxford, 2013, 1082-1097
|
 |
Materna, P.: Equivalence of Problems Axiomathes 23(4), 2013, 617-631
|
 |
Peregrin, J. & Svoboda, V.: Criteria for logical formalization Synthese 190(14), 2013, 2897-2924
|
 |
Punčochář, V.: Some modifications of Carnap's modal logic Studia Logica 100(3), 2012, 517-543
|
 |
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
|
 |
Peregrin, J.: Inferentializing Semantics Journal of Philosophical Logic 39(3), 2010, 255-274
|
 |
Bílková, M., Majer, O., Peliš, M., and Restall, G.: Relevant Agents Advances in Modal Logic 8, 2010, 22-38
|
 |
Peregrin, J.: Logic and Natural Selection Logica Universalis 4, 2010, 207-223
|
 |
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
|