constructive negation
Recently Published Documents

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Author(s):

Heinrich Wansing

Keyword(s):

Constructive Negation

Download Full-text

Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

Logic and Logical Philosophy ◽

10.12775/llp.2006.011 ◽

2007 ◽

Vol 15 (3) ◽

Author(s):

José M. Méndez ◽

Gemma Robles

Keyword(s):

Relevance Logics ◽

Constructive Negation

Download Full-text

Implementing type-based constructive negation

Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 ◽

10.1145/1244002.1244284 ◽

2007 ◽

Author(s):

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) ◽

Author(s):

Gemma Robles ◽

José M. Méndez

Keyword(s):

Constructive Negation

Download Full-text

Notes on Constructive Negation

Synthese ◽

10.1007/s11229-004-6294-3 ◽

2006 ◽

Vol 148 (3) ◽

pp. 701-717 ◽

Author(s):

Grigori Mints

Keyword(s):

Constructive Negation

Download Full-text

Compilative constructive negation in constraint logic programs

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017473 ◽

2005 ◽

pp. 52-67 ◽

Author(s):

Paola Bruscoli ◽

Francesca Levi ◽

Giorgio Levi ◽

Maria Chiara Meo

Keyword(s):

Logic Programs ◽

Constructive Negation ◽

Constraint Logic Programs

Download Full-text

A constructive negation for logics including TW+

Journal of Applied Non-Classical Logics ◽

10.3166/jancl.15.389-404 ◽

2005 ◽

Vol 15 (4) ◽

pp. 389-404

Author(s):

Gemma Robles ◽

José M. Méndez

Keyword(s):

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 ◽

Author(s):

Susana Muñoz-Hernández ◽

Juan José Moreno-Navarro

Keyword(s):

Constructive Negation

Download Full-text

Constructive negation by bottom-up computation of literal answers

Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 ◽

10.1145/967900.968194 ◽

2004 ◽

Author(s):

Javier Álvez ◽

Paqui Lucio ◽

Fernando Orejas

Keyword(s):

Bottom Up ◽

Constructive Negation

Download Full-text

A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30124-0_37 ◽

2004 ◽

pp. 488-502 ◽

Author(s):

Alessandro Avellone ◽

Camillo Fiorentini ◽

Guido Fiorino ◽

Ugo Moscato

Keyword(s):

Efficient Implementation ◽

Constructive Negation

Download Full-text