Publications


Articles (117)

2018

D. Raghavan, J. Verner Chains of P-points (submitted)
T. Lavicka, J. Verner Completely separably MAD families and the modal logic of $\beta\omega$ (preprint)
M. Bílková MOSS' LOGIC FOR ORDERED COALGEBRAS (preprint)
S. Shelah, J. Verner Ramsey partitions of metric spaces (preprint)
M. Bílková The Logic of Resources and Capabilities (preprint)
J. Brendle, B. Farkas, J. Verner Towers in Filters, Cardinal Invariants and Luzin Type Families Journal of Symbolic Logic, 2018

2017

A. Prenosil An algebraic view of super-Belnap logics 2017 1051-1086
T. Lavicka, C. Noguera A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic 2017 521-551
A. Prenosil Cut elimination, identity elimination, and interpolation in super-Belnap logics 2017 1255-1289
M. Peliš Erotetic epistemic logic 2017 357-381
Š. Stejskalová Grigorieff forcing and the tree property Miscellanea Logica, Tom II, 2017 2 - Miscellanea Logica 2017 63-72

2016

R. Honzík, J. Verner A lifting argument for generalized Gregorieff forcing Notre Dame Journal of Formal Logic, 2016 57 (2) 57 (2) 2016 221-231
R. Honzík, Š. Stejskalová A survey of special Aronszajn trees Acta Universitatis Carolinae. Philosophica et Historica, 1 X X 2016 73-91
S. Friedman, R. Honzík Definability of satisfaction in outer models Journal of Symbolic Logic, 81 3 3 2016 1047-1068
M. Bílková, O. Majer, M. Peliš Epistemic Logics for Skeptical Agents Journal of Logic and Computation, 26 6 6 2016 1815-1841
R. Honzík Large cardinals and their effect on the continuum function on regular cardinals Acta Universitatis Carolinae. Philosophica et Historica, 1 10 10 2016 55-72
S. Friedman, R. Honzík On strong forms of reflection in set theory Mathematical Logic Quarterly, 62 1-2 1-2 2016 52-58
V. Douchova Birkhoff's aesthetic measure 2016 39-54
P. Svarny Dynamical Branching 2016
W. Brian, J. Verner $G_\delta$ and co-meager semifilters Fundamenta Mathematicae, 2016 235 2016 153-166
P. Arazim Jaroslav Peregrin: Inferentialism: Why Rules Matter Palgrave Macmillan 2014, 272 pages 2016 128-134
P. Arazim Logical Expressivist's Logical Constants 2016 2-20
P. Arazim Model theory and foundations of logic 2016 7-21
M. Dancak, M. Peliš Normal Default Rules as Epistemic Actions 2016 23-37
A. Prenosil Reductio ad contradictionem: an algebraic perspective 2016 389-415

2015

C. Antos, S. Friedman, R. Honzík, C. Ternullo Multiverse conceptions in set theory Synthese, 192 8 8 2015 2463-2488
S. Friedman, R. Honzík The tree property at the aleph_2n's and the failure of SCH at aleph_omega Annals of Pure and Applied Logic, 166 4 4 2015 526-552
P. Svarny Does branching explain flow of time or the other way around? 2015 2273-2292

2014

B. Cody, S. Friedman, R. Honzík Easton functions and supercompactness Fundamenta Mathematicae, 226 3 3 2014 279-296
M. Bílková, A. Palmigiano, Y. Venema Proof systems for Moss' coalgebraic logic Theoretical Computer Science, 549 549 2014 36-60
P. Kotatko Representations and Relations 2014 282-302

2013

