Algebraizable logics / / W.J. Blok and Don Pigozzi |
Autore | Blok W. J. <1947-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1989 |
Descrizione fisica | 1 online resource (89 p.) |
Disciplina | 511.3/24 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico | Algebraic logic |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4704-0816-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""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"" |
Record Nr. | UNINA-9910480677203321 |
Blok W. J. <1947->
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , 1989 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraizable logics / / W.J. Blok and Don Pigozzi |
Autore | Blok W. J. <1947-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1989 |
Descrizione fisica | 1 online resource (89 p.) |
Disciplina | 511.3/24 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico | Algebraic logic |
ISBN | 1-4704-0816-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""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"" |
Record Nr. | UNINA-9910788870803321 |
Blok W. J. <1947->
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , 1989 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraizable logics / / W.J. Blok and Don Pigozzi |
Autore | Blok W. J. <1947-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1989 |
Descrizione fisica | 1 online resource (89 p.) |
Disciplina | 511.3/24 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico | Algebraic logic |
ISBN | 1-4704-0816-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""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"" |
Record Nr. | UNINA-9910827797803321 |
Blok W. J. <1947->
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , 1989 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|