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.
Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics / Petr Cintula, Carles Noguera
| Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics / Petr Cintula, Carles Noguera |
| Autore | Cintula, Petr |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xxii, 465 p. : ill. ; 24 cm |
| Altri autori (Persone) | Noguera, Carles |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Abstract algebraic logic
Algebraic Logic Algebraic Semantics Completeness theorems First-Order Predicate Logics Generalized Disjunctions Implication and disjunction in logics Logical Connectives Logical Matrices Logics and their algebraic semantics Non-classical logics Predicate logic Propositional logic Semilinear Logics Substructural Logics Weakly Implicative Logics |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274887 |
Cintula, Petr
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics / Petr Cintula, Carles Noguera
| Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics / Petr Cintula, Carles Noguera |
| Autore | Cintula, Petr |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xxii, 465 p. : ill. ; 24 cm |
| Altri autori (Persone) | Noguera, Carles |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Abstract algebraic logic
Algebraic Logic Algebraic Semantics Completeness theorems First-Order Predicate Logics Generalized Disjunctions Implication and disjunction in logics Logical Connectives Logical Matrices Logics and their algebraic semantics Non-classical logic Predicate logic Propositional logic Semilinear Logics Substructural Logics Weakly Implicative Logics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00274887 |
|
Cintula, Petr
|
||
| Cham, : Springer, 2021 | ||
| 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 | ||
| ||
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 | ||
| ||
Universal Algebraic Logic : Dedicated to the Unity of Science / Hajnal Andréka ... [et al.]
| Universal Algebraic Logic : Dedicated to the Unity of Science / Hajnal Andréka ... [et al.] |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2022 |
| Descrizione fisica | xv, 327 p. : ill. ; 24 cm |
| Soggetto non controllato |
Abstract Model Theory
Abstract algebraic logic Amalgamation Category-Theoretic Properties of Classes of Algebras Cylindric Algebra Definability Theory Duality Theories Finite Variable Fragment of First Order Logic First Order Logic With Nonstandard Semantics First-order logic Interpolation Logic Relation Algebra Sentential Logics Substitution Properties Surjectivity of Epimorphisms Tarskian Algebraic Logic Universal algebra Weak Beth Definability Property institutions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0276764 |
| Cham, : Birkhäuser, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Universal Algebraic Logic : Dedicated to the Unity of Science / Hajnal Andréka ... [et al.]
| Universal Algebraic Logic : Dedicated to the Unity of Science / Hajnal Andréka ... [et al.] |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2022 |
| Descrizione fisica | xv, 327 p. : ill. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Abstract Model Theory
Abstract algebraic logic Amalgamation Category-Theoretic Properties of Classes of Algebras Cylindric Algebra Definability Theory Duality Theories Finite Variable Fragment of First Order Logic First Order Logic With Nonstandard Semantics First-order logic Interpolations Logic Relation Algebra Sentential Logics Substitution Properties Surjectivity of Epimorphisms Tarskian Algebraic Logic Universal algebra Weak Beth Definability Property institutions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00276764 |
| Cham, : Birkhäuser, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||