検索結果 616 件
紙記事
国立国会図書館全国の図書館
- 件名Chinese exegetics formal logical thinking objectivity
- 並列タイトル等(連結)...f 格物致知 and the Formal Logical Thinking : Chiefly on Prof....
- 並列タイトル等...f 格物致知 and the Formal Logical Thinking : Chiefly on Prof....
紙図書
国立国会図書館全国の図書館
- 要約等... 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.
- 内容細目...translation in logics for knowability paradox Formal semantics for ......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.
紙図書
国立国会図書館
- 要約等Formal logic provides us wi......ic elements of formal logic. He introduces...... and predicate logic, and develops ...... alongside the formal work there is ......xt for a first logic course and wil......urther work in formal and philosophical logic
- 件名Logic
Making archives in early modern Europe : proof, information, and political record-keeping, 1400-1700
紙図書
国立国会図書館全国の図書館
- 内容細目...of records The formal logic of classification: Topography...
紙デジタル記事
国立国会図書館全国の図書館
- 並列タイトル等(連結)Critical Thinking Education and Modern Formal Logic
- 並列タイトル等Critical Thinking Education and Modern Formal Logic
紙図書
国立国会図書館全国の図書館
- 内容細目Introduction to hybrid logic. Informal motivation ; Formal syntax and sem......igin of hybrid logic in prior's wor......itional hybrid logic. The basics of......itional hybrid logic ; The basics o......itional hybrid logic ; Axiom system......itional hybrid logic Tableaus and d......res for hybrid logic. The basics of......s for a hybrid logic. The natural d......t-order hybrid logic. Introduction ......t-order hybrid logic ; Natural dedu......t-order hybrid logic ; Axiom system......t-order hybrid logic Intentional fi......t-order hybrid logic. Introduction ......t-order hybrid logic ; Natural dedu......t-order hybrid logic ; Partial intensions Intuitio...
- 件名Proof theory. Logic, Symbolic and mathematical.
- 関連情報Applied logic series
紙図書
国立国会図書館
- 内容細目... Part II. Neat Formal Logic Meets Noisy So...... diversity and logical remainders; 7. The truth ta...
紙図書
国立国会図書館
- 要約等"Provides logical foundations for annotated logics. Discusses in......s of annotated logics. Presents the......n to annotated logics. It provides logical foundations for annotated logics, discusses so......tions of these logics and also incl......s to annotated logics. The central ...... how annotated logic can be applied......re and applied logicians, philosoph......paraconsistent logic. But, the layman will also ta...
- 内容細目...onal Annotated Logics Pt Predicate Annotated Logics Qt Formal Issues Variants and Related S...
- 件名Logic programming. Intelligence art...
紙図書
国立国会図書館
- 要約等Description logics are a family of knowledge re...
- 内容細目...to description logics / D. Nardi an......ic description logics / F. Baader a......ips with other formalisms / U. Sattl......ve description logics / D. Calvanes......to description logics / F. Baader, ......om description logic provers to kno......er Description logic systems / R. M......th description logics / A. Borgida ...... a description-logic-based ontology......ni Description logics for databases......ti Description logic terminology / F. Baader.
- 件名Description logics -- Handbooks, manuals, etc. ...
紙記事
国立国会図書館全国の図書館
- 件名Logic of Japanese Logic of Place Formal Logic 日本語の論理 場所の論理 形式論理
- 並列タイトル等(連結)Reconsideration of logic of Japanese: logic of place and formal logic
- 並列タイトル等Reconsideration of logic of Japanese: logic of place and formal logic
紙図書
全国の図書館
- 件名Logic -- Textbooks
- 件名(識別子)Logic -- Textbooks
紙図書
全国の図書館
- 件名Political science -- Philosophy Logic Reasoning
- 件名(識別子)Political science -- Philosophy Logic Reasoning
紙デジタル記事
インターネットで読める国立国会図書館全国の図書館
- 件名Temporal logics Mazurkiewicz traces pomsets
紙記事
国立国会図書館全国の図書館
- 並列タイトル等(連結)The relation between formal logic and mathematics: towards appl...
- 並列タイトル等The relation between formal logic and mathematics: towards appl...
紙図書
国立国会図書館
- 内容細目...rallelism Very formal affairs A symb......nce Making bio/logical connections Epilogue : "Pro...
紙図書
国立国会図書館
- 件名Computer security -- Congresses. Computer logic -- Congresses.
- 著者標目...y Institute on Formal Logical Methods for System Security...