Jump to main content

yr 〜
yr

Search results 37

Representations of algebras and Kripke completeness of infinitary and predicate logics

Representations of algebras and Kripke completeness of infinitary and predicate logics
PaperDigital博士論文障害者向け資料あり
Yoshihito Tanaka [著][Yoshihito Tanaka][1999]<UT51-99-Q204>
Available onlineNational Diet Library

Hyperdoctrinal semantics for non-classical predicate logics

Hyperdoctrinal semantics for non-classical predicate logics
PaperDigital博士論文障害者向け資料あり
白須裕之 [著]<UT51-97-L494>
Available onlineNational Diet Library
  • Toc / Article... Semantics for predicate logics 1.2 Substruct......s 5 Duality in predicate logics 5.1 Hyperdoct......ults 5.5 Modal predicate logics 6 Glueing methods 6.1 Gluein...

Studies on intermediate predicate logics and intuitionistic modal logics

Studies on intermediate predicate logics and intuitionistic modal logics
PaperDigital博士論文障害者向け資料あり
鈴木信行 [著]<UT51-90-E511>
Available onlineNational Diet Library

The integration of predicate logic and relational database

The integration of predicate logic and relational database
PaperDigital博士論文障害者向け資料あり
郭淑敏 [著]<UT51-89-Q244>
Available onlineNational Diet Library

Study on a natural language parser based on predicate logic

Study on a natural language parser based on predicate logic
Paper博士論文
上原邦昭 [著]<UT51-59-F525>
National Diet Library

A study on design and implementation of a database system based on predicate logic

A study on design and implementation of a database system based on predicate logic
Paper博士論文
宇田川佳久 [著]<UT51-57-M196>
National Diet Library

Predicate logic

Predicate logic
Paper図書
Peter A. Fejer & Dan A. SimoviciWorld Scientific2025
Other Libraries in Japan

A study of intermediate predicate logics

A study of intermediate predicate logics
Paper博士論文
小野寛晰 [著]<UT51-48-E582>
National Diet Library

項列二項義務論理と常識的様相述語論理の証明論的研究

項列二項義務論理と常識的様相述語論理の証明論的研究
Digital博士論文障害者向け資料あり
澤崎, 高広Hokkaido University2021-09-24
Available onlineNational Diet LibraryOther Libraries in Japan
  • Alternative Title...on Sense Modal Predicate Logic
  • Alternative Title...on Sense Modal Predicate Logic

An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic RAND/RM-5580-PR

An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic RAND/RM-5580-PR
Paper規格・テクニカルリポート類
Mattison, R1969<M-RAND/RM-5580-PR>
National Diet Library

An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic RAND/RM-5580-1-PR

An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic RAND/RM-5580-1-PR
Paper規格・テクニカルリポート類
Mattison, R1969<M-RAND/RM-5580-1-PR>
National Diet Library

深層学習を用いた一階述語論理による推論に関する研究 (本文)

深層学習を用いた一階述語論理による推論に関する研究 (本文)
Digital博士論文障害者向け資料あり
本田, 裕慶應義塾大学大学院理工学研究科2022-03-23
National Diet Library
  • Alternative Title...th first-order predicate logic using deep learning
  • Alternative Title...th first-order predicate logic using deep learning

Predicate logic

Predicate logic
Paper図書
Richard L. EpsteinOxford University Press1994
Other Libraries in Japan

Aristotle's modal proofs : Prior analytics A8-22 in predicate logic : softcover

Aristotle's modal proofs : Prior analytics A8-22 in predicate logic : softcover
Paper図書
Adriane RiniSpringerc2011
Other Libraries in Japan

Switching theory : insight through predicate logic : softcover

Switching theory : insight through predicate logic : softcover
Paper図書
Shimon P. VingronSpringerc2004
Other Libraries in Japan

Switching theory : insight through predicate logic

Switching theory : insight through predicate logic
Paper図書
Shimon P. VingronSpringerc2004
Other Libraries in Japan

Introduction to logic : predicate logic 2nd ed

Introduction to logic : predicate logic 2nd ed
Paper図書
Howard Pospesel ; with an appendix on metatheory by William G. LycanPrentice Hallc2003
Other Libraries in Japan

The logic system of concept graphs with negation : and its relationship to predicate logic

The logic system of concept graphs with negation : and its relationship to predicate logic
Paper図書
Frithjof DauSpringerc2003
Other Libraries in Japan

Representations of algebras and Kripke completeness of infinitary and predicate logics

Representations of algebras and Kripke completeness of infinitary and predicate logics
Paper図書
by Yoshihito TanakaYoshihito Tanaka1999.3
Other Libraries in Japan

Hyperdoctrinal semantics for non-classical predicate logics

Hyperdoctrinal semantics for non-classical predicate logics
Paper図書
Shirasu, HiroyukiShirasu, Hiroyuki1997.2
Other Libraries in Japan
RSS