國立虎尾科技大學 |

New Directions in Paraconsistent Logic = 5th WCP, Kolkata, India, February 2014 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	New Directions in Paraconsistent Logic/ edited by Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta.
其他題名:	5th WCP, Kolkata, India, February 2014 /
其他作者:	Beziau, Jean-Yves.
面頁冊數:	XI, 552 p. 92 illus., 69 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical logic. -
電子資源:	https://doi.org/10.1007/978-81-322-2719-9
ISBN:	9788132227199

New Directions in Paraconsistent Logic = 5th WCP, Kolkata, India, February 2014 /
New Directions in Paraconsistent Logic5th WCP, Kolkata, India, February 2014 /[electronic resource] :edited by Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta. - 1st ed. 2015. - XI, 552 p. 92 illus., 69 illus. in color.online resource. - Springer Proceedings in Mathematics & Statistics,1522194-1009 ;. - Springer Proceedings in Mathematics & Statistics,125.

C. Baskent: Game Semantics and Paraconsistency -- D. Batens: Some adaptive contributions to Logics of Formal Inconsistency -- Jean-Yves Beziau and A. Franceschetto: Strong Three-Valued Paraconsistent Logics -- R. C. Ertola B. Rodriguez and C. Noguera I. lofent: Paraconsistent degree-preserving fuzzy logic -- B. Brown: Symmetrical Preservation Relations and Cognitive Commitments -- C. C. Caret Game Semantics and Paraconsistency -- N. da Costa and C. de Ronde: Quantum Physics and Paraconsistency -- V. Degauquier: A unified proof-theoretic approach of partial and paraconsistent three-valued logics -- S. Dutta: Consequence and Inconsistency: Paraconsistent Logics -- E. Ficara:Negation and the Metaphysical Foundations of Logic -- H. Field: Restricted Quantification in Paraconsistent and Other Nonclassical Logics -- D. Gangopadhyay: Unscrambling the ‘Copenhagen omelet’ in paraconsistent term -- P. Greenough: Going Glutty, Staying Classical -- C. Heunen: Combining logical viewpoints in quantum theory -- R. I. Ingalalli: Consistency in Indian Logic -- T. Jarmuzek: Tableau metatheory for paraconsistent logics defined by possible world's semantics -- P. Jetli: Aristotle’s Syllogistic Logic is a Paraconsistent Logic -- H. Kurokawa: Hypersequent Calculi for Dual-superintuitionstic Logics and an Extension of the Logic Cube -- O. Korkmaz: A paraconsistent solution to Kratzer’s modal semantics -- H. Omori: Naive set theories based on expansions of BD enriched by classical negation -- A. Moretti and R. Pélissier: Many-valuedness and paraconsistency in a 3-oppositional quadrisimplex of sheaves -- C. Mortensen: Wedge Sum as Inconsistent -- A. Pietruszczak and M. Nasieniewski: Modal logics connected to Jaskowski's logic D2 -- G. Priest: The Adventures of the Catuskoti -- G. Pulcini: Towards a unified setting for non-monotonicity and paraconsistency -- V. Puncochár:Internal and External logics of Nelson Models -- F. Putte: Adaptive Logics and Selection Function -- D. Skurt: Iterated preferential models as a strategy to make many-valued paraconsistent logics non-monotonic -- S. Tarafder and M. Chakraborty: The Logic LS3 and its Comparison with other Three-Valued Paraconsistent Logics -- E. Turunen: Two Paraconsistent Semantics for Pavelka's Fuzzy Logic -- M. Vacek: Paraconsistency and Impossible Worlds -- P. Verdée:Paraconsistent and classical negation in the context of relevant implication -- D. Zaitsev: Propositions, Paraconsistency, Paracompleteness.

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.

ISBN: 9788132227199

Standard No.: 10.1007/978-81-322-2719-9doiSubjects--Topical Terms:

810627
Mathematical logic.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

