検索結果 9,947 件
紙図書
国立国会図書館全国の図書館
- 要約等...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)"-- Ca...
- 内容細目...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
- 件名Logic, Ancient Logique ancienne PHILOSOPHY / Logic.
紙図書
国立国会図書館全国の図書館
- 件名Threshold logic Logique de seuil
紙図書
国立国会図書館全国の図書館
- 要約等...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.......com Trends in logic : studia logica library, v. 65
- 内容細目... 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...
- 件名Logic--History Semantics (Philosoph...
紙図書
国立国会図書館全国の図書館
- 要約等... 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. Logic in Asia : Studia logica library / series editors Fen...
- 内容細目...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...
- 件名Logic--Congresses. Logic.
紙図書
国立国会図書館
- 件名Possibility Limit (Logic) Possibilité Limite (Logique...
- タイトル標目Cambridge elements. Elements in philosophy and logic
紙図書
国立国会図書館
- 件名Entailment (Logic) Computer logic.
紙図書
国立国会図書館全国の図書館
- 要約等...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 Gr...
- 件名Logic, Symbolic and mathematical Lo...
紙図書
国立国会図書館
- 要約等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
- 件名Logic
紙図書
国立国会図書館全国の図書館
- 要約等...p on Rewriting Logic and Its Applic......rewriting as a logical and semantic framework; rew...
- 内容細目...s in Rewriting Logic. Timed Strategies for Real-Ti...
- 件名Computer logic--Congresses Logique informati...
紙図書
国立国会図書館全国の図書館
- 件名...)--Congresses. Logic programming--C......puter science) Logic programming.
- 関連情報1850-9999 Program Logic for Higher-Order Probabilisti...
- 著者標目...Functional and Logic Programming (16th : 2022 : Ky...
紙図書
国立国会図書館全国の図書館
- 要約等...s mathematical logic for grasping their essence ra...
- 件名Mathematical statistics Logic, Symbolic and ......gram language) Logic, Symbolic and mathematical. M...
紙図書
国立国会図書館
- 要約等...order or omega logic, presenting so......n mathematical logic, the book also includes numer...
- 内容細目... for classical logic Cut-elimination in depth Epsi...
- 件名Proof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. P...
紙図書
国立国会図書館
- 件名...amsa Negation (Logic) Buddhist logic--Early works t...... 1800 Buddhist logic. Mimamsa.
紙図書
国立国会図書館全国の図書館
- 要約等... of reversible logic circuits. The ......the reversible logic circuits to meet these challe...
- 件名Logic circuits--Design and construction. Logic circuits--Testing.
紙図書
国立国会図書館全国の図書館
- 件名Logic, Symbolic and ......que--Congrès. Logic, Symbolic and mathematical.
- その他のタイトルsymposium on advances in mathematical logic 2018 : SAML2018 : Sep 2018, K...
- 著者標目...n Mathematical Logic (2018 : Kōbe Daigaku) Takeut...
紙図書
国立国会図書館全国の図書館
- 要約等...thods in fuzzy logic, as well as relevant applicat...
- 件名Fuzzy logic. Fuzzy sets.
紙図書
国立国会図書館全国の図書館
- 件名Language and logic. Logic. Language and languages--Phil...
紙図書
国立国会図書館
- 件名Fuzzy logic Logic, Symbolic and mathematical
紙図書
国立国会図書館
- 要約等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.
- 内容細目The 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.
- 件名Logic. Logik Philosophie
紙図書
国立国会図書館全国の図書館
- 要約等FoLLI publications on logic, language and information
- 件名Logic devices--Congresses. Logic, Symbolic and ......l--Congresses. Logic devices. Logic, Symbolic and mathematical.
- 関連情報1850-9999 Lecture notes in computer science FoLLI publications on logic, language and information
RSSRSS