ANALYTIC INDUCTIVE DEFINITIONS

被引：0

|

作者：

CENZER, D ^{[1
]}

机构：

[1] UNIV FLORIDA,GAINESVILLE,FL 32601

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1973年 / 20卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

下载

收藏

页码：A376 / A376

页数：1

相关论文

共 50 条

[21] Forcing for hat inductive definitions in arithmetic
Sato, Kentaro
MATHEMATICAL LOGIC QUARTERLY, 2014, 60 (4-5) : 314 - 318
[22] Non-deterministic inductive definitions
van den Berg, Benno
ARCHIVE FOR MATHEMATICAL LOGIC, 2013, 52 (1-2): : 113 - 135
[23] Reducing inductive definitions to propositional satisfiability
Pelov, N
Ternovska, E
LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 221 - 234
[24] Inductive definitions with decidable atomic formulas
Setzer, A
COMPUTER SCIENCE LOGIC, 1997, 1258 : 414 - 430
[25] Inductive definitions over a predicative arithmetic
Wainer, SS
Williams, RS
ANNALS OF PURE AND APPLIED LOGIC, 2005, 136 (1-2) : 175 - 188
[26] POSITIVE INDUCTIVE-RECURSIVE DEFINITIONS
Ghani, Neil
Malatesta, Lorenzo
Forsberg, Fredrik Nordvall
LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (01)
[27] MONOTONE INDUCTIVE DEFINITIONS OVER CONTINUUM
CENZER, D
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 188 - 198
[28] TERMINOLOGICAL REASONING AND PARTIAL INDUCTIVE DEFINITIONS
HANSCHKE, P
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 221 - 237
[29] INDUCTIVE DEFINITIONS OVER FINITE STRUCTURES
LEIVANT, D
INFORMATION AND COMPUTATION, 1990, 89 (02) : 95 - 108
[30] REALIZABILITY INTERPRETATION OF GENERALIZED INDUCTIVE DEFINITIONS
KOBAYASHI, S
TATSUTA, M
THEORETICAL COMPUTER SCIENCE, 1994, 131 (01) : 121 - 138

← 1 2 3 4 5 →