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
This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of P...Lasīt vairāk
This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of P...Lasīt vairāk
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitzs eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meani...Lasīt vairāk
This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the kno...Lasīt vairāk
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitzs eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meani...Lasīt vairāk
This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the...Lasīt vairāk
Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another f...Lasīt vairāk
Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another f...Lasīt vairāk
The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programmi...Lasīt vairāk
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations o...Lasīt vairāk
This is the first comprehensive introduction to Display Logic in the context of generalized Gentzen calculi. After reviewing several standard and non-standard sequent-style proof systems for modal logics, the author carefully motivates and develop...Lasīt vairāk
This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. This volume conta...Lasīt vairāk
David Makinson, Jacek Malinowski, Heinrich Wansing
Sērija : Trends in Logic
(Izdošanas datums: 27-Nov-2008, Hardback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781402090837)
Logical investigations in cognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. This title deals with focal issues of belief revision. It contains a collection of article...Lasīt vairāk
Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 19-Sep-2008, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540878025)
Constitutes the proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. This title includes papers that cover topics including belief revision, desc...Lasīt vairāk
The volume includes the proceedings from the conference FOL75 -- 75 Years of First-Order Logic held at Humboldt University, Berlin, September 18 - 21, 2003 on the occasion of the anniversary of the publication of Hilberts and Ackermanns Grundzuge d...Lasīt vairāk
