( en | de | ru )

 

Disambiguation of "Mints, Grigori"

Author of the publication

copydeleteadd this publication to your clipboard
Extended normal form theorems for logical proofs from axioms.

, and . Theor. Comput. Sci., 232 (1-2): 121-132 (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Grigori Katsakoulis

Grigori Winer

Artur Grigori

Grigori German

Dimitrios Mintsioglou

 

Other publications of authors with the same name

Indexed systems of sequents and cut-elimination.. J. Philosophical Logic, 26 (6): 671-696 (1997)Proof Search Tree and Cut Elimination.. Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 521-536. Springer, (2008)Decidability of the Class E by Maslov's Inverse Method.. Fields of Logic and Computation, volume 6300 of Lecture Notes in Computer Science, page 529-537. Springer, (2010)The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination., and . Logic Journal of the IGPL, 22 (4): 585-596 (2014)The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic., and . Ann. Pure Appl. Log., 99 (1-3): 93-104 (1999)Propositional Logic Programming and Priz System., and . J. Log. Program., 9 (2&3): 179-193 (1990)Cut-Elimination for Simple Type Theory with An Axiom of Choice.. J. Symb. Log., 64 (2): 479-485 (1999)Justifications of the Structural Synthesis of Programs., and . Sci. Comput. Program., 2 (3): 215-240 (1982)The Gödel-Tarski Translations of Intuitionistic Propositional Formulas.. Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 487-491. Springer, (2012)A termination proof for epsilon substitution using partial derivations.. Theor. Comput. Sci., 303 (1): 187-213 (2003)