Search results 9,851
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingThreshold logic Logique de seuil
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc.... Philosophical Logic, held in Beiji......opics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosop......foundations of logic. They also ref......nary nature of logic - a subject th......evelopments in logic both in Asia and beyond.
- Contents...translation in logics for knowabili......ynamic quantum logic Sequent calcul......al fact change logic The modal logics of the poison game A logical characteriza......ity of a modal logic with predicate......Unary temporal logics, points and intervals The Ze...
- Subject HeadingLogic--Congresses. Logic.
Paper図書
National Diet Library
- Subject HeadingEntailment (Logic) Computer logic.
Paper図書
National Diet Library
- Summary, etc.Formal logic provides us wi......ents of formal logic. He introduces...... and predicate logic, and develops ......xt for a first logic course and wil...... philosophical logic
- Subject HeadingLogic
Paper図書
National Diet Library
- Summary, etc....order or omega logic, presenting so......n mathematical logic, the book also includes numer...
- Contents... for classical logic Cut-elimination in depth Epsi...
- Subject HeadingProof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. P...
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject Heading...)--Congresses. Logic programming--C......puter science) Logic programming.
- Author Heading...Functional and Logic Programming (16th : 2022 : Ky...
Paper図書
National Diet Library
- Subject Heading...amsa Negation (Logic) Buddhist logic--Early works t...... 1800 Buddhist logic. Mimamsa.
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....s mathematical logic for grasping their essence ra...
- Subject HeadingMathematical statistics Logic, Symbolic and ......gram language) Logic, Symbolic and mathematical. M...
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc.... of reversible logic circuits. The ......the reversible logic circuits to meet these challe...
- Subject HeadingLogic circuits--Design and construction. Logic circuits--Testing.
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingLogic, Symbolic and ......que--Congrès. Logic, Symbolic and mathematical.
- Author Heading...n Mathematical Logic (2018 : Kōbe Daigaku) Takeut...
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....thods in fuzzy logic, as well as relevant applicat...
- Subject HeadingFuzzy logic. Fuzzy sets.
Paper図書
National Diet Library
- Subject HeadingLogic devices--Congresses. Logic, Symbolic and ......l--Congresses. Logic devices. Logic, Symbolic and mathematical.
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingLanguage and logic. Logic. Language and languages--Phil...
Paper図書
National Diet Library
- Subject HeadingFuzzy logic Logic, Symbolic and mathematical
Paper図書
National Diet Library
- Summary, etc....ong history of logical falsehoods and philosophica...
- Contents... Propositional logic. Affirming a d......ul Categorical logic. Exclusive pre......rbone ; Kettle logic / Andy Wible ;......anninen ; Etymological fallacy / Le......Rivera ; Chronological snobbery / A.G. Holdier ; C...
- Subject HeadingFallacies (Logic) Philosophy.
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc.... Kiyoshi wrote Logic of Imagination as a series of...
- Subject Heading...5 Kyoto school Logic Imagination (Philosophy) Phil...
- Alternative TitleLogic of imagination
Paper図書
National Diet Library
- Summary, etc.Philosophy of logic is a fundament......objectivity of logical inference ru......ons of epistemological relativism, ......ed interest in logical pluralism, the question of logic's metaphysical......cation between logic and mathematic...... philosophy of logic, and allow stu......nts working on logic, as well as fo...... philosophy of logic in its wider context.
- ContentsThe nature and tools of logic The standard s......s second-order logic proper logic? Logical constants Th......metaphysics of logic The epistemology of logic Logical pluralism Logic, reasoning, an......n The place of logic in science.
- Subject HeadingLogic. Logik Philosophie
Paper図書
National Diet Library
- Summary, etc.... substructural logics. Chapters, wr......bra, algebraic logic and the Full L......ract algebraic logic, topological dualities, a...... substructural logics, results on t...... non-classical logic
- Contents... non-classical logics (James G. Raf......ract algebraic logic An introductor......Chapter 4. Topological duality and ......and separation logic (Peter Jipsen ......ties of linear logic (Robert Goldbl......iate predicate logic (Nobu-Yuki Suz...... substructural logics (Jacopo Amidei, Rodolfo C. E...
- Subject HeadingLogic, Symbolic and mathematical On...
Paper図書
National Diet Library
- Subject HeadingItalian Association for Logic Programming. Logic programming.
- Alternative TitleTwenty-five year perspective on logic programming
- Alternative TitleTwenty-five year perspective on logic programming
Paper図書
National Diet LibraryOther Libraries in Japan
- Contents...ic analysis of logical properties M...... substructural logics Deducibility ......II: Algebra in Logic. From algebra to logic Basics of algebraic logic Logics and varieties Residuated str...
- Subject HeadingProof theory Algebraic logic
- Related MaterialShort textbooks in logic