Contents of Fundamenta Informaticae Volume 81


Number 1-3,  2007

Number 4,  2007


Contents of Volume 81, Number 1-3, 2007

Special Issue dedicated to  Andrzej Grzegorczyk

Click on title for abstract


Topics in Logic, the Foundations of Mathematics and Computer Science and Philosophy
In recognition of Professor Andrzej Grzegorczyk - Preface i-ii

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


Contents of Volume 81, Number 4, 2007

Click on title for abstract


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