This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a...Lasīt vairāk
This book provides deep insights into current research in the rapidly developing field of connexive logic and includes contributions from leading scholars in the field. Unlike the most well known systems of non-classical logic, systems of connexiv...Lasīt vairāk
Master the art of machine learning and data science by diving into the essence of mathematical logic with this comprehensive textbook. This book focuses on the widely applicable information criterion (WAIC), also described as the Watanabe-Akaike info...Lasīt vairāk
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a...Lasīt vairāk
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a...Lasīt vairāk
Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient times; they were studied by traditional informalmethods until the 20th century. In the last...Lasīt vairāk
(Izdošanas datums: 01-Jul-2008, Hardback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575865737)
Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a uniform framework of relational...Lasīt vairāk
(Izdošanas datums: 01-Jul-2008, Paperback / softback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575865744)
Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a uniform framework of relational...Lasīt vairāk
(Izdošanas datums: 10-Apr-2008, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521854337)
Clearly introduces the major topics in logic and their relation to current philosophical issues. This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, man...Lasīt vairāk
Clearly introduces the major topics in logic and their relation to current philosophical issues. This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, man...Lasīt vairāk
Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, Hung T. Nguyen
Sērija : Advances in Intelligent and Soft Computing
(Izdošanas datums: 19-Feb-2008, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540776635)
This book contains the proceedings of the first International Workshop on Interval/Probabilistic Uncertainty and Non Classical Logics, Ishikawa, Japan, March 25-28, 2008. The workshop brought together researchers working on interval and probabilis...Lasīt vairāk
S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 26-Oct-2007, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540759386)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the...Lasīt vairāk
(Izdošanas datums: 22-Feb-2001, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521790987)
This book is an introduction to nonclassical propositional logics. It brings together for the first time in a textbook a range of topics in logic, many of them of relatively recent origin, including modal, conditional, intuitionist, many-valued, para...Lasīt vairāk
This book is an introduction to nonclassical propositional logics. It brings together for the first time in a textbook a range of topics in logic, many of them of relatively recent origin, including modal, conditional, intuitionist, many-valued, para...Lasīt vairāk
