Trends in logic : studia logica library

• 資料種別: 図書
• タイトル: Trends in logic : studia logica library
• 著者標目: Wójcicki, Ryszard; https://ci.nii.ac.jp/author/DA02719340; Hájek, Petr; https://ci.nii.ac.jp/author/DA01209677
• 出版事項: Kluwer Academic Publishers
• 出版年月日等: c1997-
• 大きさ: 25 cm
• 出版地（国名コード）: ne
• 対象利用者: 一般
• 一般注記: Managing editor, Ryszard Wójcicki ; editors, Petr Hájek ... [et al.]; Publisher varies: Springer
• 関連情報: The convergence of scientific knowledge : a view from the limit; https://cir.nii.ac.jp/crid/1130000794053447552; Logics and falsifications : a new perspective on constructivist semantics; https://cir.nii.ac.jp/crid/1130000794091567872; Probabilistic logic in a coherent setting; https://cir.nii.ac.jp/crid/1130000794325821824; Advances in proof-theoretic semantics; https://cir.nii.ac.jp/crid/1130000794386552448; Topological and algebraic structures in fuzzy sets : a handbook of recent developments in the mathematics of fuzzy sets; https://cir.nii.ac.jp/crid/1130000794820990464; Cut elimination in categories; https://cir.nii.ac.jp/crid/1130000794936583296; Advanced Łukasiewicz calculus and MV-algebras; https://cir.nii.ac.jp/crid/1130000796054441984; Gentzen calculi for modal propositional logic; https://cir.nii.ac.jp/crid/1130000796073865984; Descriptor revision : belief change through direct choice; https://cir.nii.ac.jp/crid/1130000796244676992; Constructive negations and paraconsistency; https://cir.nii.ac.jp/crid/1130000796541666944; Triangular norms; https://cir.nii.ac.jp/crid/1130000796865586048; Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning; https://cir.nii.ac.jp/crid/1130000796956431360; Paradoxes; https://cir.nii.ac.jp/crid/1130000797219382144; Metamathematics of fuzzy logic; https://cir.nii.ac.jp/crid/1130000797353544448; Substructural logics : a primer; https://cir.nii.ac.jp/crid/1130000797389725056; Algebraic foundations of many-valued reasoning; https://cir.nii.ac.jp/crid/1130000797510596224; Dual tableaux : foundations, methodology, case studies; https://cir.nii.ac.jp/crid/1130000797617681152; Logical studies of paraconsistent reasoning in science and mathematics; https://cir.nii.ac.jp/crid/1130000797786828928; Fuzzy logic : Mathematical tools for approximate reasoning; https://cir.nii.ac.jp/crid/1130000798008704384; Reasoning in quantum theory : sharp and unsharp quantum logics; https://cir.nii.ac.jp/crid/1130000798036578688; Leśniewski's systems of logic and foundations of mathematics; https://cir.nii.ac.jp/crid/1130000798291720704; Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory; https://cir.nii.ac.jp/crid/1130003901145945344; Foundations of the theory of parthood : a study of Mereology; https://cir.nii.ac.jp/crid/1130006650862701574; Logic in high definition : trends in logical semantics; https://cir.nii.ac.jp/crid/1130015321609246377; Natural deduction, hybrid systems and modal logics; https://cir.nii.ac.jp/crid/1130282268939035136; Toward predicate approaches to modality; https://cir.nii.ac.jp/crid/1130282268998110080; Quantum computation and logic : how quantum computers have inspired logical investigations; https://cir.nii.ac.jp/crid/1130282269226451840; Logic, action, and cognition : essays in philosophical logic; https://cir.nii.ac.jp/crid/1130282269759393536; A guide to classical and modern model theory; https://cir.nii.ac.jp/crid/1130282269774918528; Anaphora and type logical grammar; https://cir.nii.ac.jp/crid/1130282269980199168; https://cir.nii.ac.jp/crid/1130282270089749120; Displaying modal logic; https://cir.nii.ac.jp/crid/1130282270092973824; Philosophy of syntax : foundational topics; https://cir.nii.ac.jp/crid/1130282270175116160; Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics; https://cir.nii.ac.jp/crid/1130282270306230528; A geometry of approximation : Rough set theory : logic, algebra and topology of conceptual patterns; https://cir.nii.ac.jp/crid/1130282270570926848; Classical and new paradigms of computation and their complexity hierarchies : papers of the conference "foundations of the formal sciences III"; https://cir.nii.ac.jp/crid/1130282270902889472; Advances in natural deduction : a celebration in Dag Prawitz's work; https://cir.nii.ac.jp/crid/1130282271052342528; The is-ought problem : an investigation in philosophical logic; https://cir.nii.ac.jp/crid/1130282271321124992; Trends in logic : 50 years of Studia Logica; https://cir.nii.ac.jp/crid/1130282271336017920; Protoalgebraic logics; https://cir.nii.ac.jp/crid/1130282271582574464; Heyting algebras : duality theory; https://cir.nii.ac.jp/crid/1130282271918417152; Types, tableaus, and Gödel's god; https://cir.nii.ac.jp/crid/1130282272101324416; Logic, language, and reasoning : essays in honour of Dov Gabbay; https://cir.nii.ac.jp/crid/1130282272119958272; Methods of cut-elimination; https://cir.nii.ac.jp/crid/1130282272414890496; Logic for concurrency and synchronisation; https://cir.nii.ac.jp/crid/1130282272666378880; Recent trends in philosophical logic; https://cir.nii.ac.jp/crid/1130282272676523648; Goguen categories : a categorical approach to L-fuzzy relations; https://cir.nii.ac.jp/crid/1130282272957272576; Truth and falsehood : an inquiry into generalized logical values; https://cir.nii.ac.jp/crid/1130282273010383744; Structural reliabilism : inductive logic as a theory of justification; https://cir.nii.ac.jp/crid/1130282273044121088; Foundation of the formal science II : applications of mathematical logic in philosophy and linguistics, papers of a conference held in Bonn, November 10-13, 2000; https://cir.nii.ac.jp/crid/1130282273215612928; Towards mathematical philosophy : papers from the Studia Logica conference Trends in Logic IV; https://cir.nii.ac.jp/crid/1130282273230518784; Logic and Implication : an introduction to the general algebraic study of non-classical logics; https://cir.nii.ac.jp/crid/1130291776028089255; Algebraic perspectives on substructural logics; https://cir.nii.ac.jp/crid/1130567907761690112; https://cir.nii.ac.jp/crid/1130568459339433499; https://cir.nii.ac.jp/crid/1130570994474330270; https://cir.nii.ac.jp/crid/1130575950157917600; Inquisitive logic : consequence and inference in the realm of questions; https://cir.nii.ac.jp/crid/1130577266289053996; Logics of variable inclusion; https://cir.nii.ac.jp/crid/1130856031021403393; The logical writings of Karl Popper; https://cir.nii.ac.jp/crid/1130856728456124438; A model-theoretic approach to proof theory; https://cir.nii.ac.jp/crid/1131412332306464128; https://cir.nii.ac.jp/crid/1131412884029511429
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA32227531#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA32227531 : BA32227531

目次

The convergence of scientific knowledge : a view from the limit

Logics and falsifications : a new perspective on constructivist semantics

Probabilistic logic in a coherent setting

Advances in proof-theoretic semantics

Topological and algebraic structures in fuzzy sets : a handbook of recent developments in the mathematics of fuzzy sets