Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations

Michael Freund and Daniel Lehmann
Studia Logica: An International Journal for Symbolic Logic
Vol. 53, No. 2 (May, 1994), pp. 161-201
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015716
Page Count: 41
  • Download ($43.95)
  • Cite this Item
Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations
Preview not available

Abstract

A. Tarski [22] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations is inspired by the results of [12] on nonmonotonic inference relations, and relies on some of the definitions found there.

Page Thumbnails

  • Thumbnail: Page 
[161]
    [161]
  • Thumbnail: Page 
162
    162
  • Thumbnail: Page 
163
    163
  • Thumbnail: Page 
164
    164
  • Thumbnail: Page 
165
    165
  • Thumbnail: Page 
166
    166
  • Thumbnail: Page 
167
    167
  • Thumbnail: Page 
168
    168
  • Thumbnail: Page 
169
    169
  • Thumbnail: Page 
170
    170
  • Thumbnail: Page 
171
    171
  • Thumbnail: Page 
172
    172
  • Thumbnail: Page 
173
    173
  • Thumbnail: Page 
174
    174
  • Thumbnail: Page 
175
    175
  • Thumbnail: Page 
176
    176
  • Thumbnail: Page 
177
    177
  • Thumbnail: Page 
178
    178
  • Thumbnail: Page 
179
    179
  • Thumbnail: Page 
180
    180
  • Thumbnail: Page 
181
    181
  • Thumbnail: Page 
182
    182
  • Thumbnail: Page 
183
    183
  • Thumbnail: Page 
184
    184
  • Thumbnail: Page 
185
    185
  • Thumbnail: Page 
186
    186
  • Thumbnail: Page 
187
    187
  • Thumbnail: Page 
188
    188
  • Thumbnail: Page 
189
    189
  • Thumbnail: Page 
190
    190
  • Thumbnail: Page 
191
    191
  • Thumbnail: Page 
192
    192
  • Thumbnail: Page 
193
    193
  • Thumbnail: Page 
194
    194
  • Thumbnail: Page 
195
    195
  • Thumbnail: Page 
196
    196
  • Thumbnail: Page 
197
    197
  • Thumbnail: Page 
198
    198
  • Thumbnail: Page 
199
    199
  • Thumbnail: Page 
200
    200
  • Thumbnail: Page 
201
    201