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

Author(s):  
Alessandro Avellone ◽  
Camillo Fiorentini ◽  
Guido Fiorino ◽  
Ugo Moscato
2018 ◽  
Vol 27 (1) ◽  
pp. 89-108
Author(s):  
Amal Fawzy ◽  
Mustafa M. Abd Elnaby ◽  
F. E. Abd El Samie ◽  
Salah khamis ◽  
Sameh Napoleon

Sign in / Sign up

Export Citation Format

Share Document