Publications


Articles (119)

2018

J. Verner Ramsey partitions of metric spaces
M. Bílková The Logic of Resources and Capabilities
J. Verner Towers in Filters, Cardinal Invariants and Luzin Type Families
M. Bílková MOSS' LOGIC FOR ORDERED COALGEBRAS
T. Lavicka, J. Verner Completely separably MAD families and the modal logic of $\beta\omega$
J. Verner Chains of P-points

2017

R. Honzík, Š. Stejskalová The tree property at the double successor of a singular cardinal with a larger gap
Š. Stejskalová Grigorieff forcing and the tree property
A. Prenosil An algebraic view of super-Belnap logics
A. Prenosil Cut elimination, identity elimination, and interpolation in super-Belnap logics
T. Lavicka, C. Noguera A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic
M. Peliš Erotetic epistemic logic
R. Honzík Preserving measurability with Cohen iterations

2016

R. Honzík, Š. Stejskalová A survey of special Aronszajn trees Acta Universitatis Carolinae. Philosophica et Historica, 1 X X 2016 73-91
P. Arazim Jaroslav Peregrin: Inferentialism: Why Rules Matter Palgrave Macmillan 2014, 272 pages
S. Friedman, R. Honzík On strong forms of reflection in set theory Mathematical Logic Quarterly, 62 1-2 1-2 2016 52-58
J. Verner G? AND CO-MEAGER SEMIFILTERS
M. Dancak, M. Peliš Normal Default Rules as Epistemic Actions
S. Friedman, R. Honzík Definability of satisfaction in outer models Journal of Symbolic Logic, 81 3 3 2016 1047-1068
V. Douchova Birkhoff's aesthetic measure
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
P. Arazim Model theory and foundations of logic
P. Svarny Dynamical Branching
M. Bílková, O. Majer, M. Peliš Epistemic Logics for Skeptical Agents Journal of Logic and Computation, 26 6 6 2016 1815-1841
P. Arazim Logical Expressivist's Logical Constants
A. Prenosil Reductio ad contradictionem: an algebraic perspective
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

2015

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
C. Antos, S. Friedman, R. Honzík, C. Ternullo Multiverse conceptions in set theory Synthese, 192 8 8 2015 2463-2488
P. Svarny Does branching explain flow of time or the other way around?

2014

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

2013

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

2012

R. Honzík Supercompactness and Failures of GCH Fundamenta Mathematicae, 219 Listopad Listopad 2012 15-36
R. Honzík A definable failure of the Singular Cardinal Hypothesis Israel Journal of Mathematics, 192 2 2 2012 719-762
K. Chvalovsky On the Independence of Axioms in BL and MTL
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

2011

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

2010

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

2009

M. Matousek Orthocomplemented lattices with a symmetric difference
M. Bílková, J. Joosten Interpretability in PRA Annals of Pure and Applied Logic, 161 2 2 2009 128-138
M. Matousek Symmetric difference on orthomodular lattices and $Z_2$-valued states
V. Švejdar On Interpretability in the Theory of Concatenation Notre Dame Journal of Formal Logic, 50 1 2009
M. Matousek Orthocomplemented Posets with a Symmetric Difference

2008

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

2007

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

2006

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

2005

V. Kolman Freges Pragmatismus im Streit um den Begriff der Wahrheit
V. Kolman Lasst sich der Logizismus retten?
M. Peliš Questions and Logical Analysis of Natural Language: the Case of Transparent Intensional Logic
J. Peregrin Mozne svety v logice
J. Peregrin Davat slovum vyznam
J. Peregrin The nature of meaning: Brandom versus Chomsky
M. Benediktova Rekove a Arabove pod hvezdnou oblohou
V. Kolman Logicismus a paradox II
V. Kolman Logicismus a paradox I
V. Kolman K Fregove udajnemu logicismu

2004

V. Švejdar On Godel First Incompleteness Theorem Obzornik za matematiko in fiziko, 51 4 2004 113-121
V. Švejdar Godlov prvi izrek o nepolnosti
M. Duzi A Procedural Theory of Concepts and the Problem of Synthetic a priori
M. Duzi Intensional Logic and the Irreducible Contrast between de dicto and de re
M. Matousek Boolean carried homomorphisms in orthomodular lattices
V. Kolman Logicismus a moderni logika
V. Kolman K soucasne analyze modalit

2003

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

2002

V. Kolman Kreiser, Lothar: Gottlob Frege, Leben-Werk-Zeit
V. Kolman K Fregove udajnemu holismu

2001

M. Vetrovcova Matematika kolem zatmeni
K. Bendová On ordering and multiplication of natural numbers