J. Verner Filter convergence in $\beta\omega$ Acta Universitatis Carolinae. Philosophica et Historica, 2010 2 2 2013 87-90
J. Verner Lonely points revisited Commentationes Mathematicae Universitatis Carolinae, 54 1 1 2013 105-110
A. Blass, M. Hrušák, J. Verner On strong $P$-points
S. Friedman, R. Honzík, L. Zdomskyy Fusion and large cardinal preservation Annals of Pure and Applied Logic, 164 12 12 2013 1247-1273
R. Honzík Large Cardinals and the Continuum Hypothesis Acta Universitatis Carolinae. Philosophica et Historica, 2010 2 2 2013 35-52
E. Kolovratnikova Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics 2013 53-59
M. Peliš Interpretace znalosti v substrukturalnich ramcich 2013 79-98
K. Chvalovsky Note on D-completeness and prelinearity 2013 111-118
J. Verner On strong P-points 2013 2875-2883
P. Arazim Pluralism in geometry 2013 7-21
M. Peliš Set of Answers Methodology in Erotetic Epistemic Logic 2013 61-74
V. Douchova S. Zeki and Neuroaesthetics - A Possible Framework to Objectify Aesthetics 2013 23-33
P. Svarny Wally axiomatics of Branching Continuations 2013 75-86

2012

R. Honzík A definable failure of the Singular Cardinal Hypothesis Israel Journal of Mathematics, 192 2 2 2012 719-762
R. Honzík Easton's theorem and large cardinals from the optimal hypothesis Annals of Pure and Applied Logic, 163 12 12 2012 1738-1747
R. Honzík Supercompactness and Failures of GCH Fundamenta Mathematicae, 219 Listopad Listopad 2012 15-36
K. Chvalovsky On the Independence of Axioms in BL and MTL 2012 123-129

2011

M. Hrušák, J. Verner Adding ultrafilters by definable quotients Rendiconti del Circolo Matematico di Palermo, 60 3 3 2011 445-454
M. Bílková, J. Velebil, Y. Venema On Monotone Modalities and Adjointness Mathematical Structures in Computer Science, 21 21 2011 383-416
S. Nevrkla Is Formal Logic a Science About Rational Arguments? 2011 499-511

2010

R. Honzík A characterization of lifting generics for Sacks-like forcings Acta Universitatis Carolinae. Mathematica et Physica, 51 2010 2010 2010 49-55
R. Honzík Global Singularization and the Failure of SCH Annals of Pure and Applied Logic, 161 7 7 2010 895-915
V. Douchova Equivalence in aesthetics 2010 23-24
J. Zouhar Godelova veta a relace logickeho dusledku 2010 59-95
S. Nevrkla K cemu je filosofii logika a logice filosofie? 2010 383-388
S. Nevrkla Logic and Argumentation 2010 41-70
J. Peregrin Two Concepts of Validity and Completeness 2010 23-39

2009

M. Bílková, J. Joosten Interpretability in PRA Annals of Pure and Applied Logic, 161 2 2 2009 128-138
V. Švejdar On Interpretability in the Theory of Concatenation (preprint)
M. Matousek Orthocomplemented lattices with a symmetric difference 2009 185-215
M. Matousek Orthocomplemented Posets with a Symmetric Difference 2009 1-21
M. Matousek Symmetric difference on orthomodular lattices and $Z_2$-valued states 2009 535-547

2008

J. Verner Lonely points in ω*
S. Friedman, R. Honzík Easton's Theorem and Large Cardinals Annals of Pure and Applied Logic, 154 3 3 2008
J. Peregrin Inferentialist Approach to Semantics 2008
J. Peregrin What is the logic of inference? 2008

2007

V. Švejdar An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant Fundamenta Informaticae, 81 1-3 1-3 2007 347;354
M. Bílková Uniform interpolation and propositional quantifiers in modal logics Studia Logica, 85 1 1 2007 1;31
V. Kolman P. Glombicek (ed.): Soukromy jazyk, pravidla a Wittgenstein 2007 542-548

2006

V. Švejdar Note on Inter-Expressibility of Logical Connectives in Finitely-Valued Godel-Dummett Logics Soft Computing, 10 7 7 2006 629;630
V. Švejdar On Interplay of Quantifiers in Godel-Dummett Fuzzy Logics Archive for Mathematical Logic, 45 5 5 2006 569;580
V. Švejdar On Sequent Calculi for Intuitionistic Propositional Logic Commentationes Mathematicae Universitatis Carolinae, 47 1 1 2006 159;173
L. Dostalova Aristotle on Language Paralogisms: SophElen. c.4 p.165b-166b 2006 170-180
J. Peregrin Brandom and Davidson: what do we need to account for thinking and agency 2006 43-59
J. Peregrin Lesk a bida platonisticke koncepce semantiky 2006 38-49
J. Peregrin Meaning as an Inferential Role 2006 1-36

