Reasoning with negative information, II: Hard negation, strong negation and logic programs
- 11 December 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Protected completions of first-order general logic programsJournal of Automated Reasoning, 1990
- A logical analysis of modules in logic programmingThe Journal of Logic Programming, 1989
- On the Proof Method for Constructive FalsityMathematical Logic Quarterly, 1988
- Making believers out of computersArtificial Intelligence, 1986
- Pressing for parallelism: a PROLOG program made ConcurrentThe Journal of Logic Programming, 1986
- Negation as inconsistency. IThe Journal of Logic Programming, 1986
- Constructible falsity and inexact predicatesThe Journal of Symbolic Logic, 1984
- Intuitionistic logic with strong negationStudia Logica, 1977
- Refutability and elementary number theoryIndagationes Mathematicae, 1972
- Ein verallgemeinerter Widerlegungsbegriff für GentzenkalküleArchive for Mathematical Logic, 1969