11 citations · 15 across the 3 of their papers we have counts for
4 papers
Intuitionistic Existential Instantiation and Epsilon Symbol
Grigori Mints
A natural deduction system for intuitionistic predicate logic with existential \ instantiation rule presented here uses Hilbert's $\e$-symbol. It is conservative over intuitionisti…
Failure of interpolation in the intuitionistic logic of constant domains
Grigori Mints, Grigory Olkhovikov, Alasdair Urquhart
This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation pr…
Cut-elimination for the mu-calculus with one variable
Grigori Mints, Thomas Studer
We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of…
Analysis and Extension of Omega-Rule
R. Akiyoshi, G. Mints
-rule was introduced by W. Buchholz to give an ordinal-free cut-elimination proof for a subsystem of analysis with -comprehension. His proof provides cut-free derivat…