2005

J. Peregrin Davat slovum vyznam 2005 61-66
V. Kolman Freges Pragmatismus im Streit um den Begriff der Wahrheit 2005 292;310
V. Kolman K Fregove udajnemu logicismu 2005 559-578
V. Kolman Lasst sich der Logizismus retten? 2005 159;174
V. Kolman Logicismus a paradox I 2005 1-20
V. Kolman Logicismus a paradox II 2005 121-140
J. Peregrin Mozne svety v logice 2005 135-141
M. Peliš Questions and Logical Analysis of Natural Language: the Case of Transparent Intensional Logic 2005 217;226
M. Benediktova Rekove a Arabove pod hvezdnou oblohou 2005 41-46
J. Peregrin The nature of meaning: Brandom versus Chomsky 2005 39-57

2004

V. Švejdar On Godel First Incompleteness Theorem (preprint)
M. Duzi A Procedural Theory of Concepts and the Problem of Synthetic a priori 2004 1-22
M. Matousek Boolean carried homomorphisms in orthomodular lattices 2004 255-265
V. Švejdar Godlov prvi izrek o nepolnosti 2004 113-121
M. Duzi Intensional Logic and the Irreducible Contrast between de dicto and de re 2004
V. Kolman K soucasne analyze modalit 2004 15-31
V. Kolman Logicismus a moderni logika 2004 243-271

2003

V. Švejdar On the polynomial-space completeness of intuitionistic propositional logic Archive for Mathematical Logic, 42 7 7 2003 711-716
V. Švejdar The decision problem of provability logic with only one atom Archive for Mathematical Logic, 42 8 8 2003 763-768
V. Švejdar The limit lemma in fragments of arithmetic Commentationes Mathematicae Universitatis Carolinae, 44 3 3 2003 565-568
V. Kolman K Fregove udajnemu pragmatismu 2003 937-957
V. Kolman K poznamkam Pavla Materny 2003 113-117
V. Kolman Nesnesitelna argumentace 2003 685-987
V. Kolman Soumrak ontologie 2003 675-684

2002

V. Kolman K Fregove udajnemu holismu 2002 757-785
V. Kolman Kreiser, Lothar: Gottlob Frege, Leben-Werk-Zeit 2002 846-854

2001

M. Vetrovcova Matematika kolem zatmeni 2001 78-85
K. Bendová On ordering and multiplication of natural numbers 2001 19-23

2000

K. Bendová, V. Švejdar On Inter-Expressibility of Logical Connectives in Gödel Fuzzy Logic (preprint)
V. Švejdar On provability logic Nordic Journal of Philosophical Logic, 4 2 2 2000 95-116
V. Kolman Fregova korespondence s Hilbertem 2000 601-622
V. Kolman K Fregove udajnemu platonismu 2000 577-600
K. Bendová, V. Švejdar On Inter-Expressibility of Logical Connectives in Godel Fuzzy Logic 2000 103-105

1999

V. Švejdar On the arithmetical classification of the set of all provably recursive functions Commentationes Mathematicae Universitatis Carolinae, 40 4 4 1999 631-636
K. Bendová A Note on Godel Fuzzy Logic 1999 167-172
P. Savicky Approximations by OBDDs and the Variable Ordering Problem 1999 493-502
M. Matousek Logika a kvantova fyzika 1999 63-74
M. Jauris Omezena a neomezena odvoditelnost 1999 33-56
P. Savicky On P versus NP U co-NP for Decision Trees and Read-Once Branching Programs 1999
K. Bendová Poznamka o Goedelove fuzzy logice 1999 167-167

Book Chapters (47)

2011

V. Švejdar Infinite Natural Numbers: an Unwanted Phenomenon, or a Useful Concept? 283-294 in The Logica Yearbook 2010 2011 ISBN 978-1-84890-038-7

2010

