Annals of Pure and Applied Logic, Volume 127

Volume 127, Numbers 1-3, June 2004

• Philippe Balbiani, Dimiter Vakarelov:
  Dynamic extensions of arrow logic. 1-15
  
• Janusz Czelakowski, Don Pigozzi:
  Fregean logics. 17-76
  
• Ivo Düntsch, Ewa Orlowska:
  Boolean algebras arising from information systems. 77-98
  
• Silvio Ghilardi:
  Unification, finite duality and projectivity in varieties of Heyting algebras. 99-115
  
• Roger D. Maddux:
  Finite, integral, and finite-dimensional relation algebras: a brief history. 117-130
  
• George F. McNulty:
  Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green. 131-153
  
• Leo Esakia:
  Intuitionistic logic and modality via topology. 155-170
  
• Melvin Fitting:
  First-order intensional logic. 171-193
  
• Robert K. Meyer:
  Ternary relations and relevant semantics. 195-217
  
• Marcin Mostowski, Dominika Wojtyniak:
  Computational complexity of the semantics of some natural language constructions. 219-227
  
• Stan J. Surma:
  Between Galois connections and (some metamathematical) solutions of equations fgf=f and gfg=g. 229-242
  
• Urszula Wybraniec-Skardowska:
  Foundations for the formalization of metamathematics and axiomatizations of consequence theories. 243-266
  
• Arianna Betti:
  Lesniewski's early Liar, Tarski and natural language. 267-287
  
• Roman Duda:
  On the Warsaw interactions of logic and mathematics in the years 1919-1939. 289-301
  
• Stanislaw Krajewski:
  Gödel on Tarski. 303-323
  
• Roman Murawski:
  Philosophical reflection on mathematics in Poland in the interwar period. 325-337
  
• Jan Wolenski:
  Aletheia in Greek thought until Aristotle. 339-360