New Directions in Paraconsistent Logic = 5th WCP, Kolkata, India, February 2014 /
LDR:04843nam a22004215i 4500 001 966884
003 DE-He213
005 20200701130841.0
007 cr nn 008mamaa
008 201211s2015 ii | s |||| 0|eng d
020 $a 9788132227199 $9 978-81-322-2719-9
024 7 $a 10.1007/978-81-322-2719-9 $2 doi
035 $a 978-81-322-2719-9
050 4 $a QA8.9-10.3
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
245 1 0 $a New Directions in Paraconsistent Logic $h [electronic resource] : $b 5th WCP, Kolkata, India, February 2014 / $c edited by Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta.
250 $a 1st ed. 2015.
264 1 $a New Delhi : $b Springer India : $b Imprint: Springer, $c 2015.
300 $a XI, 552 p. 92 illus., 69 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Springer Proceedings in Mathematics & Statistics, $x 2194-1009 ; $v 152
505 0 $a C. Baskent: Game Semantics and Paraconsistency -- D. Batens: Some adaptive contributions to Logics of Formal Inconsistency -- Jean-Yves Beziau and A. Franceschetto: Strong Three-Valued Paraconsistent Logics -- R. C. Ertola B. Rodriguez and C. Noguera I. lofent: Paraconsistent degree-preserving fuzzy logic -- B. Brown: Symmetrical Preservation Relations and Cognitive Commitments -- C. C. Caret Game Semantics and Paraconsistency -- N. da Costa and C. de Ronde: Quantum Physics and Paraconsistency -- V. Degauquier: A unified proof-theoretic approach of partial and paraconsistent three-valued logics -- S. Dutta: Consequence and Inconsistency: Paraconsistent Logics -- E. Ficara:Negation and the Metaphysical Foundations of Logic -- H. Field: Restricted Quantification in Paraconsistent and Other Nonclassical Logics -- D. Gangopadhyay: Unscrambling the ‘Copenhagen omelet’ in paraconsistent term -- P. Greenough: Going Glutty, Staying Classical -- C. Heunen: Combining logical viewpoints in quantum theory -- R. I. Ingalalli: Consistency in Indian Logic -- T. Jarmuzek: Tableau metatheory for paraconsistent logics defined by possible world's semantics -- P. Jetli: Aristotle’s Syllogistic Logic is a Paraconsistent Logic -- H. Kurokawa: Hypersequent Calculi for Dual-superintuitionstic Logics and an Extension of the Logic Cube -- O. Korkmaz: A paraconsistent solution to Kratzer’s modal semantics -- H. Omori: Naive set theories based on expansions of BD enriched by classical negation -- A. Moretti and R. Pélissier: Many-valuedness and paraconsistency in a 3-oppositional quadrisimplex of sheaves -- C. Mortensen: Wedge Sum as Inconsistent -- A. Pietruszczak and M. Nasieniewski: Modal logics connected to Jaskowski's logic D2 -- G. Priest: The Adventures of the Catuskoti -- G. Pulcini: Towards a unified setting for non-monotonicity and paraconsistency -- V. Puncochár:Internal and External logics of Nelson Models -- F. Putte: Adaptive Logics and Selection Function -- D. Skurt: Iterated preferential models as a strategy to make many-valued paraconsistent logics non-monotonic -- S. Tarafder and M. Chakraborty: The Logic LS3 and its Comparison with other Three-Valued Paraconsistent Logics -- E. Turunen: Two Paraconsistent Semantics for Pavelka's Fuzzy Logic -- M. Vacek: Paraconsistency and Impossible Worlds -- P. Verdée:Paraconsistent and classical negation in the context of relevant implication -- D. Zaitsev: Propositions, Paraconsistency, Paracompleteness.
520 $a 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.
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Applied mathematics. $3 1069907
650 0 $a Engineering mathematics. $3 562757
650 0 $a Logic. $3 558909
650 0 $a Metaphysics. $3 555859
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Applications of Mathematics. $3 669175
700 1 $a Beziau, Jean-Yves. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 634886
700 1 $a Chakraborty, Mihir. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 683311
700 1 $a Dutta, Soma. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1070697
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9788132227175
776 0 8 $i Printed edition: $z 9788132227182
776 0 8 $i Printed edition: $z 9788132238232
830 0 $a Springer Proceedings in Mathematics & Statistics, $x 2194-1009 ; $v 125 $3 1253690
856 4 0 $u https://doi.org/10.1007/978-81-322-2719-9
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)