Fundamenta Informaticae, Volume 81

Volume 81, Numbers 1-3, 2007

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

Volume 81, Number 4, 2007

• Benjamín René Callejas Bedregal:
  Pushdown Automata Free of Explicit Nondeterminism and an Infinite Hierarchy of Context-free Languages. 367-377
  Electronic Edition (link) BibTeX
• Denisa Diaconescu, George Georgescu:
  Tense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras. 379-408
  Electronic Edition (link) BibTeX
• María-Inés Fernández-Camacho, José-Ramón Sánchez-Couso:
  Binary Search Trees, Recurrent Properties andWave Equations. 409-439
  Electronic Edition (link) BibTeX
• Yo-Sub Han, Derick Wood:
  Outfix-Free Regular Languages and Prime Outfix-Free Decomposition. 441-457
  Electronic Edition (link) BibTeX
• Florin Manea, Calina Ploscaru:
  A Generalization of the Assignment Problem, and its Application to the Rank Aggregation Problem. 459-471
  Electronic Edition (link) BibTeX
• Jacek Marciniec:
  From Unification Compactness to Learnability. 473-484
  Electronic Edition (link) BibTeX
• René Schott, Jean-Claude Spehner:
  Erratum for "Shuffle of Words and Araucaria Trees". 485-490
  Electronic Edition (link) BibTeX