Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic

By Polakow J.   Pfenning F.  

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

An integrated dynamic intuitionistic fuzzy MADM approach for personnel promotion problem

By Bali Ozkan   Dagdeviren Metin   Gumus Serkan  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 44, Iss. 10, 2015-11 ,pp. : 1422-1436

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

By Ferrari Mauro  

Journal of Automated Reasoning, Vol. 51, Iss. 2, 2013-08 ,pp. : 129-149

Springer Publishing Company

Access to resources Recommend Favorite

The logic engine and the realization problem for nearest neighbor graphs

By Eades P.   Whitesides S.  

Theoretical Computer Science, Vol. 169, Iss. 1, 1996-11 ,pp. : 23-37

Elsevier

Access to resources Recommend Favorite

Generalized Intuitionistic Fuzzy Entropy Measure of Order α and Degree β and Its Applications to Multi-Criteria Decision Making Problem

By  

International Journal of Fuzzy System Applications (IJFSA), Vol. 6, Iss. 1, 2017-01 ,pp. : 86-107

IGI Global_journal

Access to resources Recommend Favorite