Mathematical Logic Quarterly

Table of Contents

Volume 37 Issue 9‐12 (1991)

fmi-fmi, 129-192



  • Author:
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19910370901 (p fmi-fmi)


Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology

  • Author: Mitio Takano
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19910370902 (p 129-138)

The Paraconsistent Logics P J

  • Author: Newton C. A. da Costa, V. S. Subrahmanian, Carlo Vago
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19910370903 (p 139-148)

Abstract Data Types and Type Theory: Theories as Types

  • Author: Ruy J. G. B. de Queiroz, Thomas S. E. Maibaum
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19910370904 (p 149-166)

Some Quotient Lattices of the Medvedev Lattice

  • Author: Andrea Sorbi
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19910370905 (p 167-182)

A Note on Shoenfield's Unramified Forcing

  • Author: Kyriakos Keremedis
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19910370906 (p 183-186)

Common Logic of 2‐Valued Semigroup Connectives

  • Author: Wolfgang Rautenberg
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19910370907 (p 187-192)

Related Topics

Related Publications

Related Content

Site Footer


This website is provided by John Wiley & Sons Limited, The Atrium, Southern Gate, Chichester, West Sussex PO19 8SQ (Company No: 00641132, VAT No: 376766987)

Published features on are checked for statistical accuracy by a panel from the European Network for Business and Industrial Statistics (ENBIS)   to whom Wiley and express their gratitude. This panel are: Ron Kenett, David Steinberg, Shirley Coleman, Irena Ograjenšek, Fabrizio Ruggeri, Rainer Göb, Philippe Castagliola, Xavier Tort-Martorell, Bart De Ketelaere, Antonio Pievatolo, Martina Vandebroek, Lance Mitchell, Gilbert Saporta, Helmut Waldl and Stelios Psarakis.