Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Algebraizable logics / / W.J. Blok and Don Pigozzi
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraizable logics / / W.J. Blok and Don Pigozzi
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraizable logics / / W.J. Blok and Don Pigozzi
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boolean functions : theory, algorithms, and applications / / Yves Crama, Peter L. Hammer [[electronic resource]]
| Boolean functions : theory, algorithms, and applications / / Yves Crama, Peter L. Hammer [[electronic resource]] |
| Autore | Crama Yves <1958-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xxi, 687 pages) : digital, PDF file(s) |
| Disciplina | 511.3/24 |
| Collana | Encyclopedia of mathematics and its applications |
| Soggetto topico |
Algebraic functions
Algebra, Boolean |
| ISBN |
1-107-21829-2
1-283-12720-2 1-139-07459-8 9786613127204 1-139-08139-X 1-139-07684-1 1-139-06880-6 1-139-07912-3 0-511-85200-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamental concepts and applications -- Boolean equations -- Prime implicants and minimal DNFs / Peter L. Hammer and Alexander Kogan -- Duality theory / Yves Crama and Kazuhisa Makino -- Quadratic functions / Bruno Simeone -- Horn functions / Endre Boros -- Orthogonal forms and shellability -- Regular functions -- Threshold functions -- Red-once functions / Martin C. Golumbic and Vladimir Gurvich -- Characterizations of special classes by functional equations / Lisa Hellerstein -- Partially defined Boolean functions / Toshihide Ibaraki -- Pseudo-Boolean functions -- Graphs and hypergraphs -- Algorithmic complexity -- JBool : a software tool / Claude Benzaken and Nadia Brauner. |
| Record Nr. | UNINA-9910464730203321 |
|
Crama Yves <1958->
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boolean functions : theory, algorithms, and applications / / Yves Crama, Peter L. Hammer [[electronic resource]]
| Boolean functions : theory, algorithms, and applications / / Yves Crama, Peter L. Hammer [[electronic resource]] |
| Autore | Crama Yves <1958-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xxi, 687 pages) : digital, PDF file(s) |
| Disciplina | 511.3/24 |
| Collana | Encyclopedia of mathematics and its applications |
| Soggetto topico |
Algebraic functions
Algebra, Boolean |
| ISBN |
1-107-21829-2
1-283-12720-2 1-139-07459-8 9786613127204 1-139-08139-X 1-139-07684-1 1-139-06880-6 1-139-07912-3 0-511-85200-2 |
| Classificazione | MAT017000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamental concepts and applications -- Boolean equations -- Prime implicants and minimal DNFs / Peter L. Hammer and Alexander Kogan -- Duality theory / Yves Crama and Kazuhisa Makino -- Quadratic functions / Bruno Simeone -- Horn functions / Endre Boros -- Orthogonal forms and shellability -- Regular functions -- Threshold functions -- Red-once functions / Martin C. Golumbic and Vladimir Gurvich -- Characterizations of special classes by functional equations / Lisa Hellerstein -- Partially defined Boolean functions / Toshihide Ibaraki -- Pseudo-Boolean functions -- Graphs and hypergraphs -- Algorithmic complexity -- JBool : a software tool / Claude Benzaken and Nadia Brauner. |
| Record Nr. | UNINA-9910789484403321 |
|
Crama Yves <1958->
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boolean functions : theory, algorithms, and applications / / Yves Crama, Peter L. Hammer [[electronic resource]]
| Boolean functions : theory, algorithms, and applications / / Yves Crama, Peter L. Hammer [[electronic resource]] |
| Autore | Crama Yves <1958-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xxi, 687 pages) : digital, PDF file(s) |
| Disciplina | 511.3/24 |
| Collana | Encyclopedia of mathematics and its applications |
| Soggetto topico |
Algebraic functions
Algebra, Boolean |
| ISBN |
1-107-21829-2
1-283-12720-2 1-139-07459-8 9786613127204 1-139-08139-X 1-139-07684-1 1-139-06880-6 1-139-07912-3 0-511-85200-2 |
| Classificazione | MAT017000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamental concepts and applications -- Boolean equations -- Prime implicants and minimal DNFs / Peter L. Hammer and Alexander Kogan -- Duality theory / Yves Crama and Kazuhisa Makino -- Quadratic functions / Bruno Simeone -- Horn functions / Endre Boros -- Orthogonal forms and shellability -- Regular functions -- Threshold functions -- Red-once functions / Martin C. Golumbic and Vladimir Gurvich -- Characterizations of special classes by functional equations / Lisa Hellerstein -- Partially defined Boolean functions / Toshihide Ibaraki -- Pseudo-Boolean functions -- Graphs and hypergraphs -- Algorithmic complexity -- JBool : a software tool / Claude Benzaken and Nadia Brauner. |
| Record Nr. | UNINA-9910809172003321 |
|
Crama Yves <1958->
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boolean functions : topics in asynchronicity / / Serban E. Vlad
| Boolean functions : topics in asynchronicity / / Serban E. Vlad |
| Autore | Vlad Șerban E. <1959-> |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley, , 2019 |
| Descrizione fisica | 1 online resource (309 pages) |
| Disciplina | 511.3/24 |
| Soggetto topico | Algebra, Boolean |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-119-51751-6
1-119-51752-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Boolean functions -- Affine spaces defined by two points -- Morphisms -- Antimorphisms -- Invariant sets -- Invariant subsets -- Path connected set -- Attractors -- The technical condition of proper operation -- The strong technical condition of proper operation -- The generalized technical condition of proper operation -- The strong generalized technical condition of proper operation -- Time-reversal symmetry -- Time-reversal symmetry vs TCPO -- Time-reversal symmetry vs the generalized TCPO. |
| Record Nr. | UNINA-9910468020103321 |
|
Vlad Șerban E. <1959->
|
||
| Hoboken, NJ : , : Wiley, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boolean functions : topics in asynchronicity / / Serban E. Vlad
| Boolean functions : topics in asynchronicity / / Serban E. Vlad |
| Autore | Vlad Șerban E. <1959-> |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley, , 2019 |
| Descrizione fisica | 1 online resource (309 pages) |
| Disciplina | 511.3/24 |
| Soggetto topico | Algebra, Boolean |
| ISBN |
1-119-51751-6
1-119-51752-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Boolean functions -- Affine spaces defined by two points -- Morphisms -- Antimorphisms -- Invariant sets -- Invariant subsets -- Path connected set -- Attractors -- The technical condition of proper operation -- The strong technical condition of proper operation -- The generalized technical condition of proper operation -- The strong generalized technical condition of proper operation -- Time-reversal symmetry -- Time-reversal symmetry vs TCPO -- Time-reversal symmetry vs the generalized TCPO. |
| Record Nr. | UNINA-9910531315703321 |
|
Vlad Șerban E. <1959->
|
||
| Hoboken, NJ : , : Wiley, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boolean functions : topics in asynchronicity / / Serban E. Vlad
| Boolean functions : topics in asynchronicity / / Serban E. Vlad |
| Autore | Vlad Șerban E. <1959-> |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley, , 2019 |
| Descrizione fisica | 1 online resource (309 pages) |
| Disciplina | 511.3/24 |
| Soggetto topico | Algebra, Boolean |
| ISBN |
1-119-51751-6
1-119-51752-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Boolean functions -- Affine spaces defined by two points -- Morphisms -- Antimorphisms -- Invariant sets -- Invariant subsets -- Path connected set -- Attractors -- The technical condition of proper operation -- The strong technical condition of proper operation -- The generalized technical condition of proper operation -- The strong generalized technical condition of proper operation -- Time-reversal symmetry -- Time-reversal symmetry vs TCPO -- Time-reversal symmetry vs the generalized TCPO. |
| Record Nr. | UNINA-9910821250603321 |
|
Vlad Șerban E. <1959->
|
||
| Hoboken, NJ : , : Wiley, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boolean functions in cryptology and information security [[electronic resource] /] / edited by Bart Preneel and Oleg A. Logachev
| Boolean functions in cryptology and information security [[electronic resource] /] / edited by Bart Preneel and Oleg A. Logachev |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2008 |
| Descrizione fisica | 1 online resource (364 p.) |
| Disciplina | 511.3/24 |
| Altri autori (Persone) |
LogachevOleg A
PreneelBart <1963-> |
| Collana | NATO science for peace and security series. D, Information and communication security |
| Soggetto topico |
Algebra, Boolean
Computer security Cryptography |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6611786309
1-281-78630-6 9786611786304 1-4356-7812-5 600-00-0648-9 1-60750-344-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Preface; Contents; Invited Talks; Students' Talks; Some Open Problems; Subject Index; Author Index |
| Record Nr. | UNINA-9910453596603321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
