Advertisement

Boolean and Heyting Algebras

  • Barbara H. Partee
  • Alice Ter Meulen
  • Robert E. Wall
Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 30)

Abstract

In this chapter we discuss two well-known algebras as specially structured lattices and prove some of their properties as well as present some semantic interpretations of these structures.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1993

Authors and Affiliations

  • Barbara H. Partee
    • 1
  • Alice Ter Meulen
    • 2
  • Robert E. Wall
    • 3
  1. 1.Department of LinguisticsUniversity of MassachusettsAmherstUSA
  2. 2.Departments of Philosophy and LinguisticsIndiana UniversityBloomingtonUSA
  3. 3.Department of LinguisticsUniversity of TexasAustinUSA

Personalised recommendations