ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Constructive negation, implication, and co-implication
Journal of Applied Non-Classical Logics
◽
10.3166/jancl.18.341-364
◽
2008
◽
Vol 18
(2-3)
◽
pp. 341-364
◽
Cited By ~ 40
Author(s):
Heinrich Wansing
Keyword(s):
Constructive Negation
Download Full-text
Related Documents
Cited By
References
Constructive negation and constraint logic programming with sets
New Generation Computing
◽
10.1007/bf03037598
◽
2001
◽
Vol 19
(3)
◽
pp. 209-255
◽
Cited By ~ 5
Author(s):
Agostino Dovier
◽
Enrico Pontelli
◽
Gianfranco Rossi
Keyword(s):
Logic Programming
◽
Constraint Logic Programming
◽
Constructive Negation
Download Full-text
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages
Logic Programming
◽
10.7551/mitpress/4316.003.0053
◽
1994
◽
Keyword(s):
Constructive Negation
◽
Default Rules
Download Full-text
Conditional narrowing with constructive negation
Extensions of Logic Programming - Lecture Notes in Computer Science
◽
10.1007/3-540-56454-3_4
◽
1993
◽
pp. 59-79
◽
Cited By ~ 1
Author(s):
María José Ramírez
◽
Moreno Falaschi
Keyword(s):
Constructive Negation
◽
Conditional Narrowing
Download Full-text
Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages
Lecture Notes in Computer Science - Constraint Programming: Basics and Trends
◽
10.1007/3-540-59155-9_5
◽
1995
◽
pp. 68-89
◽
Cited By ~ 3
Author(s):
François Fages
Keyword(s):
Higher Order
◽
Constructive Negation
Download Full-text
Constructive Negation in Logic Programs
10.21236/ada196562
◽
1987
◽
Author(s):
Richard Hamlet
Keyword(s):
Logic Programs
◽
Constructive Negation
Download Full-text
Implementation Results in Classical Constructive Negation
Logic Programming - Lecture Notes in Computer Science
◽
10.1007/978-3-540-27775-0_20
◽
2004
◽
pp. 284-298
◽
Cited By ~ 2
Author(s):
Susana Muñoz-Hernández
◽
Juan José Moreno-Navarro
Keyword(s):
Constructive Negation
Download Full-text
What is failure? An approach to constructive negation
Acta Informatica
◽
10.1007/bf01185404
◽
1995
◽
Vol 32
(1)
◽
pp. 27-59
◽
Cited By ~ 34
Author(s):
Wlodzimierz Drabent
Keyword(s):
Constructive Negation
◽
Is Failure
Download Full-text
Constructive negation for constraint logic programming
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.1991.151657
◽
2002
◽
Cited By ~ 34
Author(s):
P.J. Stuckey
Keyword(s):
Logic Programming
◽
Constraint Logic Programming
◽
Constructive Negation
Download Full-text
Constructive negation using typed existence properties
Principles of Declarative Programming - Lecture Notes in Computer Science
◽
10.1007/bfb0056629
◽
1998
◽
pp. 411-426
Author(s):
John G. Cleary
◽
Lunjin Lu
Keyword(s):
Constructive Negation
Download Full-text
Converse Ackermann property and constructive negation defined with a negation connective
Logic and Logical Philosophy
◽
10.12775/llp.2006.007
◽
2006
◽
Vol 15
(2)
◽
Cited By ~ 1
Author(s):
Gemma Robles
◽
José M. Méndez
Keyword(s):
Constructive Negation
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close