V. Švejdar Decision Problems of some Intermediate Logics and Their Fragments 297-307 in The Logica Yearbook 2010 ISBN 978-1-84890-009-7
M. Bílková, O. Majer, M. Peliš, G. Restall Relevant Agents 22-38 in Advances in Modal Logic 2010 ISBN 978-1-84890-013-4
M. Peliš Logic of Questions from the Viewpoint of Dynamic Epistemic Logic 157-172 2010 ISBN 978-1-84890-009-7
K. Chvalovsky Non-Equivalence of Some Implicational Deduction Theorems 49-55 2010 ISBN 978-80-7378-133-0

2009

V. Švejdar Relatives of Robinson Arithmetic 2009 ISBN 978-1-904987-46-8
J. Peregrin Mysleni a pravidla 2009 ISBN 978-80-86807-64-5
V. Bělič Symbolicka reprezentace duchovnich a proces sekularizace ve Vilimkove Narodnim albu z roku 1899 2009 ISBN 978-80-86488-55-4

2008

R. Honzík A Quick Guide to Independence results in Set Theory in None 2008 ISBN 978-80-7308-261-1
V. Bělič Financni elity, jejich identita a misto v narodni spolecnosti 2008 ISBN 978-80-7363-227-4
S. Nevrkla, M. Peliš Formalni pristup ke znalostem a jeho aplikace v teorii racionalniho jednani in None 2008 ISBN 978-80-7308-219-2
V. Kolman Hypoteza kontinua jako filosoficky problem 2008 ISBN 978-80-969770-1-7
M. Peliš Teorie her jako formalni teorie racionalniho rozhodovani 2008 ISBN 978-80-246-1413-7

2006

M. Peliš Filosoficke zaklady intuicionisticke logiky (preklad) 2006 ISBN 80-7007-228-8
R. Honzík Filosoficky vyznam Godelovy vety 331-347 2006 ISBN 80-7007-228-8

2005

J. Peregrin Co je to semantika? 51-62 2005 ISBN 80-7007-212-1

2004

M. Bílková, E. Goris, J. Joosten Smart Labels 1-9 2004 ISBN 90-5776-1289
M. Duzi Concepts, Language and Ontologies (from the logical point of view) 193-209 2004 ISBN 1-58603-396-4
M. Duzi Konceptualni modelovani a ontologie z pohledu logiky 99-119 2004 ISBN 80-210-3516-1
J. Peregrin Pojem intepretace v logice 9-19 2004 ISBN 80-967225-1-4
J. Peregrin Pragmatism und Semantik 89-108 2004 ISBN 3-937202-46-3
M. Duzi, P. Jirků Znalosti z pohledu logiky 85-113 2004 ISBN 80-248-0456-5

2003

V. Švejdar A Note on Arithmetical Completeness of Theories with Rosser Modalities 123-133 in Miscellanea Logica, Tom V 2003 ISBN 80-164-0799-9
V. Švejdar On Structural Proofs of Goedel First Incompleteness Theorem 115-122 in Miscellanea Logica, Tom V 2003 ISBN 80-246-0799-9
L. Běhounek Axiomatic Fuzzy Set Theories 31-43 2003 ISBN 80-246-0799-9
M. Duzi Do we have to deal with partiality? 45-76 2003 ISBN 80-246-0799-9
T. Holecek On Language Levels of a Theory 77-84 2003 ISBN 80-246-0799-9
T. Pesina Popis struktury formalnich casti logickeho textu a jeho normalizace 374-379 2003 ISBN 80-248-0229-5
M. Peliš Some Properties of Kripke Semantics for Intuitionistic Logic 103-113 2003 ISBN 80-246-0799-9
P. Jirků, M. Matousek Three-Element Implicative Matrices 85-102 2003 ISBN 80-246-0799-9
P. Jirků Znalosti, epistemologie a epistemicka logika 123-132 2003 ISBN 80-248-0229-5

2002

