Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo

>> Google Books

所蔵情報QRコード

Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo / edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano

資料種別:

図書

出版情報:

New York : M. Dekker, c2002

形態:

xviii, 552 p. ; 26 cm

シリーズ名:

Lecture notes in pure and applied mathematics ; v. 228 <BA00256405>

著者名:

ISBN:

9780824708054 [0824708059]

書誌ID:

BA56808834

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

"The Brazil Paraconsistency Conference in honour of Newton da Costa ... 'II World Congress on Paraconsistency' (WCP'2000) was held in Juquehy-São Sebastião, São Paulo State, in Brazil, from May 12-19, 2000"--Pref
Includes bibliographical references

主題:

Affonso da Costa, Newton Carneiro

言語:

英語

目次情報:

Preface

Contributors

Paraconsistency and Systems of Paraconsistent Logic / Part I：

A Taxonomy of C-Systems / Walter A. Carnielli ; Joao Marcos1.：

Paraconsistent Classical Logic / Bryson Brown2.：

The Logic of Opposition / F. G. Asenjo3.：

Categorical Consequence for Paraconsistent Logic / Fred Johnson ; Peter W. Woodruff4.：

Ontological Causes of Inconsistency and a Change-Adaptive, Logical Solution / Guido Vanackere5.：

An Adaptive Logic for Pragmatic Truth / Joke Meheus6.：

A Multiple Worlds Semantics for a Paraconsistent Nonmonotonic Logic / Ana Teresa Martins ; Marcelino Pequeno ; Tarcisio Pequeno7.：

An Inductive Annotated Logic / Newton C. A. da Costa ; Decio Krause8.：

On NCG[subscript w]: A Paraconsistent Sequent Calculus / Jose Eduardo de A. Moura ; Itala M. Loffredo D'Ottaviano9.：

Paraconsistency as Related to Other Logics / Part II：

A, Still Adorable / Robert K. Meyer ; John K. Slaney10.：

Fuzzy Relevant Logic / Graham Priest11.：

On Some Remarkable Relations between Paraconsistent Logics, Modal Logics, and Ambiguity Logics / Diderik Batens12.：

The Dialogical Dynamics of Adaptive Paraconsistency / Shahid Rahman ; Jean Paul van Bendegem13.：

An Inconsistency-Adaptive Proof Procedure for Logic Programming / Timothy Vermeir14.：

Referential and Inferential Many-Valuedness / Grzegorz Malinowski15.：

When Is a Substructural Logic Paraconsistent? Structural Conditions for Paraconsistency in Ternary Frames / Marcelo Finger16.：

Beyond Truth(-Preservation) / R. E. Jennings ; D. Sarenac17.：

Paraconsistency in Chang's Logic with Positive and Negative Truth Values / Renato A. Lewin ; Marta S. Sagastume18.：

Fault-Tolerance and Rota-Metropolis Cubic Logic / Daniele Mundici19.：

The Annotated Logics OP[subscript BL] / Guillermo Ortiz Rico20.：

Definability and Interpolation in Extensions of Johansson's Minimal Logic / Larisa Maksimova21.：

Philosophical Aspects of Paraconsistency / Part III：

Toward a Mathematics of Impossible Pictures / Chris Mortensen22.：

Ambiguity Is Not Enough / B. H. Slater23.：

Are Paraconsistent Negations Negations? / Jean-Yves Beziau24.：

On the Role of Adjunction in Para(in) consistent Logic / Max Urchs25.：

Between Consistency and Paraconsistency: Perspectives from Evidence Logic / Don Faust26.：

Kinds of Inconsistency / Gregory R. Wheeler27.：

Paraconsistent Logic vs. Meinongian Logic / Jacek Pasniczek28.：

Can a Paraconsistent Theorist Be a Logical Monist? / Otavio Bueno29.：

Preface

Contributors

Paraconsistency and Systems of Paraconsistent Logic / Part I：

A Taxonomy of C-Systems / Walter A. Carnielli ; Joao Marcos1.：

Paraconsistent Classical Logic / Bryson Brown2.：

The Logic of Opposition / F. G. Asenjo3.：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Computability : computable functions, logic, and the foundations of mathematics Epstein, Richard L., 1947-, Carnielli, Walter A. (Walter Alexandre) Wadsworth & Brooks/Cole Advanced Books & Software	7 電子ブック Design, User Experience, and Usability: Design for Diversity, Well-Being, and Social Development : 10th International Conference, DUXU 2021, Held As Part of the … Soares, Marcelo M., Marcus, Aaron, Rosenzweig, Elizabeth SpringerLink Books - AutoHoldings, Springer International Publishing
2 図書 Real and complex singularities : the sixth workshop at São Carlos Mond, D, Saia, Marcelo José, International Workshop on Real and Complex Singularities Marcel Dekker	8 図書 Kinematics, dynamics, and structure of the Milky Way : proceedings of a workshop on "the Milky Way" held in Vancouver, Canada, May 17-19, 1982 Shuter, W. L. H. (William Leslie Hazlewood), 1936-, University of Maryland, College Park., University of British … D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston
3 電子ブック Design, User Experience, and Usability : 11th International Conference, DUXU 2022, Held As Part of the 24th HCI International Conference, HCII 2022, Virtual … Soares, Marcelo M., Marcus, Aaron, Rosenzweig, Elizabeth SpringerLink Books - AutoHoldings, Springer International Publishing AG	9 電子ブック Computational Neuroscience : Third Latin American Workshop, LAWCN 2021, São Luís, Brazil, December 8-10, 2021, Revised Selected Papers Ribeiro, Paulo Rogério de Almeida., Barone, Dante Augusto Couto, Cota, Vinícius Rosa, de Oliveira, Alexandre César Muniz SpringerLink Books - AutoHoldings, Springer International Publishing AG
4 電子ブック Design, User Experience, and Usability : 11th International Conference, DUXU 2022, Held As Part of the 24th HCI International Conference, HCII 2022, Virtual … Soares, Marcelo M., Marcus, Aaron, Rosenzweig, Elizabeth SpringerLink Books - AutoHoldings, Springer International Publishing AG	10 電子ブック Advances in Bioinformatics and Computational Biology : 14th Brazilian Symposium on Bioinformatics, BSB 2021, Virtual Event, November 22-26, 2021, Proceedings Stadler, Peter F., Brigido, Marcelo M., Hernandez-Rosales, Maribel, Walter, Maria Emilia M. T. SpringerLink Books - AutoHoldings, Springer International Publishing AG
5 電子ブック Design, User Experience, and Usability : 11th International Conference, DUXU 2022, Held As Part of the 24th HCI International Conference, HCII 2022, Virtual … Soares, Marcelo M., Marcus, Aaron, Rosenzweig, Elizabeth SpringerLink Books - AutoHoldings, Springer International Publishing AG	11 図書 Representations of algebras : proceedings of the conference held in Sấo Paulo Coelho, Flávio, 1960-, Merklen, Héctor A. M. Dekker
6 電子ブック Design, User Experience, and Usability: Design for Contemporary Technological Environments : 10th International Conference, DUXU 2021, Held As Part of the 23rd … Soares, Marcelo M., Marcus, Aaron, Rosenzweig, Elizabeth SpringerLink Books - AutoHoldings, Springer International Publishing	12 図書 The logical way of doing things Lambert, Karel, 1928- Yale University Press