Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

By Okada M.  

Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. : 333-396

Elsevier

Access to resources Recommend Favorite

Cut Elimination and Realization for Epistemic Logics with Justification

By Ghari Meghdad  

Journal of Logic and Computation, Vol. 22, Iss. 5, 2012-10 ,pp. : 1171-1198

Oxford University Press

Access to resources Recommend Favorite

Requirements Elicitation by Defect Elimination: An Indian Logic Perspective

By  

International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 1, Iss. 2, 2009-04 ,pp. : 73-90

IGI Global_journal

Access to resources Recommend Favorite

A semantic proof of strong cut-admissibility for first-order Gdel logic

By Lahav Ori   Avron Arnon  

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 59-86

Oxford University Press

Access to resources Recommend Favorite

Real-time implementation of harmonic elimination PWM technique for induction motor

By Bouchhida Ouahid   Benmansour Khelifa   Cherifi Abderrezzek   Boucherit Mohamed Seghir  

International Journal of Modelling, Identification and Control, Vol. 5, Iss. 2, 2008-12 ,pp. : 127-135

Inderscience Publishers

Access to resources Recommend Favorite