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