Vol. 1: Introduction to Relation Algebras / Steven Givant

• Autore: Givant, Steven R.
• Pubblicazione: Cham, : Springer, 2017
• Titolo uniforme: Relation Algebras. 1, Introduction to Relation Algebras
• Descrizione fisica: xxxii, 572 p. : ill. ; 24 cm
• Soggetto topico: 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020]; 03B35 - Mechanization of proofs and logical operations [MSC 2020]; 03C05 - Equational classes, universal algebra in model theory [MSC 2020]; 03G15 - Cylindric and polyadic algebras; relation algebras [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
• Titolo autorizzato: Relation Algebras. 1, Introduction to Relation Algebras
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00123441
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-3-319-65235-1