1 | -- | 17 | Stanislaw Krajewski, Jan Wolenski. Andrzej Grzegorczyk: Logic and Philosophy |
19 | -- | 28 | André Arnold, Damian Niwinski. Continuous Separation of Game Languages |
29 | -- | 82 | Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov. Modal Logics for Region-based Theories of Space |
83 | -- | 96 | Patrick Cégielski, Denis Richard, Maxim Vsemirnov. On the Additive Theory of Prime Numbers |
97 | -- | 122 | Janusz Czelakowski. Induction Principles for Sets |
123 | -- | 137 | Siegfried Gottwald. Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas |
139 | -- | 154 | Rafal Gruszczynski, Andrzej Pietruszczak. Pieri s Structures |
155 | -- | 163 | Petr Hájek. Mathematical Fuzzy Logic and Natural Numbers |
165 | -- | 172 | Roman Kossak. On Some Uses of Nonstandard Models |
173 | -- | 181 | Stanislaw Krajewski. On Gödel s Theorem and Mechanism: Inconsistency or Unsoundness is Unavoidable in any Attempt to Out-Gö del the Mechanist |
183 | -- | 202 | Michal Krynicki, Marcin Mostowski, Konrad Zdanowski. Finite Arithmetics |
203 | -- | 210 | Larisa Maksimova. On Modal Grzegorczyk Logic |
211 | -- | 239 | Victor W. Marek, Jeffrey B. Remmel. Compactness Properties for Stable Semantics of Logic Programs |
241 | -- | 248 | Marcin Mostowski. Potential Infinity and the Church Thesis |
249 | -- | 256 | Roman Murawski. Did Leibniz and Newton Discover or Create the Calculus? |
257 | -- | 273 | Anna B. Romanowska, Jonathan D. H. Smith, Ewa Orlowska. Abstract Barycentric Algebras |
275 | -- | 295 | Ewa Orlowska, Ingrid Rewitzky. Discrete Dualities for Heyting Algebras with Operators |
297 | -- | 313 | Vladimir V. Rybakov. Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous |
315 | -- | 323 | Andrzej Salwicki. Andrzej Grzegorczyk s Contribution to Computer Science |
325 | -- | 345 | Marian Srebrny, Ste Pien. A Propositional Programming Environment for Linear Algebra |
347 | -- | 354 | Vítezslav Svejdar. An Interpretation of Robinson Arithmetic in its Grzegorczyk s Weaker Variant |
355 | -- | 365 | Jan Wolenski. Logic, Rationality and Psychologism |