ON EXTENSION OF BETHS SEMANTICS OF PHYSICAL THEORIES

被引：81

|

作者：

VANFRAAS.BC

机构：

来源：

PHILOSOPHY OF SCIENCE | 1970年 / 37卷 / 03期

关键词：

D O I：

10.1086/288311

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

引用

收藏

页码：325 / &

相关论文

共 50 条

[31] Boundary extension: Findings and theories
Hubbard, Timothy L.
Hutchison, Joanna L.
Courtney, Jon R.
QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY, 2010, 63 (08): : 1467 - 1494
[32] LOGIC PROGRAM SEMANTICS AND CIRCUMSCRIPTION OF AUTOEPISTEMIC THEORIES
YUAN, LY
INFORMATION PROCESSING LETTERS, 1994, 50 (03) : 159 - 164
[33] Modular Semantics for Theories: An Approach to Paraconsistent Reasoning
Holger Andreas
Journal of Philosophical Logic, 2018, 47 : 877 - 912
[34] A continuum of theories of lambda calculus without semantics
Salibra, A
16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 334 - 343
[35] EMBEDDABILITY, SYNTAX, AND SEMANTICS IN ACCOUNTS OF SCIENTIFIC THEORIES
TURNEY, P
JOURNAL OF PHILOSOPHICAL LOGIC, 1990, 19 (04) : 429 - 451
[36] Semantics of flowchart programs and the free Conway theories
Bernatsky, L
Esik, Z
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1998, 32 (1-3): : 35 - 78
[37] THEORIES OF POSSIBILITY - META-AXIOMATICS AND SEMANTICS
KOHOUT, LJ
FUZZY SETS AND SYSTEMS, 1988, 25 (03) : 357 - 367
[38] STABLE SEMANTICS FOR LOGIC PROGRAMS AND DEFAULT THEORIES
MAREK, W
TRUSZCZYNSKI, M
LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 243 - 256
[39] REMARKS ON THEORIES OF COMPUTATION AND SEMANTICS OF PROGRAMMING LANGUAGES
GHOSE, A
KYBERNETES, 1978, 7 (04) : 301 - 304
[40] COMPOSITIONAL THEORIES BASED ON AN OPERATIONAL SEMANTICS OF CONTEXTS
LARSEN, KG
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 487 - 518

← 1 2 3 4 5 →