Info
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 | ||
| ||
Mathematical Analysis and Applications in Modeling : ICMAAM 2018, Kolkata, India, January 9–12 / Priti Kumar Roy ... [et al.] editors
| Mathematical Analysis and Applications in Modeling : ICMAAM 2018, Kolkata, India, January 9–12 / Priti Kumar Roy ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2020 |
| Descrizione fisica | xiv, 523 p. : ill. ; 24 cm |
| Soggetto topico |
92B05 - General biology and biomathematics [MSC 2020]
37N25 - Dynamical systems in biology [MSC 2020] 03F20 - Complexity of proofs [MSC 2020] 34D20 - Stability of solutions to ordinary differential equation [MSC 2020] 03E75 - Applications of set theory [MSC 2020] 11K06 - General theory of distribution modulo $1$ [MSC 2020] 34A08 - Fractional ordinary differential equations and fractional differential inclusions [MSC 2020] 03G27 - Abstract algebraic logic [MSC 2020] 34D23 - Global stability of solutions to ordinary differential equations [MSC 2020] 35A24 - Methods of ordinary differential equations applied to PDEs [MSC 2020] |
| Soggetto non controllato |
Functional Analysis
Mathematical Ecology Mathematical biology Mathematical modelling Nonlinear dynamical systems Real analysis Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0250176 |
| Singapore, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Analysis and Applications in Modeling : ICMAAM 2018, Kolkata, India, January 9–12 / Priti Kumar Roy ... [et al.] editors
| Mathematical Analysis and Applications in Modeling : ICMAAM 2018, Kolkata, India, January 9–12 / Priti Kumar Roy ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2020 |
| Descrizione fisica | xiv, 523 p. : ill. ; 24 cm |
| Soggetto topico |
03E75 - Applications of set theory [MSC 2020]
03F20 - Complexity of proofs [MSC 2020] 03G27 - Abstract algebraic logic [MSC 2020] 11K06 - General theory of distribution modulo $1$ [MSC 2020] 34A08 - Fractional ordinary differential equations and fractional differential inclusions [MSC 2020] 34D20 - Stability of solutions to ordinary differential equation [MSC 2020] 34D23 - Global stability of solutions to ordinary differential equations [MSC 2020] 35A24 - Methods of ordinary differential equations applied to PDEs [MSC 2020] 37N25 - Dynamical systems in biology [MSC 2020] 92B05 - General biology and biomathematics [MSC 2020] |
| Soggetto non controllato |
Functional Analysis
Mathematical Ecology Mathematical biology Mathematical modelling Nonlinear dynamical systems Real analysis Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00250176 |
| Singapore, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski
| The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski |
| Autore | Czelakowski, Janusz |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | IX, 292 p. : ill. ; 24 cm |
| Soggetto topico |
08B10 - Congruence modularity, congruence distributivity [MSC 2020]
08-XX - General algebraic systems [MSC 2020] 03C05 - Equational classes, universal algebra in model theory [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] 03G27 - Abstract algebraic logic [MSC 2020] 06C05 - Modular lattices, Desarguesian lattices [MSC 2020] 08A35 - Automorphisms, endomorphisms of algebraic structures [MSC 2020] 08B05 - Equational logic, Mal'tsev conditions [MSC 2020] 08C15 - Quasivarieties [MSC 2020] |
| Soggetto non controllato |
Abstract algebraic logic
Commutator Commutator theory Equational logic Quasivarieties Universal algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113687 |
|
Czelakowski, Janusz
|
||
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski
| The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski |
| Autore | Czelakowski, Janusz |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | IX, 292 p. : ill. ; 24 cm |
| Soggetto topico |
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03G27 - Abstract algebraic logic [MSC 2020] 06C05 - Modular lattices, Desarguesian lattices [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] 08A35 - Automorphisms, endomorphisms of algebraic structures [MSC 2020] 08B05 - Equational logic, Mal'tsev conditions [MSC 2020] 08B10 - Congruence modularity, congruence distributivity [MSC 2020] 08C15 - Quasivarieties [MSC 2020] |
| Soggetto non controllato |
Abstract algebraic logic
Commutator Commutator theory Equational logic Quasivarieties Universal algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113687 |
|
Czelakowski, Janusz
|
||
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski
| The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski |
| Autore | Czelakowski, Janusz |
| Edizione | [[Cham] : Birkhäuser : Springer, 2015] |
| Pubbl/distr/stampa | IX, 292 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
08B10 - Congruence modularity, congruence distributivity [MSC 2020]
08-XX - General algebraic systems [MSC 2020] 03C05 - Equational classes, universal algebra in model theory [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] 03G27 - Abstract algebraic logic [MSC 2020] 06C05 - Modular lattices, Desarguesian lattices [MSC 2020] 08A35 - Automorphisms, endomorphisms of algebraic structures [MSC 2020] 08B05 - Equational logic, Mal'tsev conditions [MSC 2020] 08C15 - Quasivarieties [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0113687 |
|
Czelakowski, Janusz
|
||
| IX, 292 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
