Mendeley出力
＜学術雑誌論文＞
RELATIONAL CALCULUS AS A FORMAL SYSTEM
| 作成者 | |
|---|---|
| 本文言語 | |
| 出版者 | |
| 発行日 | |
| 収録物名 | |
| 巻 | |
| 号 | |
| 開始ページ | |
| 終了ページ | |
| 出版タイプ | |
| アクセス権 | |
| Crossref DOI | |
| 概要 | In model theory, function symbols for formal systems are usually assumed to be totally defined. This paper reports that category theory is defined and discussed as a formal system with partial operati...ons in first order predicate logic. We also review a formal definition of relational calculus with a local boolean structure and satisfying de Morgan-Schröder equivalences.続きを見る |
詳細
| PISSN | |
|---|---|
| EISSN | |
| NCID | |
| レコードID | |
| 査読有無 | |
| 主題 | |
| 登録日 | 2024.03.13 |
| 更新日 | 2024.03.13 |