Natural Deduction for Non-Classical Logics

By Basin D.   Matthews S.   Viganò L.  

Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. : 119-160

Springer Publishing Company

Access to resources Recommend Favorite

A Double Deduction System for Quantum Logic Based On Natural Deduction

By delmas-Rigoutsos Y.  

Journal of Philosophical Logic, Vol. 26, Iss. 1, 1997-02 ,pp. : 57-67

Springer Publishing Company

Access to resources Recommend Favorite

Natural Deduction for First-Order Hybrid Logic

By BraÜner Torben  

Journal of Logic, Language and Information, Vol. 14, Iss. 2, 2005-03 ,pp. : 173-198

Springer Publishing Company

Access to resources Recommend Favorite

A Labelled Natural Deduction System for Linear Temporal Logic

By Indrzejczak Andrzej  

Studia Logica, Vol. 75, Iss. 3, 2003-12 ,pp. : 345-376

Springer Publishing Company

Access to resources Recommend Favorite

Establishing Connections between Aristotle's Natural Deduction and First-Order Logic

By Andrade Edgar Jose   Becerra Edward Samuel  

History and Philosophy of Logic, Vol. 29, Iss. 4, 2008-11 ,pp. : 309-325

Taylor & Francis Ltd

Access to resources Recommend Favorite