THE ALGEBRA OF LOGIC AND THE THEORY OF DEDUCTION

被引：1

|

作者：

LEBLANC, H

机构：

来源：

JOURNAL OF PHILOSOPHY | 1961年 / 58卷 / 19期

关键词：

D O I：

10.2307/2023190

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：553 / 558

页数：6

相关论文

共 50 条

[1] Interfacing computer algebra and deduction systems via the logic broker architecture
Armando, A
Zini, D
[J]. SYMBOLIC COMPUTATION AND AUTOMATED REASONING, 2001, : 49 - 64
[2] The theory of relationships in schroderian logic algebra
Ambrosio, Chiara
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 2009, 30 (02) : 193 - 194
[3] The Logic and Language of Classic Grounded Theory: Induction, Abduction, and Deduction
Nathaniel, Alvita
[J]. GROUNDED THEORY REVIEW, 2023, 22 (01): : 17 - 22
[4] Predicate learning and selective theory deduction for a difference logic solver
Wang, Chao
Gupta, Aarti
Ganai, Malay
[J]. 43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, : 235 - 240
[5] ALGEBRA OF LOGIC OF LINEAR DIFFERENTIAL OPERATOR THEORY
VINOGRAD.AM
[J]. DOKLADY AKADEMII NAUK SSSR, 1972, 205 (05): : 1025 - &
[6] DEDUCTION IN TRIVALENT LOGIC
FORT, M
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1973, 277 (17): : 823 - 825
[7] Modal Deduction in Second-Order Logic and Set Theory - II
Van Benthem J.
D'Agostino G.
Montanari A.
Policriti A.
[J]. Studia Logica, 1998, 60 (3) : 387 - 420
[8] TOWARDS A COMMON THEORY OF DEPENDENCE IN LOGIC AND LINEAR ALGEBRA
GUPTA, HN
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 361 - &
[9] Automated Deduction in Godel Logic
Guller, Dusan
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (03)
[10] Natural Deduction for Quantum Logic
K. Tokuo
[J]. Logica Universalis, 2022, 16 : 469 - 497

← 1 2 3 4 5 →