We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
Online ordering will be unavailable from 17:00 GMT on Friday, April 25 until 17:00 GMT on Sunday, April 27 due to maintenance. We apologise for the inconvenience.
Hostname: page-component-669899f699-rg895
Total loading time: 0
Render date: 2025-04-27T08:10:21.105Z
Has data issue: false
hasContentIssue false
Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)
Article purchase
Temporarily unavailable
References
REFERENCES
[MC]
[MC]McCarthy, John, Circumscription—a form of nonmonotonic reasoning, Artificial Intelligence, vol. 13(1980), pp. 27–39.CrossRefGoogle Scholar
[MD]
[MD]Davis, Martin, The mathematics of non-monotonic reasoning, Artificial Intelligence, vol. 13 (1980), pp. 73–80.CrossRefGoogle Scholar
[M-P]
[M-P]Minker, Jack and Perlis, Don, Completeness results for circumscription, Artificial Intelligence, vol. 28 (1986), pp. 29–42.Google Scholar
[P 1]
[P 1]Prawitz, Dag, Natural deduction. A proof theoretical study, Almqvist & Wiksell, Stockholm, 1965.Google Scholar
[P 2]
[P 2]Prawitz, Dag, Ideas and results in proof theory, Proceedings of the second Scandinavian logic symposium (Oslo, 1970), North-Holland, Amsterdam, 1971, pp. 235–307.CrossRefGoogle Scholar
[Ta]
[Ta]Tait, W. W., Applications of the cut elimination theorem to some subsystems of classical analysis, Intuitionism and proof theory (proceedings, Buffalo, New York, 1968), North-Holland, Amsterdam, 1970, pp. 475–488.CrossRefGoogle Scholar
[T]
[T]Troelstra, A. S., Normalization theorems for systems of natural deduction, Metamathematical investigation of intuitionistic arithmetic and analysis, Lecture Notes in Mathematics, vol. 344, Springer-Verlag, Berlin, 1973, pp. 275–323.CrossRefGoogle Scholar