Reports on Mathematical Logic, Volume 27

Volume 27, 1993

• Diego Marconi: An Algebraic Characterization of Thomason's System Delta. 3-18 BibTeX
• Teodor Stepien: A Note on Formalisations of First-order Theories. 19-28 BibTeX
• Robert Cowen:
  Combinatorial Analytic Tableaux. 29-39
  Electronic Edition (link) BibTeX
• Sven Ove Hansson:
  A Note on Anti-cyclic Properties of Complete Binary Relations. 41-44
  Electronic Edition (link) BibTeX
• Pawel Pazdyka: The First-order Coding of Models in Models with a Single Binary Relation. 45-54 BibTeX
• Adam Kolany:
  Hypergraphs and the Intuitionistic Propositional\break Calculus. 55-66
  Electronic Edition (link) BibTeX
• Tomasz Polacik:
  Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space. 67-79
  Electronic Edition (link) BibTeX
• Francesco Paoli:
  Semantics for First Degree Relatedness Logic. 81-94
  Electronic Edition (link) BibTeX