Info
A Course in BE-algebras / Sambasiva Rao Mukkamala
| A Course in BE-algebras / Sambasiva Rao Mukkamala |
| Autore | Mukkamala, Sambasiva R. |
| Pubbl/distr/stampa | Singapore, : Springer, 2018 |
| Descrizione fisica | xv, 448 p. : ill. ; 24 cm |
| Soggetto topico |
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
06F35 - BCK-algebras, BCI-algebras (aspects of ordered structures) [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] |
| Soggetto non controllato |
Associative filters
Endomorphisms Fuzzy subalgebras Homomorphisms Implicative fiters Prime filters Pseudo-complements Quasi-filters Stabilizers Transitive filters |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0125106 |
Mukkamala, Sambasiva R.
|
||
| Singapore, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in BE-algebras / Sambasiva Rao Mukkamala
| A Course in BE-algebras / Sambasiva Rao Mukkamala |
| Autore | Mukkamala, Sambasiva R. |
| Pubbl/distr/stampa | Singapore, : Springer, 2018 |
| Descrizione fisica | xv, 448 p. : ill. ; 24 cm |
| Soggetto topico |
03G25 - Other algebras related to logic [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 06F35 - BCK-algebras, BCI-algebras (aspects of ordered structures) [MSC 2020] |
| Soggetto non controllato |
Associative filters
Endomorphisms Fuzzy subalgebras Homomorphisms Implicative fiters Prime filters Pseudo-complements Quasi-filters Stabilizers Transitive filters |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00125106 |
|
Mukkamala, Sambasiva R.
|
||
| Singapore, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in BE-algebras / Sambasiva Rao Mukkamala
| A Course in BE-algebras / Sambasiva Rao Mukkamala |
| Autore | Mukkamala, Sambasiva R. |
| Edizione | [Singapore : Springer, 2018] |
| Pubbl/distr/stampa | xv, 448 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
06F35 - BCK-algebras, BCI-algebras (aspects of ordered structures) [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0125106 |
|
Mukkamala, Sambasiva R.
|
||
| xv, 448 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors
| Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors |
| Edizione | [Cham : Birkhäuser 2018] |
| Pubbl/distr/stampa | xvi, 733 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 06Axx - Ordered sets [MSC 2020] 08Cxx - Other classes of algebras [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 06Fxx - Ordered structures [MSC 2020] 18Bxx - Special categories [MSC 2020] 94Dxx - Miscellaneous topics in information and communication theory [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124549 |
| xvi, 733 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors
| Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser 2018 |
| Descrizione fisica | xvi, 733 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 06Axx - Ordered sets [MSC 2020] 08Cxx - Other classes of algebras [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 06Fxx - Ordered structures [MSC 2020] 18Bxx - Special categories [MSC 2020] 94Dxx - Miscellaneous topics in information and communication theory [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124549 |
| Cham, : Birkhäuser 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors
| Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser 2018 |
| Descrizione fisica | xvi, 733 p. : ill. ; 24 cm |
| Soggetto topico |
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020]
03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 03Exx - Set theory [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 06Axx - Ordered sets [MSC 2020] 06Fxx - Ordered structures [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 08Cxx - Other classes of algebras [MSC 2020] 18Bxx - Special categories [MSC 2020] 94Dxx - Miscellaneous topics in information and communication theory [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124549 |
| Cham, : Birkhäuser 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes
| First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Berlin, : Springer, 1977 |
| Descrizione fisica | ii, 318 p. ; 24 cm |
| Altri autori (Persone) | Reyes, Gonzalo E. |
| Soggetto topico |
03G25 - Other algebras related to logic [MSC 2020]
14F20 - Étale and other Grothendieck topologies and (co)homologies [MSC 2020] 03Cxx - Model theory [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] 18F10 - Grothendieck topologies and Grothendieck topoi [MSC 2020] 18A15 - Foundations, relations to logic and deductive systems [MSC 2020] 03F55 - Intuitionistic mathematics [MSC 2020] 03C75 - Other infinitary logic [MSC 2020] |
| Soggetto non controllato |
Category
Category Theory Mathematical logic Morphism Topos |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260367 |
|
Makkai, Michael
|
||
| Berlin, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes
| First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Berlin, : Springer, 1977 |
| Descrizione fisica | ii, 318 p. ; 24 cm |
| Altri autori (Persone) | Reyes, Gonzalo E. |
| Soggetto topico |
03C75 - Other infinitary logic [MSC 2020]
03Cxx - Model theory [MSC 2020] 03F55 - Intuitionistic mathematics [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] 14F20 - Étale and other Grothendieck topologies and (co)homologies [MSC 2020] 18A15 - Foundations, relations to logic and deductive systems [MSC 2020] 18F10 - Grothendieck topologies and Grothendieck topoi [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] |
| Soggetto non controllato |
Category
Category Theory Mathematical logic Morphism Topos |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00260367 |
|
Makkai, Michael
|
||
| Berlin, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logics of Variable Inclusion / Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
| Logics of Variable Inclusion / Stefano Bonzio, Francesco Paoli, Michele Pra Baldi |
| Autore | Bonzio, Stefano |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | x, 221 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Baldi, Michele Pra
Paoli, Francesco |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020] 03G27 - Abstract algebraic logic [MSC 2020] |
| Soggetto non controllato |
Abstract algebraic logic
Analyticity Bisemilattices Consequence Dualities for Regular Varieties Kleene Logics Logics of Left Variable Inclusion Logics of Right Variable Inclusion Logics of Variable Inclusion Many-valued Logics Meaninglessness Nonclassical Logics Paraconsistent Weak Kleene Logic Plonka Sums Płonka Sums and Regular Varieties Regular Varieties Significance Logics Universal algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0277771 |
|
Bonzio, Stefano
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logics of Variable Inclusion / Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
| Logics of Variable Inclusion / Stefano Bonzio, Francesco Paoli, Michele Pra Baldi |
| Autore | Bonzio, Stefano |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | x, 221 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Baldi, Michele Pra
Paoli, Francesco |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020] 03G27 - Abstract algebraic logic [MSC 2020] |
| Soggetto non controllato |
Abstract algebraic logic
Analyticity Bisemilattices Consequence Dualities for Regular Varieties Kleene Logics Logics of Left Variable Inclusion Logics of Right Variable Inclusion Logics of Variable Inclusion Many-valued Logics Meaninglessness Nonclassical Logics Paraconsistent Weak Kleene Logic Plonka Sums Płonka Sums and Regular Varieties Regular Varieties Significance Logics Universal algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00277771 |
|
Bonzio, Stefano
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03G25 - Other algebras related to logic [MSC 2020]
(20)
- 06D35 - MV-algebras [MSC 2020] (6)
- 06F35 - BCK-algebras, BCI-algebras (aspects of ordered structures) [MSC 2020] (6)
- 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] (4)
- 01A55 - History of mathematics in the 19th century [MSC 2020] (3)