Logic and Its Applications
Springer Berlin (Verlag)
978-3-662-45823-5 (ISBN)
Homotopy Type Theory.- The Relevance of Relevance to Relevance Logic.- Logic-Automata Connections for Transformations.- Truths about Simpson's Paradox: Saving the Paradox from Falsity.- Some instances of graded consequence in the context of interval-valued Semantics.- Neighborhood Contingency Logic.- Hierarchies in inclusion logic with lax semantics.- A Modal Logic for Non-deterministic Information Systems.- Tableaux for non-normal public announcement logic.-A pragmatistic approach to propositional knowledge based on the successful behavior of belief.- Büchi Automata Optimisations Formalised in Isabelle/HOL.- N ya's logical model for Ascertaining Sound Arguments.- Negative Existentials and Non-denoting Terms.- Ordinals in an algebra-valued model of a paraconsistent set theory.- Extending Carnap's Continuum to Binary Relations. Representing Imperfect Information of Procedures with Hyper Models.
Erscheint lt. Verlag | 5.12.2014 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | X, 236 p. 24 illus. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 379 g |
Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
Mathematik / Informatik ► Mathematik | |
Schlagworte | graded consequence • Homotopy Type theory • inclusion logic • Inductive Logic • knowledge and belief • logic-automata connections • Modal Logic • nyaya and buddhist systems • paradoxes • Proof theory • reasoning with incomplete and imperfect informatio • reasoning with incomplete and imperfect information • relevance logic • set theory |
ISBN-10 | 3-662-45823-3 / 3662458233 |
ISBN-13 | 978-3-662-45823-5 / 9783662458235 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich