Tableaux and Dual Tableaux: Transformation of Proofs

By Golińska-Pilarek Joanna   Orłowska Ewa  

Studia Logica, Vol. 85, Iss. 3, 2007-04 ,pp. : 283-302

Springer Publishing Company

Access to resources Recommend Favorite

Reactive intuitionistic tableaux

By Gabbay D.  

Synthese, Vol. 179, Iss. 2, 2011-03 ,pp. : 253-269

Springer Publishing Company

Access to resources Recommend Favorite

Lacunae, Empirical Progress and Semantic Tableaux

By Aliseda Atocha  

Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 83, Iss. 1, 2005-11 ,pp. : 169-189

Rodopi

Access to resources Recommend Favorite

Modal Tableaux for Reasoning About Diagrams

By del Cerro Luis Fariñas   Gasquet Olivier  

Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 91, Iss. 1, 2006-11 ,pp. : 169-184

Rodopi

Access to resources Recommend Favorite

Simultaneous Rigid Sorted Unification for Tableaux

By Martín P.J.   Gavilanes A.  

Studia Logica, Vol. 72, Iss. 1, 2002-10 ,pp. : 31-59

Springer Publishing Company

Access to resources Recommend Favorite