Bell, John L.
Professor of Philosophy, University of Western Ontario
Print publication date: 2005 (this edition)
Published to Oxford Scholarship Online: September 2007
Print ISBN-13: 978-0-19-856852-0
doi:10.1093/acprof:oso/9780198568520.003.0001
Published to Oxford Scholarship Online: September 2007
Print ISBN-13: 978-0-19-856852-0
doi:10.1093/acprof:oso/9780198568520.003.0001
0
BOOLEAN AND HEYTING ALGEBRAS: THE ESSENTIALS
This chapter provides a brief account of the theory of Boolean and Heyting algebras, including the basic representation theorems and their connections with logic.
Keywords: lattice, Boolean algebra, Heyting algebra, representation theorem
Keywords: lattice, Boolean algebra, Heyting algebra, representation theorem
doi:10.1093/acprof:oso/9780198568520.003.0001
Citation Export