( en | de | ru )

 

Disambiguation of "Mints, Grigori"

Author of the publication

copydeleteadd this publication to your clipboard
Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof.

, and . J. Autom. Reason., 7 (4): 587-596 (1991)

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

A termination proof for epsilon substitution using partial derivations.. Theor. Comput. Sci., 303 (1): 187-213 (2003)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 Complexity of the Disjunction and Existential Properties in Intuitionistic Logic., and . Ann. Pure Appl. Log., 99 (1-3): 93-104 (1999)The Gödel-Tarski Translations of Intuitionistic Propositional Formulas.. Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 487-491. Springer, (2012)Unwinding a Non-effective Cut Elimination Proof.. CSR, volume 3967 of Lecture Notes in Computer Science, page 259-269. Springer, (2006)Corrigendum: Semantics of a Declarative Language., and . Inf. Process. Lett., 25 (2): 139 (1987)Resolution Strategies for the Intuitionistic Logic.. NATO ASI CP, volume 131 of NATO ASI Series, page 289-311. Springer, (1993)Three Faces of Natural Deduction.. TABLEAUX, volume 1227 of Lecture Notes in Computer Science, page 16-30. Springer, (1997)Gentzen-type systems and resolution rules. Part I. Propositional logic.. Conference on Computer Logic, volume 417 of Lecture Notes in Computer Science, page 198-231. Springer, (1988)