close
1.

図書
図書
1. Computability : computable functions, logic, and the foundations of mathematics
Richard L. Epstein, Walter A. Carnielli
出版情報: Pacific Grove, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, c1989  xvii, 297 p. ; 25 cm
シリーズ名: The Wadsworth & Brooks/Cole mathematics series
所蔵情報: loading…
2.

図書
図書
2. 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
所蔵情報: loading…
目次情報: 続きを見る
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：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