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

2007 ◽  
Vol 15 (3) ◽  
Author(s):  
José M. Méndez ◽  
Gemma Robles
Keyword(s):  
Relevance Logics ◽  
Constructive Negation

Constructive negation and constraint logic programming with sets

2001 ◽  
Vol 19 (3) ◽  
pp. 209-255 ◽  
Author(s):  
Agostino Dovier ◽  
Enrico Pontelli ◽  
Gianfranco Rossi
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Constructive Negation

scholarly journals Structural Completeness in Relevance Logics

Studia Logica ◽  
2015 ◽  
Vol 104 (3) ◽  
pp. 381-387 ◽  
Author(s):  
J. G. Raftery ◽  
K. Świrydowicz
Keyword(s):  
Relevance Logics ◽  
Structural Completeness
Sign in / Sign up

Export Citation Format

Share Document