LEADER 02843nam 2200553 450 001 9910788870803321 005 20170918221444.0 010 $a1-4704-0816-3 035 $a(CKB)3360000000464580 035 $a(EBL)3113851 035 $a(SSID)ssj0000888765 035 $a(PQKBManifestationID)11453140 035 $a(PQKBTitleCode)TC0000888765 035 $a(PQKBWorkID)10864701 035 $a(PQKB)10692742 035 $a(MiAaPQ)EBC3113851 035 $a(RPAM)3854927 035 $a(PPN)195412796 035 $a(EXLCZ)993360000000464580 100 $a20140904h19891989 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraizable logics /$fW.J. Blok and Don Pigozzi 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d1989. 210 4$dİ1989 215 $a1 online resource (89 p.) 225 1 $aMemoirs of the American Mathematical Society,$x0065-9266 ;$vVolume 77, Number 396 300 $a"Volume 77, number 396 (third of 4 numbers)." 311 $a0-8218-2459-7 320 $aIncludes bibliographical references and index. 327 $a""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"" 327 $a""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"" 327 $a""S""""T""; ""U"" 410 0$aMemoirs of the American Mathematical Society ;$vVolume 77, Number 396. 606 $aAlgebraic logic 615 0$aAlgebraic logic. 676 $a511.3/24 700 $aBlok$b W. J.$f1947-$01486167 702 $aPigozzi$b Don$f1935- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910788870803321 996 $aAlgebraizable logics$93705579 997 $aUNINA