P. Jirků Formalni logika v kontextu bezneho jazyka a argumentace 59-63 2002 ISBN 80-246-0526-0
M. Jauris Kde se logik setkava s Gricem 41-49 2002 ISBN 80-246-0526-0
V. Bělič Kvantifikace typu 'kazdy...neni...' 81-88 2002 ISBN 80-246-0505-8
M. Jauris, P. Jirků Logika na FF UK v Praze 274-284 2002 ISBN 80-967225-5-7
V. Kolman Lorenzen, Paul: Regeln vernunftigen Argumentierens 9-50 2002 ISBN 80-246-0505-8
M. Vlasáková Scholasticka inspirace 63-69 2002 ISBN 80-246-0505-8
K. Bendová Uvodni slovo 7-8 2002 ISBN 80-246-0505-8

2001

K. Bendová Connections Among Some Non-Classical Logics - interni materialy 4-4 2001
P. Jirků How to Understand Negatives 111-121 2001 ISBN 80-7017-149-4
P. Jirků, M. Spalek On Interrelations Among Extensional Three-Valued Logics 108-108 2001
P. Jirků Racionalita z pohledu logiky 87-99 2001 ISBN 80-7248-107-X

2000

P. Jirků Possibile et impossibile 19-30 2000

1999

P. Jirků CS bibliografie oboru logika 75-112 1999 ISBN 80-7184-790-9
P. Jirků Petr Vopenka: Podivuhodny kvet ceskeho baroka 109-112 1999 ISBN 80-7184-790-9
V. Švejdar Poznamka o vztahu vyplyvani v predikatove logice 7-17 1999 ISBN 80-7184-790-9
P. Jirků Problem redukce a explanace ve fyzice 57-62 1999 ISBN 80-7184-790-9

Books (25)

2016

M. PelišInferences with ignorance: logics of questions. Inferential erotetic logic and Erotetic epistemic logic Karolinum 2016 ISBN 978-80-246-3181-3

2015

B. Švandová, V. ŠvejdarKurt Gödel: Completeness and Incompleteness OPS a Západočeská univerzita v Plzni , Kanina, Plzeň 2015 ISBN 978-80-87269-39-8
V. ŠvejdarKurt Godel: Uplnost a neuplnost OPS a Zapadoceska univerzita v Plzni 2015 ISBN 978-80-87269-39-8

2014

A. HorskaWhere is the Godel-Point hiding: Gentzen's Consistency Proof of 1936 and his Representation of Constructive Ordinals Springer 2014 ISBN 978-3-319-02170-6

2013

T. LiepoldovaSluzebnici vedy Univerzita Karova v Praze, Filozoficka fakulta 2013 ISBN 978-80-7308-478-3

2011

A. SochorLogika pro vsechny ochotne myslet Karolinum 2011 ISBN 978-80-246-1959-0

2009

J. PeregrinCo je to myslenka? Montanex 2009 ISBN 978-80-7225-302-9

2008

M. BílkováConsequence, Inference, Structure: Miscellanea Logica VII UK FF , Praha 2008 ISBN 978-80-7308-261-1
M. BílkováNormal forms, Distributive laws, and Uniform interpolants UK FF , Praha 2008 ISBN 978-80-7308-261-1

2007

R. Honzík, O. TomalaThe Logica Yearbook 2006 Filosofia, nakladatelství Filosofického ústavu AV ČR , Praha 2007 ISBN 978-80-7007-254-7

2006

M. BílkováInterpolation in Modal Logics UK Praha , Praha 2006
M. Bílková, O. TomalaThe Logica Yearbook 2005 Filosofia, nakladatelství Filosofického ústavu AV ČR , Praha 2006 ISBN 80-7007-229-6
J. PeregrinExtensional vs. Intensiona Logic Elsevier 2006 ISBN 978-0-444-51541-4
V. KolmanMiscellane Logica VII. Od pravdy k dukazu UK FF 2006 ISBN 80-7308-145-8

2005

J. PeregrinIs Compositionality an Empirical Matter? Ontos 2005 ISBN 3-937202-52-8
V. KolmanMoznost, skutecnost, nutnost Filosofia 2005 ISBN 80-7007-203-2
J. PeregrinThe 'causal story' and the 'justificatory story' Brambauer 2005 ISBN 963-218-482-3

2003

K. Bendová, P. JirkůMiscellanea Logica, Tom V Charles University in Prague 2003 ISBN 80-246-0799-9

