Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
€149.79
Cuprins
Editorial Preface: Dov M. Gabbay.- Belief Revision: Odinaldo Rodrigues, Dov Gabbay and Alessandra Russo.- Refutation Systems in Propositional Logic: Tomasz Skura.- Quantifier Scope in Formal Linguistics: E. G. Ruys and Yoad Winter.- Non-deterministic Semantics for Logical Systems: Arnon Avron and Anna Zamansky.- Index.
Limba Engleză ● Format PDF ● Pagini 310 ● ISBN 9789400704794 ● Mărime fișier 2.9 MB ● Editor Dov M. Gabbay & Franz Guenthner ● Editura Springer Netherland ● Oraș Dordrecht ● Țară NL ● Publicat 2011 ● Ediție 2 ● Descărcabil 24 luni ● Valută EUR ● ID 2221846 ● Protecție împotriva copiilor DRM social
Mai multe cărți electronice de la același autor (i) / Editor
7.524 Ebooks din această categorie
