DIGITALIZATION, SYSTEMATIZATION, AND FORMULATION OF THE THEORY AND METHODS OF THE PROPOSITIONAL CALCULUS

被引：0

|

作者：

LEDLEY, RS

机构：

来源：

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY | 1954年 / 60卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：378 / 378

页数：1

相关论文

共 50 条

[1] AN ALGEBRAIC FORMULATION OF K-N PROPOSITIONAL CALCULUS
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (10): : 1164 - &
[2] QUANTUM-THEORY AS A THEORY IN A CLASSICAL PROPOSITIONAL CALCULUS
MALHAS, OQ
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1992, 31 (09) : 1699 - 1714
[3] Categorical proof theory of classical propositional calculus
Bellin, Gianluigi
Hyland, Martin
Robinson, Edmund
Urban, Christian
THEORETICAL COMPUTER SCIENCE, 2006, 364 (02) : 146 - 165
[4] The formulation of the control of an expression pattern in a gene network by propositional calculus
Nakayama, Hideki
Tanaka, Hiroto
Ushio, Toshimitsu
JOURNAL OF THEORETICAL BIOLOGY, 2006, 240 (03) : 443 - 450
[5] A Cut-Free Gentzen Formulation of Basic Propositional Calculus
Kentaro Kikuchi
Katsumi Sasaki
Journal of Logic, Language and Information, 2003, 12 (2) : 213 - 225
[6] PROPOSITIONAL CALCULUS
KYBURG, H
AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (04): : 437 - &
[7] AN ALGEBRAIC FORMULATION OF K-N PROPOSITIONAL CALCULUS .2.
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (01): : 35 - &
[8] AN ALGEBRAIC FORMULATION OF K-N PROPOSITIONAL CALCULUS .4.
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1968, 44 (08): : 786 - &
[9] AN ALGEBRAIC FORMULATION OF K-N PROPOSITIONAL CALCULUS .2.
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (02): : 129 - &
[10] AN ALGEBRAIC FORMULATION OF K-N PROPOSITIONAL CALCULUS .3.
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (08): : 723 - &

← 1 2 3 4 5 →