Results 261 to 270 of about 206,152 (285)

Natural deduction

2006
openaire   +1 more source

Natural deduction

2002
openaire   +1 more source

Natural Deduction for Dual-intuitionistic Logic

Studia Logica, 2012
Luca Tranchini
exaly  

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

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

Natural deduction

2014
openaire   +1 more source

Label-free natural deduction systems for intuitionistic and classical modal logics

Journal of Applied Non-Classical Logics, 2010
Yakoub Salhi
exaly  

Natural deduction

1978
openaire   +1 more source

Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics

Logica Universalis, 2017
Yaroslav I Petrukhin
exaly  

Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics

Studia Logica, 2016
Francesca Poggiolesi
exaly  

A Problem of Normal Form in Natural Deduction

Mathematical Logic Quarterly, 2000
Jan von Plato
exaly