02846nam 2200553 450 991048067720332120170918221444.01-4704-0816-3(CKB)3360000000464580(EBL)3113851(SSID)ssj0000888765(PQKBManifestationID)11453140(PQKBTitleCode)TC0000888765(PQKBWorkID)10864701(PQKB)10692742(MiAaPQ)EBC3113851(PPN)195412796(EXLCZ)99336000000046458020140904h19891989 uy 0engur|n|---|||||txtccrAlgebraizable logics /W.J. Blok and Don PigozziProvidence, Rhode Island :American Mathematical Society,1989.©19891 online resource (89 p.)Memoirs of the American Mathematical Society,0065-9266 ;Volume 77, Number 396"Volume 77, number 396 (third of 4 numbers)."0-8218-2459-7 Includes bibliographical references and index.""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""; ""U""Memoirs of the American Mathematical Society ;Volume 77, Number 396.Algebraic logicElectronic books.Algebraic logic.511.3/24Blok W. J.1947-941168Pigozzi Don1935-MiAaPQMiAaPQMiAaPQBOOK9910480677203321Algebraizable logics2122848UNINA