A note on Kripke semantics for residuated logic

By Djurdjevic P.   Djokic D.   Al-Saqabi K.   Saleh K.   Ahmad I.   MacCaull W.  

Fuzzy Sets and Systems, Vol. 77, Iss. 2, 1996-01 ,pp. : 229-234

Elsevier

Access to resources Recommend Favorite

Tableau-based automata construction for dynamic linear time temporal logic*

By Giordano Laura  

Annals of Mathematics and Artificial Intelligence, Vol. 46, Iss. 3, 2006-03 ,pp. : 289-315

Springer Publishing Company

Access to resources Recommend Favorite

Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

By Golinska-Pilarek J.  

International Journal of Computer Mathematics, Vol. 86, Iss. 10-11, 2009-10 ,pp. : 1707-1718

Taylor & Francis Ltd

Access to resources Recommend Favorite

Unrestricted vs restricted cut in a tableau method for Boolean circuits

By Järvisalo Matti  

Annals of Mathematics and Artificial Intelligence, Vol. 44, Iss. 4, 2005-08 ,pp. : 373-399

Springer Publishing Company

Access to resources Recommend Favorite

Method to rank and unrank semi-standard Young tableau for a partition of n

By K. V. Dinesha   P. C. P. Bhatt  

International Journal of Computer Mathematics, Vol. 82, Iss. 1, 2005-01 ,pp. : 41-45

Taylor & Francis Ltd

Access to resources Recommend Favorite