MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Grigori Mints – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic
by Sam Buss, Grigori Mints — 1998
… Department of Mathematics University of California, San Diego Grigori Mints Department of Philosophy…
Cited by 2 (0 self) – Add To MetaCart

Epsilon-substitution method for the ramified language and # 1 -comprehension rule
by Grigori Mints, Sergei Tupailo — 1999 — Logic and Foundations of Mathematics
…Epsilon–Substitution Method for the Ramified Language and ∆ 1 1-Comprehension Rule Grigori Mints…
Cited by 3 (1 self) – Add To MetaCart

A proof of topological completeness of S4 on (0,1
by Grigori Mints, Ting Zhang — 2005 — on the occasion of Helmet Schwitenberg’s 60th birthday, special issue in Annals of Mathematical Logic
…A proof of topological completeness for S4 in (0,1) Grigori Mints 1 and Ting Zhang 2 1 Philosophy…
Cited by 2 (0 self) – Add To MetaCart

Propositional logic of continuous transformations in Cantor Space, to appear
by Grigori Mints, Ting Zhang — in Symposium on Mathematical Logic ’03 December 17-19, Kobe, special issue in Annals of Mathematical Logic
…Propositional Logic of Continuous Transformations in Cantor Space 1 Introduction Grigori Mints…
Cited by 1 (0 self) – Add To MetaCart

Transfer of Sequent Calculus Strategies to Resolution for S4
by Grigori Mints, Vladimir Orevkov, Tanel Tammet — 1996 — In Proof Theory of Modal Logic, Studies in Pure and Applied Logic 2
…Transfer of Sequent Calculus Strategies to Resolution for S4 Grigori Mints, Vladimir Orevkov…
Cited by 1 (1 self) – Add To MetaCart

Transfer of Sequent Calculus Strategies to Resolution for S4
by Grigori Mints Vladimir, Vladimir Orevkov, Tanel Tammet — 1996 — In Proof Theory of Modal Logic, Studies in Pure and Applied Logic 2
…Transfer of Sequent Calculus Strategies to Resolution for S4 Grigori Mints, Vladimir Orevkov…
Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB