Results 151 to 155 of about 171 (155)

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  

Deduction and Justification in the Law. The Role of Legal Terms and Concepts

Ratio Juris, 2004
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