Intuitionistic basis for non-monotonic logic
- 5 October 2005
- book chapter
- Published by Springer Nature
- p. 260-273
- https://doi.org/10.1007/bfb0000064
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Semantical Investigations in Heyting’s Intuitionistic LogicPublished by Springer Nature ,1981
- Non-monotonic logic IArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and LinguisticsPublished by Springer Nature ,1976