2: Advanced Topics in Relation Algebras / Steven Givant |
Autore | Givant, Steven R. |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | XIX, 605 p. : ill. ; 24 cm |
Soggetto topico |
03Cxx - Model theory [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
Soggetto non controllato |
Atom structures
Canonical extensions Completion extensions Relation algebras Representations Varieties of relation algebras |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0123808 |
Givant, Steven R.
![]() |
||
Cham, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
2: Advanced Topics in Relation Algebras / Steven Givant |
Autore | Givant, Steven R. |
Edizione | [Cham : Springer, 2017] |
Pubbl/distr/stampa | XIX, 605 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03Cxx - Model theory [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0123808 |
Givant, Steven R.
![]() |
||
XIX, 605 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors |
Pubbl/distr/stampa | [Basel], : Birkhäuser, : Springer, 2016 |
Descrizione fisica | XII, 425 p. : ill. ; 24 cm |
Soggetto topico |
03F50 - Metamathematics of constructive systems [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
Soggetto non controllato |
Constructive mathematics
Ordinal Analysis Proof Theory Proof search Type theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114364 |
[Basel], : Birkhäuser, : Springer, 2016 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors |
Edizione | [[Basel] : Birkhäuser : Springer, 2016] |
Pubbl/distr/stampa | XII, 425 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03F50 - Metamathematics of constructive systems [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0114364 |
XII, 425 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Vol . 1: Introduction to Relation Algebras / Steven Givant |
Autore | Givant, Steven R. |
Edizione | [Cham : Springer, 2017] |
Pubbl/distr/stampa | xxxii, 572 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0123441 |
Givant, Steven R.
![]() |
||
xxxii, 572 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Vol. 1: Introduction to Relation Algebras / Steven Givant |
Autore | Givant, Steven R. |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | xxxii, 572 p. : ill. ; 24 cm |
Soggetto topico |
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
Soggetto non controllato |
Alfred Tarski relation algebras
Arithmetic of relation algebras Constructing new relation algebras Elementary theory of binary relations Equational language of relation algebras Homomorphisms Relation algebras Relativizations of relation algebras Special elements in relation algebras Steven Givant relation algebras Subalgebras of relation algebras |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0123441 |
Givant, Steven R.
![]() |
||
Cham, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|