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

José M. Méndez; Gemma Robles

doi:10.12775/llp.2006.011

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

Basic Quasi-Boolean Expansions of Relevance Logics

Journal of Philosophical Logic ◽

10.1007/s10992-020-09583-4 ◽

2021 ◽

Author(s):

Gemma Robles ◽

José M. Méndez

Keyword(s):

Relevance Logics

Download Full-text

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

Structural Completeness in Relevance Logics

Studia Logica ◽

10.1007/s11225-015-9644-x ◽

2015 ◽

Vol 104 (3) ◽

pp. 381-387 ◽

Cited By ~ 3

Author(s):

J. G. Raftery ◽

K. Świrydowicz

Keyword(s):

Relevance Logics ◽

Structural Completeness

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

Some relevance logics from the point of view of relational semantics

Logic Journal of IGPL ◽

10.1093/jigpal/jzw003 ◽

2016 ◽

Vol 24 (3) ◽

pp. 268-287

Author(s):

Katalin Bimbó

Keyword(s):

Point Of View ◽

Relational Semantics ◽

Relevance Logics

Download Full-text

Modal and Relevance Logics: 1977

Modern Logic — A Survey ◽

10.1007/978-94-009-9056-2_8 ◽

1981 ◽

pp. 131-151 ◽

Cited By ~ 3

Author(s):

Nuel D. Belnap

Keyword(s):

Relevance Logics

Download Full-text

Semantic Discovery for Relevance Logics

Directions in Relevant Logic ◽

10.1007/978-94-009-1005-8_18 ◽

1989 ◽

pp. 241-267 ◽

Cited By ~ 1

Author(s):

Charles G. Morgan

Keyword(s):

Relevance Logics ◽

Semantic Discovery

Download Full-text

Gaggle Theory Applied to Intuitionistic, Modal, and Relevance Logics

Logik und Mathematik ◽

10.1515/9783110887792.335 ◽

1995 ◽

pp. 335-368 ◽

Cited By ~ 1

Keyword(s):

Relevance Logics ◽

Gaggle Theory

Download Full-text