Number 1-3, 2007Number 1-3, 2007
Number 4, 2007
Andrzej Grzegorczyk: Logic and Philosophy
Stanisław Krajewski, Jan Woleński
Continuous Separation of Game Languages
André Arnold, Damian Niwiński
Modal Logics for Region-based Theories of Space
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
On the Additive Theory of Prime Numbers
Patrick Cégielski, Denis Richard, Maxim Vsemirnov
Induction Principles for Sets
Janusz Czelakowski
Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas
Siegfried Gottwald
Pieri's Structures
Rafał Gruszczyński, Andrzej Pietruszczak
Mathematical Fuzzy Logic and Natural Numbers
Petr Hájek
On Some Uses of Nonstandard Models
Roman Kossak
On Gödel's Theorem and Mechanism: Inconsistency or Unsoundness is Unavoidable
in any Attempt to `Out-Gödel' the Mechanist
Stanisław Krajewski
Finite Arithmetics
Michał Krynicki, Marcin Mostowski, Konrad Zdanowski
On Modal Grzegorczyk Logic
Larisa Maksimova
Compactness Properties for Stable Semantics of Logic Programs
Victor W. Marek, Jeffrey B. Remmel
Potential Infinity and the Church Thesis
Marcin Mostowski
Did Leibniz and Newton Discover or Create the
Calculus?
Roman Murawski
Abstract Barycentric Algebras
Anna B. Romanowska, Jonathan D.H. Smith, Ewa Orłowska
Discrete Dualities for Heyting Algebras with Operators
Ewa Orłowska, Ingrid Rewitzky
Decidability w.r.t. Logical Consecutions of Linear Temporal
Logic Extended by Since and Previous
Vladimir V. Rybakov
Andrzej Grzegorczyk's Contribution to Computer Science
Andrzej Salwicki
A Propositional Programming Environment for Linear Algebra
Marian Srebrny, Lidia Stępień
An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant
Vítezslav Svejdar
Logic, Rationality and Psychologism
Jan Woleński
Pushdown Automata Free of Explicit Nondeterminism
and an Infinite Hierarchy of Context-free Languages
Benjamín René Callejas Bedregal
Tense Operators on MV-Algebras and
Łukasiewicz-Moisil Algebras
Denisa Diaconescu, George Georgescu
Binary Search Trees, Recurrent Properties and Wave Equations
María-Inés Fernández-Camacho, José-Ramón
Sánchez-Couso
Outfix-Free Regular Languages and Prime Outfix-Free
Decomposition
Yo-Sub Han, Derick Wood
A Generalization of the Assignment Problem,
and its Application to the Rank Aggregation Problem
Florin Manea, Calina Ploscaru
From Unification Compactness to Learnability
Jacek Marciniec
Erratum for "Shuffle of Words and Araucaria Trees"
René Schott, Jean-Claude Spehner