Search by Bookstore
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
other
CiNii Research
Search ServicePaperYou can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Author Heading
- Publication, Distribution, etc.
- Publication Date
- c1997-
- Size
- 25 cm
- Place of Publication (Country Code)
- ne
- Target Audience
- 一般
- Note (General)
- Managing editor, Ryszard Wójcicki ; editors, Petr Hájek ... [et al.]Publisher varies: Springer
- Related Material
- The convergence of scientific knowledge : a view from the limitLogics and falsifications : a new perspective on constructivist semanticsProbabilistic logic in a coherent settingAdvances in proof-theoretic semanticsTopological and algebraic structures in fuzzy sets : a handbook of recent developments in the mathematics of fuzzy setsCut elimination in categoriesAdvanced Łukasiewicz calculus and MV-algebrasGentzen calculi for modal propositional logicDescriptor revision : belief change through direct choiceConstructive negations and paraconsistencyTriangular normsAdaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoningParadoxesMetamathematics of fuzzy logicSubstructural logics : a primerAlgebraic foundations of many-valued reasoningDual tableaux : foundations, methodology, case studiesLogical studies of paraconsistent reasoning in science and mathematicsFuzzy logic : Mathematical tools for approximate reasoningReasoning in quantum theory : sharp and unsharp quantum logicsLeśniewski's systems of logic and foundations of mathematicsWell-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theoryFoundations of the theory of parthood : a study of MereologyLogic in high definition : trends in logical semanticsNatural deduction, hybrid systems and modal logicsToward predicate approaches to modalityQuantum computation and logic : how quantum computers have inspired logical investigationsLogic, action, and cognition : essays in philosophical logicA guide to classical and modern model theoryAnaphora and type logical grammarMetamathematics of fuzzy logicDisplaying modal logicPhilosophy of syntax : foundational topicsSheaves, games, and model completions : a categorial approach to nonclassical propositional logicsA geometry of approximation : Rough set theory : logic, algebra and topology of conceptual patternsClassical and new paradigms of computation and their complexity hierarchies : papers of the conference "foundations of the formal sciences III"Advances in natural deduction : a celebration in Dag Prawitz's workThe is-ought problem : an investigation in philosophical logicTrends in logic : 50 years of Studia LogicaProtoalgebraic logicsHeyting algebras : duality theoryTypes, tableaus, and Gödel's godLogic, language, and reasoning : essays in honour of Dov GabbayMethods of cut-eliminationLogic for concurrency and synchronisationRecent trends in philosophical logicGoguen categories : a categorical approach to L-fuzzy relationsTruth and falsehood : an inquiry into generalized logical valuesStructural reliabilism : inductive logic as a theory of justificationFoundation of the formal science II : applications of mathematical logic in philosophy and linguistics, papers of a conference held in Bonn, November 10-13, 2000Towards mathematical philosophy : papers from the Studia Logica conference Trends in Logic IVLogic and Implication : an introduction to the general algebraic study of non-classical logicsAlgebraic perspectives on substructural logicsLogic in high definition : trends in logical semanticsWell-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theoryMethods of cut-eliminationInquisitive logic : consequence and inference in the realm of questionsLogics of variable inclusionThe logical writings of Karl PopperA model-theoretic approach to proof theoryHeyting algebras : duality theory