Reports on Mathematical Logic, Volume 40

Volume 40, 2006

• Kazimierz Swirydowicz:
  Upper Part of the Lattice of Extensions of the Positive Relevant Logic R+. 3-13
  Electronic Edition (link) BibTeX
• Rafal Urbaniak:
  On Ontological Functors of Lesniewski's Elementary Ontology. 15-43
  Electronic Edition (link) BibTeX
• Lloyd Humberstone:
  Extensions of Intuitionistic Logic without the Deduction Theorem: Some Simple Examples. 45-82
  Electronic Edition (link) BibTeX
• Claudia Sanza:
  n x m Lukasiewicz Algebras with Parameters. 83-106
  Electronic Edition (link) BibTeX
• Roland Hinnion:
  Intensional Positive Set Theory. 107-125
  Electronic Edition (link) BibTeX
• Juan Climent Vidal, Juan Soliveres Tur:
  On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories. 127-158
  Electronic Edition (link) BibTeX
• Marcin Kysiak:
  A Note on Transitive Sets without the Foundation Axiom. 159-163
  Electronic Edition (link) BibTeX
• Christian Delhommé, Marianne Morillon:
  Spanning Graphs and the Axiom of Choice. 165-180
  Electronic Edition (link) BibTeX
• Luís A. Sbardellini, Marcelo E. Coniglio:
  Some Results on Ordered Structures in Toposes. 181-198
  Electronic Edition (link) BibTeX
• Luiz F. Monteiro, Manuel Abad, Sonia Savini, Julio Sewald, Marta A. Zander:
  Subalgebras of a Finite Monadic Boolean Algebra. 199-206
  Electronic Edition (link) BibTeX
• Alexandre A. M. Rodrigues, Ricardo C. Miranda Filho, Edelcio G. de Souza:
  Invariance and Set-Theoretical Operations in First Order Structures. 207-213
  Electronic Edition (link) BibTeX