Results 201 to 207 of about 978 (207)
Some of the next articles are maybe not open access.

Natural Deduction for Dual-intuitionistic Logic

Studia Logica, 2012
Luca Tranchini, Tranchini Luca
exaly  

Contradiction separation based dynamic multi-clause synergized automated deduction

Information Sciences, 2018
, He Xingxing, Shuwei Chen
exaly  

Natural deduction systems for Nelson's paraconsistent logic and its neighbors

Journal of Applied Non-Classical Logics, 2005
Norihiro Kamide
exaly  

Multiscenario deduction analysis for railway emergencies using knowledge metatheory and dynamic Bayesian networks

Reliability Engineering and System Safety
Daqing Gong, Shifeng Liu, Xueyan Li
exaly  

On sequence-conclusion natural deduction systems

Journal of Philosophical Logic, 1985
exaly  

Home - About - Disclaimer - Privacy