Algebraizable logics

Algebraizable logics

by Blok, W. J.

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Algebraizable logics / W.J. Blok and Don Pigozzi.

Edition Statements

  • Publication Date:©1989

Publication Statements

Notes

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

The Physical Object

  • Description:1 online resource (89 pages) : : illustrations

Edition Identifiers

  • ISBN:9781470408169, 1470408163
  • oclc:on1097126706
  • LC Classification:QA10
  • Dewey Decimal:511.3/24

Table of Contents

""Contents""; ""Introduction""; ""1 Deductive Systems and Matrix Semantics""; ""1.1 The Lattice of Theories""; ""1.2 Matrix Semantics""; ""1.3 Deductive Systems as Elementary Theories""; ""1.4 The Elementary Leibniz Equivalence Relation""; ""1.4.1 Protoalgebraic Logics""; ""2 Equational Consequence and Algebraic Semantics""; ""2.1 Algebraic Semantics""; ""2.2 Equivalent Algebraic Semantics""; ""2.2.1 Uniqueness""; ""2.2.2 Axiomatization""; ""3 The Lattice of Theories""; ""4 Two Intrinsic Characterizations""; ""4.1 The Leibniz Operator""; ""4.2 A Second Intrinsic Characterization""

""5 Matrix Semantics and Algebraizability""""5.1 Matrix Semantics and Algebraic Semantics""; ""5.2 Applications and Examples""; ""5.2.1 Modal Logics""; ""5.2.2 Entailment and Relevance Logics""; ""5.2.3 Pure Implicational Logics""; ""5.2.4 Two Logics with the Same Algebraization""; ""5.2.5 Intuitionistic Propositional Logic without Implication""; ""5.2.6 Equivalential Logic""; ""A: Elementary Definitional Equivalence""; ""B: An Example""; ""C: Predicate Logic""; ""Bibliography""; ""Index""; ""A""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""P""; ""Q""; ""R""

""S""""T"…

Read More ↓

Subjects

Algebraic logic Logique algébrique

Writers

Blok, W. J. Pigozzi, Don

More from this Series

  • Decompositions of operator algebras

    1971
    more →
    Decompositions of operator algebras

  • Decompositions of operator algebras

    (1971)
    more →
    Decompositions of operator algebras

  • Decompositions of operator algebras

    1967.
    more →
    Decompositions of operator algebras

  • Decompositions of operator algebras

    1951
    more →
    Decompositions of operator algebras

  • Decompositions of operator alge .

    1989.
    more →
    Decompositions of operator alge .

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Algebraizable logics -- (.pdf)

    PDF · 2.1 MB · updated
    Login →

  • Algebraizable Logics -- (.pdf)

    PDF · 8.2 MB · updated
    Login →

  • Algebraicable Logics -- (.djvu)

    DJVU · 1010.9 KB · updated
    Login →

  • Algebraizable logics -- (.djvu)

    DJVU · 924.8 KB · updated
    Login →
Log in to request a copy