Conditionals and modularity in general logics / Dov M. Gabbay, Karl Schlechta.

Author/creator Gabbay, Dov M., 1945-
Other author Schlechta, Karl.
Format Electronic
Publication InfoBerlin ; New York : Springer, ©2011.
Descriptionix, 233 pages : illustrations ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2011 English International
Subjects

SeriesCognitive technologies, 1611-2482
Cognitive technologies 1611-2482 ^A712090
Contents Basic definitions -- Towards a uniform picture of conditionals -- Monotone and antitone semantic and syntactic interpolation -- Laws about size and interpolation in nonmonotonic logics -- Neighbourhood semantics -- Conclusion and outlook.
Abstract "This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation"--Publisher.
Bibliography noteIncludes bibliographical references (pages 223-225) and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2011934866
ISBN9783642190674
ISBN3642190677

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available