2000

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

1999

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

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

M. Peliš Logic of Questions from the Viewpoint of Dynamic Epistemic Logic 157-172 2010 ISBN 978-1-84890-009-7
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
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

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
R. Honzík A Quick Guide to Independence results in Set Theory in None 2008 ISBN 978-80-7308-261-1
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

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

2003

P. Jirků Znalosti, epistemologie a epistemicka logika 123-132 2003 ISBN 80-248-0229-5
V. Švejdar On Structural Proofs of Goedel First Incompleteness Theorem 115-122 in Miscellanea Logica, Tom V 2003 ISBN 80-246-0799-9
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
M. Duzi Do we have to deal with partiality? 45-76 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
L. Běhounek Axiomatic Fuzzy Set Theories 31-43 2003 ISBN 80-246-0799-9
P. Jirků, M. Matousek Three-Element Implicative Matrices 85-102 2003 ISBN 80-246-0799-9
M. Peliš Some Properties of Kripke Semantics for Intuitionistic Logic 103-113 2003 ISBN 80-246-0799-9
T. Holecek On Language Levels of a Theory 77-84 2003 ISBN 80-246-0799-9

2002

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

2001

K. Bendová Connections Among Some Non-Classical Logics - interni materialy 4-4 2001
P. Jirků, M. Spalek On Interrelations Among Extensional Three-Valued Logics 108-108 2001
P. Jirků How to Understand Negatives 111-121 2001 ISBN 80-7017-149-4
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ů Problem redukce a explanace ve fyzice 57-62 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

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

V. ŠvejdarKurt Godel: Uplnost a neuplnost OPS a Zapadoceska univerzita v Plzni 2015 ISBN 978-80-87269-39-8
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

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áNormal forms, Distributive laws, and Uniform interpolants UK FF , Praha 2008 ISBN 978-80-7308-261-1
M. BílkováConsequence, Inference, Structure: Miscellanea Logica VII 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á, O. TomalaThe Logica Yearbook 2005 Filosofia, nakladatelství Filosofického ústavu AV ČR , Praha 2006 ISBN 80-7007-229-6
M. BílkováInterpolation in Modal Logics UK Praha , Praha 2006
V. KolmanMiscellane Logica VII. Od pravdy k dukazu UK FF 2006 ISBN 80-7308-145-8
J. PeregrinExtensional vs. Intensiona Logic Elsevier 2006 ISBN 978-0-444-51541-4

2005

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
J. PeregrinIs Compositionality an Empirical Matter? Ontos 2005 ISBN 3-937202-52-8

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 IV Karolinum , Praha 2002 ISBN 80-246-0526-0
V. ŠvejdarLogika: neuplnost, slozitost a nutnost Academia 2002 ISBN 80-200-1005-X
K. Bendová, V. ŠvejdarMiscellanea Logica, Tom III Karolinum , Praha 2002 ISBN 80-246-0505-8
V. KolmanLogika Gottloba Frega Filosofia 2002 ISBN 80-7007-164-8

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
V. Švejdar Vyuka logiky bez logickych pojmu 2011
M. Peliš The Logica Yearbook 2010 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 Staroveke Plejady jako nebeske sedmero 2005 http://www.astro.pef.zcu.cz/hvezdy/main.php?tema=nazvoslovi
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

2002

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

2000

P. Jirků Lambda calculus 2000

1999

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

Posters & Talks (29)

2017

T. Lavicka Modal logics: Topological interpretation 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
R. Honzík, Š. Stejskalová The tree property 2017
A. Prenosil Extensions of the four-valued Belnap-Dunn logic 2017
A. Prenosil Contradictory information as a basis for rational belief 2017
T. Lavicka, A. Prenosil Antistructural Completeness in Propositional Logics 2017
T. Lavicka, C. Noguera Subdirect Representation in Abstract Algebraic Logic 2017
T. Lavicka, C. Noguera Infinitary propositional logics and subdirect representation 2017
T. Lavicka, A. Prenosil Antistructural completeness in propositional logics 2017
Š. Stejskalová On some axioms deciding the Continuum Hypothesis 2017
Š. Stejskalová The tree property below aleph_omega 2017

2016

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

2015

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

2014

A. Prenosil De Morgan logics with a notion of inconsistency 2014
A. Prenosil A duality for distributive unimodal logic 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

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

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

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

2009

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

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

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

2006

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

2005

V. Kolman Cislo a paradox
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
J. Peregrin Freguv obrak k jazyku
L. Běhounek Fuzzy Class Theory as Foundations for Fuzzy Mathematics