Search results 9,920
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....t the whole of logic was already pr...... historians of logic have protested......r' or 'invent' logic it is not suff......ent of ancient logic, a role which ......n histories of logic. In his dialog......ssues to which logical concepts and......r the birth of logic: if ancient logic was the promis......prehistory' of logic see CHAPTER 1 - DENYER)"--
- Contents...development of logic in antiquity. ...... prehistory of logic / Nicholas Den......es. Truth as a logical property and......ties and modal logic / Marko Malink......a Castagnoli ; Logic in ancient rhe......Rapp ; Ancient logic and ancient ma......acy of ancient logic. Ancient logic in the middle ......nbon ; Ancient logic from the Renna......f mathematical logic / Mirella Capo......anta ; Ancient logic today / John Woods
- Subject HeadingLogic, Ancient Logique ancienne PHILOSOPHY / Logic.
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingThreshold logic Logique de seuil
Paper図書
National Diet Library
- Subject HeadingPossibility Limit (Logic) Possibilité Limite (Logique...
- Title HeadingCambridge elements. Elements in philosophy and logic
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 LibraryOther Libraries in Japan
- Summary, etc....d of connexive logic and includes c...... non-classical logic, systems of connexive logic are contra-cla......rmal connexive logic may be seen to......tury connexive logic was a virtuall......y on connexive logic in the Stanfor......s on connexive logic in 2015. Nowadays, connexive logic is a vibrant a......k in connexive logic. The topics ra......connexivity in logic, to conditional logic, relevance logic, and experimen......s in connexive logic. The volume wi......of interest to logicians and philos...... non-classical logic. Chapters 1, 9 and 10, are av...
- Contents... for connexive logics, Edwin Mares ......on to Boethian logics, Claudio E.A.......y of connexive logics in the light ......s in connexive logic, Hitoshi Omori and Heinrich W...
- Subject HeadingLogic--History Semantics (Philosoph...
Paper図書
National Diet Library
- Subject HeadingEntailment (Logic) Computer logic.
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....y mathematical logic. There is no c......n mathematical logic and this book ......o the heart of logic and to more so......erplay between logic and other area......ntroduction to logic. Prior exposure to logic is helpful but not assumed
- Subject HeadingLogic, Symbolic and mathematical Lo...
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 LibraryOther Libraries in Japan
- Summary, etc....p on Rewriting Logic and Its Applic......rewriting as a logical and semantic framework; rew...
- Contents...s in Rewriting Logic. Timed Strategies for Real-Ti...
- Subject HeadingComputer logic--Congresses Logique informati...
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject Heading...)--Congresses. Logic programming--C......puter science) Logic programming.
- Related Material...cience Program Logic for Higher-Order Probabilisti...
- Author Heading...Functional and Logic Programming (16th : 2022 : Ky...
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 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.
- Additional Titlesymposium on advances in mathematical logic 2018 : SAML2018 : Sep 2018, K...
- 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 LibraryOther Libraries in Japan
- Subject HeadingLanguage and logic. Logic. Language and languages--Phil...
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingLogic devices--Congresses. Logic, Symbolic and ......l--Congresses. Logic devices. Logic, Symbolic and mathematical.
- Related Material1850-9999 FoLLI publications on logic, language and information Lec...
- Periodical TitleFoLLI publications on logic, language and information Lec...
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.
RSSRSS