Effective Cut-elimination for a Fragment of Modal mu-calculus von Mints, Grigori

Volltext

Failure of Interpolation in Constant Domain Intuitionistic Logic von Mints, Grigori, Olkhovikov, Grigory, Urquhart, Alasdair

Volltext

Cut-elimination for the mu-calculus with one variable von Mints, Grigori, Studer, Thomas

Volltext

COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings von Martin-Löf, Per, Mints, Grigori

Volltext

Epsilon substitution for first- and second-order predicate logic von Mints, Grigori

Volltext

An extension of the omega-rule von Akiyoshi, Ryota, Mints, Grigori

Volltext

Cut-free formulations for a quantified logic of here and there von Mints, Grigori

Volltext

Short Introduction to Intuitionistic Logic von Mints, Grigori

Volltext

Unwinding a Non-effective Cut Elimination Proof von Mints, Grigori

Volltext

Epsilon Substitution for Predicate Logic: Invited Presentation at the Third International Workshop on Classical Logic and Computation von Mints, Grigori

Volltext

Decidability of the Class E by Maslov’s Inverse Method von Mints, Grigori

Volltext

Inductively defined types von Coquand, Thierry, Paulin, Christine

Volltext

The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination von Ghilardi, S., Mints, G.

Volltext

Cut Elimination for S4C: A Case Study von Mints, Grigori

Volltext

Extended normal form theorems for logical proofs from axioms von Arai, Toshiyasu, Mints, Grigori

Volltext

The Gödel-Tarski Translations of Intuitionistic Propositional Formulas von Mints, Grigori

Volltext

Dynamic topological logic von Kremer, Philip, Mints, Grigori

Volltext

Notes on Constructive Negation von Mints, Grigori

Volltext

S4 is Topologically Complete for (0,1): a Short Proof von Mints, Grigori

Volltext

Countable Version of Omega-Rule von Mints, Grigori

Volltext