THEOREM IN 3-VALUED MODEL THEORY WITH CONNECTIONS TO NUMBER THEORY, TYPE THEORY, AND RELEVANT LOGIC

被引：0

|

作者：

DUNN, JM

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1978年 / 43卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：615 / 616

页数：2

相关论文

共 50 条

[21] THE HILBERT TYPE AXIOMATIZATION OF SOME 3-VALUED PROPOSITIONAL LOGIC
ZBRZEZNY, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (05): : 415 - 421
[22] The Consistency Property in Lattice Valued Model Theory for Infinitary Logic
沈复兴
Acta Mathematica Sinica,English Series, 1987, (02) : 103 - 108
[23] The Consistency Property in Lattice Valued Model Theory for Infinitary Logic
沈复兴
ActaMathematicaSinica, 1987, (02) : 103 - 108
[24] Threshold complexes and connections to number theory
Pakianathan, Jonathan
Winfree, Troy
TURKISH JOURNAL OF MATHEMATICS, 2013, 37 (03) : 511 - 539
[25] Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem
Bijing Li
Guojun Wang
Science in China Series F: Information Sciences, 2005, 48 : 727 - 736
[26] MORLEY CATEGORICITY THEOREM FOR LATTICE-VALUED MODEL-THEORY
SHEN, YF
KEXUE TONGBAO, 1988, 33 (22): : 1841 - 1844
[27] APPLICATIONS OF AN ELEMENTARY THEOREM TO NUMBER THEORY
STEVENS, H
KUTY, L
ARCHIV DER MATHEMATIK, 1968, 19 (01) : 37 - &
[28] A THEOREM IN MULTIPLICATIVE NUMBER-THEORY
KAN, J
JOURNAL OF NUMBER THEORY, 1991, 38 (01) : 1 - 17
[29] GENERALIZATIONS OF A CLASSICAL THEOREM IN NUMBER THEORY
HUDSON, RH
MATHEMATICS OF COMPUTATION, 1976, 30 (135) : 649 - 656
[30] Automated theorem proving in first-order logic module: On the difference between type theory and set theory
Dowek, G
AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 1 - 22

← 1 2 3 4 5 →