Amazon cover image
Image from Amazon.com

Algebraizable logics / [electronic resource] W.J. Blok and Don Pigozzi.

By: Contributor(s): Material type: TextTextSeries: Memoirs of the American Mathematical Society ; no. 396.Publication details: Providence, R.I., USA : American Mathematical Society, c1989.Description: 1 online resource (v, 78 p. : ill.)ISBN:
  • 9781470408169 (online)
Subject(s): Additional physical formats: Algebraizable logics /DDC classification:
  • 510 s 511.3/24 19
LOC classification:
  • QA3 .A57 no. 396 QA10
Online resources:
Contents:
Introduction 1. Deductive systems and matrix semantics 2. Equational consequence and algebraic semantics 3. The lattice of theories 4. Two intrinsic characterizations 5. Matrix semantics and algebraizability Appendix A. Elementary definitional equivalence Appendix B. An example Appendix C. Predicate logic
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified URL Status Date due Barcode
IMSc Library Link to resource Available EBK12849

"Volume 77, number 396 (third of 4 numbers)."

Bibliography: p. 73-76.

Includes index.

Introduction 1. Deductive systems and matrix semantics 2. Equational consequence and algebraic semantics 3. The lattice of theories 4. Two intrinsic characterizations 5. Matrix semantics and algebraizability Appendix A. Elementary definitional equivalence Appendix B. An example Appendix C. Predicate logic

Access is restricted to licensed institutions

Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012

Mode of access : World Wide Web

Description based on print version record.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India