2002

V. ŠvejdarLogic: Incompleteness, Compexity, and Neccessity Academia , Praha 2002 ISBN 80-200-1005-X
K. Bendová, V. ŠvejdarMiscellanea Logica, Tom III Karolinum , Praha 2002 ISBN 80-246-0505-8
K. Bendová, V. ŠvejdarMiscellanea Logica, Tom IV Karolinum , Praha 2002 ISBN 80-246-0526-0
V. KolmanLogika Gottloba Frega Filosofia 2002 ISBN 80-7007-164-8
V. ŠvejdarLogika: neuplnost, slozitost a nutnost Academia 2002 ISBN 80-200-1005-X

2000

P. JirkůFormalni logika 2000 ISBN 80-245-0054-X

1999

P. SavickyOn Random Orderings of Variables for Parity Ordered Binary Decision Diagrams 1999

Other (24)

2016

D. Chodounský, J. Verner Toposym Book of Abstracts 2016

2012

M. Peliš The Logica Yearbook 2011 2012

2011

T. Pazák, J. Verner Toposym 2011 Book of Abstracts 2011
M. Peliš Logic of Questions 2011
M. Peliš The Logica Yearbook 2010 2011
V. Švejdar Vyuka logiky bez logickych pojmu 2011

2010

K. Chvalovsky Independence of Axioms in Non-classical Logics and Automated Theorem Proving 2010 45-45
K. Chvalovsky Provability in Hilbert-Style Calculi for Non-Classical Logics and ATP 2010 11-11
M. Peliš Relevant Epistemic Logic 2010
M. Peliš The Logica Yearbook 2009 2010

2009

M. Peliš The Logica Yearbook 2008 2009

2007

M. Bílková Feasible Disjunction Property and Feasible Interpolation in Modal Logic 2007

2006

R. Honzík The Philosophical Significance of Gödel's Theorem 2006 331-347

2005

M. Benediktova Anticka a dnesni souhvezdi 2005 http://www.astro.pef.zcu.cz/hvezdy/main.php?tema=souhvezdi
M. Benediktova Anticke hvezdarstvi 2005 http://www.astro.pef.zcu.cz/hvezdy/main.php?tema=nazvoslovi
M. Benediktova Staroveke Plejady jako nebeske sedmero 2005 http://www.astro.pef.zcu.cz/hvezdy/main.php?tema=nazvoslovi

2002

P. Jirků Formal logic in the context of natural language and argumentation 2002 59-63
V. Kolman Lorenzen, Paul: Rules of the Rational Argumentation 2002 9-50
M. Jauris Meeting of a logician with Grice 2002 41-49
V. Bělič Quantification of the type 'každý...není...' 2002 81-88
M. Vlasáková Scholastic Inspiration 2002 63-69

2000

P. Jirků Lambda calculus 2000

1999

V. Švejdar A Note on Entailment Relation in Predicate Logic 1999 7-17
P. Jirků The Problem of Reduction and Explanation in Physics 1999 57-62

Posters & Talks (27)

2017

T. Lavicka, A. Prenosil Antistructural completeness in propositional logics 2017
T. Lavicka, A. Prenosil Antistructural Completeness in Propositional Logics 2017
A. Prenosil Contradictory information as a basis for rational belief 2017
A. Prenosil Extensions of the four-valued Belnap-Dunn logic 2017
T. Lavicka, C. Noguera Infinitary propositional logics and subdirect representation 2017
T. Lavicka Modal logics: Topological interpretation 2017
Š. Stejskalová On some axioms deciding the Continuum Hypothesis 2017
T. Lavicka, C. Noguera Subdirect Representation in Abstract Algebraic Logic 2017
Š. Stejskalová The tree property at aleph_{omega 2} with a finite gap 2017
Š. Stejskalová The tree property at aleph_{omega+2} with a finite gap 2017
Š. Stejskalová The tree property below aleph_omega 2017

2016

