MONOTONE INDUCTIVE DEFINITIONS OVER CONTINUUM

被引：7

作者：

CENZER, D ^{[1
]}

机构：

[1] UNIV FLORIDA,GAINESVILLE,FL 32601

来源：

关键词：

D O I：

10.2307/2272958

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：188 / 198

页数：11

共 50 条

[41] REALIZABILITY INTERPRETATION OF GENERALIZED INDUCTIVE DEFINITIONS
KOBAYASHI, S
TATSUTA, M
[J]. THEORETICAL COMPUTER SCIENCE, 1994, 131 (01) : 121 - 138
[42] POSITIVE INDUCTIVE-RECURSIVE DEFINITIONS
Ghani, Neil
Malatesta, Lorenzo
Forsberg, Fredrik Nordvall
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (01)
[43] TERMINOLOGICAL REASONING AND PARTIAL INDUCTIVE DEFINITIONS
HANSCHKE, P
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 221 - 237
[44] Extending classical logic with inductive definitions
Denecker, M
[J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 703 - 717
[45] Non-deterministic inductive definitions
Benno van den Berg
[J]. Archive for Mathematical Logic, 2013, 52 : 113 - 135
[46] Monotone Relations, Fixed Points and Recursive Definitions
Czelakowski, Janusz
[J]. TOWARDS MATHEMATICAL PHILOSOPHY, 2009, 28 : 125 - 164
[47] A finite axiomatization of inductive-recursive definitions
Dybjer, P
Setzer, A
[J]. TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 129 - 146
[48] A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS
Bruni, Riccardo
[J]. REVIEW OF SYMBOLIC LOGIC, 2009, 2 (04): : 684 - 699
[49] A FINITARY VERSION OF THE CALCULUS OF PARTIAL INDUCTIVE DEFINITIONS
ERIKSSON, LH
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 89 - 134
[50] Non-Deterministic Inductive Definitions and Fullness
Ishihara, Hajime
Nemoto, Takako
[J]. CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 2016, 6 : 163 - 170