Cantitate/Preț
Produs
Total produse
Vezi coșul
New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014 de Jean-Yves Beziau

New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: Springer Proceedings in Mathematics & Statistics, cartea 152

Editat de Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta
en Limba Engleză Hardback – 9 feb 2016
The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 80544 lei  38-44 zile
  Springer India – 31 mar 2018 80544 lei  38-44 zile
Hardback (1) 82347 lei  38-44 zile
  Springer India – 9 feb 2016 82347 lei  38-44 zile

Din seria Springer Proceedings in Mathematics & Statistics

Preț: 82347 lei

Preț vechi: 108352 lei
-24% Nou

Puncte Express: 1235
Preț estimativ în valută:
15765€ • 16386$ • 13071£

Carte tipărită la comandă

Livrare economică 01-07 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9788132227175
ISBN-10: 8132227174
Pagini: 552
Ilustrații: XI, 552 p. 92 illus., 69 illus. in color.
Dimensiuni: 155 x 235 mm
Ediția:1st ed. 2015
Editura: Springer India
Colecția Springer
Seria Springer Proceedings in Mathematics & Statistics

Locul publicării:New Delhi, India

Public țintă

Research

Cuprins

C. Baskent: Game Semantics andParaconsistency.- D. Batens: Someadaptive contributions to Logics of Formal Inconsistency.- Jean-Yves Beziauand A. Franceschetto: StrongThree-Valued Paraconsistent Logics.- R. C. Ertola B. Rodriguez and C.Noguera I. lofent: Paraconsistentdegree-preserving fuzzy logic.- B. Brown: SymmetricalPreservation Relations and Cognitive Commitments.- C. C. Caret GameSemantics and Paraconsistency.- N. da Costa and C. de Ronde: Quantum Physics and Paraconsistency.- V.Degauquier: A unified proof-theoretic approach of partialand paraconsistent three-valued logics.- S. Dutta: Consequenceand Inconsistency: Paraconsistent Logics.-  E. Ficara:Negationand the Metaphysical Foundations of Logic.- H. Field: RestrictedQuantification in Paraconsistent and Other Nonclassical Logics.- D.Gangopadhyay: Unscrambling the ‘Copenhagen omelet’ inparaconsistent term.- P. Greenough: Going Glutty, Staying Classical.- C.Heunen: Combining logical viewpoints in quantum theory.- R.I. Ingalalli: Consistency in Indian Logic.- T. Jarmuzek: Tableaumetatheory for paraconsistent logics defined by possible world's semantics.- P.Jetli: Aristotle’s Syllogistic Logic is aParaconsistent Logic.- H. Kurokawa: Hypersequent Calculi forDual-superintuitionstic Logics and an Extension of the Logic Cube.- O.Korkmaz: A paraconsistent solution to Kratzer’s modalsemantics.- H. Omori: Naive set theories based onexpansions of BD enriched by classical negation.- A.Moretti and R. Pélissier: Many-valuedness and paraconsistencyin a 3-oppositional quadrisimplex of sheaves.- C.Mortensen: Wedge Sum as Inconsistent.- A.Pietruszczak and M. Nasieniewski: Modal logics connected to Jaskowski'slogic D2.- G. Priest: The Adventures of the Catuskoti.- G.Pulcini: Towards a unified setting for non-monotonicityand paraconsistency.- V. Puncochár:Internaland External logics of Nelson Models.- F. Putte: Adaptive Logics and SelectionFunction.- D. Skurt: Iterated preferential models as astrategy to make many-valued paraconsistent logics non-monotonic.- S.Tarafder and M. Chakraborty: The Logic LS3 and its Comparison withother Three-Valued Paraconsistent Logics.- E. Turunen: Two Paraconsistent Semantics forPavelka's Fuzzy Logic.- M. Vacek: Paraconsistency and ImpossibleWorlds.- P. Verdée:Paraconsistentand classical negation in the context of relevant implication.- D.Zaitsev: Propositions, Paraconsistency, Paracompleteness.

Notă biografică

JEAN-YVES BEZIAU, former PhD student of Newton da Costa, is professor atthe University of Brazil, Rio de Janeiro, and editor-in-chief of LogicaUniversalis (Springer’s journal). He has done research around the world—France,Brazil, Poland, Switzerland and California—and has launched two series ofinternational events: UNILOG, World Congress and School on Universal Logic;SQUARE, World Congress on the Square of Opposition. He is the logic parteditor of the Internet Encyclopedia of Philosophy, joint project with Enyclopyediaof Logic that he is editing.
MIHIR KUMAR CHAKRABORTY, PhD, a formerly professorof pure mathematics and logic at the University of Calcutta, is visitingprofessor at the School of Cognitive Sciences, Jadavpur University, anddirector of Sivatosh Mookerjee Centre of Sciences, Kolkata. He also hadresearch assignments in Poland, France, Canada, Australia, Italy, Germany andChina. Professor Chakraborty had been visiting professor at the Centre for SoftComputing Research, Indian Statistical Institute, Kolkata; Institute for LogicLanguage and Cognition, Sun Yat-Sen University, Guangzhou, China; Institut deRecherche en Informatique de Toulouse, University Paul Sabataire, Toulouse,France; University of Paris VIII, France; University of Wollongong, Australia;University of Regina, Canada; National Institute of Advanced Studies,Bangalore, India; and Visva-Bharati, Santiniketan, India. A recipient of theDeutscher Akademischer Austuasch Dienst fellowship, IISc fellowship, andfellowship of West Bengal Academy of Sciences, Professor Chakraborty is memberof the Council and Research Project Committee of Indian Council forPhilosophical Research, and guest professor at the South West University of Chongqing,China. He has about 150 research papers to his credit in several internationaljournals and edited volumes, co-authored one book A Geometry of Approximation (Springer),authored three books in vernacular Bengali on philosophy of mathematics, andco-edited several scientific publications. A member of the editorial board ofseveral international journals and a book series Logic in Asia: Studia Logic Library (Springer), ProfessorChakraborty’s areas of research are non-standard logics, rough set theory, fuzzyset theory, reasoning in uncertainty and vagueness, logic of diagrams,topology/functional analysis, and philosophy of mathematics. He also supervised16 PhD students. Professor Chakraborty is founder of Calcutta Logic Circle,Association for Logic in India, Indian Society for Fuzzy Mathematics andInformation Processing and member of the advisory board of International RoughSet Society and Indian Rough Set Society.
SOMA DUTTA did her master and doctoral research atthe Department of Pure Mathematics, University of Calcutta, India. Her doctoralresearch is about a theory of graded consequence, a field of study closelyrelated to fuzzy logic, initiated by her PhD supervisor Mihir KumarChakraborty. Her research interests also include paraconsistent logics andgeneralized quantifiers. She has been associated with The Institute ofMathematical Sciences, Chennai, India, as a postdoctoral fellow. Presently, shehas a fellowship of  European Research Consortium for Informatics andMathematics (ERCIM) to pursue postdoctoral research at the Faculty ofMathematics, Informatics and Mechanics, University of Warsaw, Poland.

Textul de pe ultima copertă

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics.

Caracteristici

Presents the latest findings by experts in the field of paraconsistent logic Examines all aspects of paraconsistent logic Describes various paraconsistent logic systems Emphasizes interdisciplinary aspects of mathematics, philosophy,computer science, artificial intelligence and linguistics Includes supplementary material: sn.pub/extras