T. Lavicka A new hierarchy of infinitary propositional logics 2016
T. Lavicka Basis of Closure systems of Theories 2016
A. Prenosil Combining direct and inferential negation 2016
A. Prenosil Embedding l-bimonoids into involutive residuated lattices 2016
A. Prenosil Extracting truth from falsehood 2016
Š. Stejskalová Forcings with two types of side conditions 2016
Š. Stejskalová The tree property and the continuum function 2016
Š. Stejskalová Wodin(s) solution of CH 2016
Š. Stejskalová Woodin solution(s) of CH 2016

2015

T. Lavicka, C. Noguera Beyond Finitarity in Abstract Algebraic Logic III. Hierarchy and Separating Examples 2015
A. Prenosil Consistency, Completeness, and Classicality 2015
Š. Stejskalová Dense linear orders without ends point 2015
A. Prenosil The lattice of super-Belnap logics 2015

2014

A. Prenosil A duality for distributive unimodal logic 2014
A. Prenosil De Morgan logics with a notion of inconsistency 2014

2012

M. Soutor Vyvoj Russellovy teorie soudu po kolapsu mnohorelacni teorie 2012

Proceedings (42)

2017

J. Glivicka Shepherdson's Theorems for Fragments of Open Induction

2015

V. Švejdar On strong fragments of Peano arithmetic in The Logica Yearbook 2014
P. Svarny A visit on the Uncanny hill
P. Svarny Barbourian temporal logic
M. Dancak The Intuitionistic Robinson Arithmetic(s)

2014

A. Prenosil A Duality for Distributive Unimodal Logic
M. Peliš, P. Svarny Erotetic epistemic logic in private communication protocol

2012

P. Svarny Flow of Time in BST/BCont Models and Related Semantical Observations
S. Nevrkla Sceptical and Credulous Approach to Deductive Argumentation

2011

M. Peliš Logic of Questions and Public Announcements
K. Chvalovsky Notes on Condensed Detachment

2009

K. Chvalovsky Derivational complexity of {aa-->bc, bb-->ac, cc-->ab}
K. Chvalovsky Independence of Axioms in Non-Classical Logics and ATP
S. Nevrkla Knowledge Bases and Argumentation
S. Nevrkla, M. Peils Logicka argumentace mezi agenty
K. Chvalovsky Syntactic Approach to Fuzzy Modal Logic in MTL
M. Cihalova Turinguv test a jeho vysledky ve vztahu k pojmu mysleni
M. Cihalova Tvorba ontologii z pohledu logiky

2008

M. Bílková, A. Palmigiano, Y. Venema Proof systems for the coalgebraic cover modality in Advances in Modal Logic Vol. 7
V. Švejdar Weak Theories and Essential Undecidability in The Logica Yearbook 2007: Proc. of the Logica '07 International Conference
V. Kolman Is continuum denumerable?

2007

V. Švejdar Gödel-Dummett Predicate Logics and Axioms of Prenexability in The Logica Yearbook 2006: Proc. of the Logica '06 International Conference
J. Peregrin Between Sentences and Propositions: What Is the Role of Ideal Entities in Philosophy of Language?
V. Švejdar Godel-Dummett Predicate Logics and Axioms of Prenexability
J. Peregrin Logical Rules and the a priori: Good and Bad Questions
V. Kolman Logicism and the Recursion Theorem
J. Peregrin Proc je Quine prevratnym filosofem?

2006

K. Bendová Introduction
V. Švejdar On Modal Systems with Rosser Modalities in The Logica Yearbook 2005: Proc. of the Logica '05 International Conference
L. Běhounek, M. Bílková Preface
V. Kolman Filosofie matematiky po Godelovi
V. Kolman Godel's Theorems and the Synthetic-Analytic Distinction
J. Peregrin Intersubstitutivity
J. Peregrin Logica ludus
M. Peliš Program Tarski's World a vyuka jazyka predikatove logiky
J. Peregrin Semantics as Based on Inference
V. Bělič Testy z logiky a obecnych studijnich predpokladu

2005

V. Kolman Cislo a paradox
J. Peregrin Freguv obrak k jazyku
L. Běhounek Fuzzy Class Theory as Foundations for Fuzzy Mathematics
L. Běhounek Fuzzy MacNielle and Dedekind Completions of Crisp Dense Linear Orderings
L. Běhounek General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus