- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
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.
Contents
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.
