On sharp and single-conclusion justification models von Krupski, Vladimir N

Volltext

Cut elimination and complexity bounds for intuitionistic epistemic logic von Krupski, Vladimir N

Volltext

Referential logic of proofs von Krupski, Vladimir N.

Volltext

Reference Constructions in the Single-conclusion Proof Logic von Krupski, Vladimir N.

Volltext

Effective simultaneous approximability of reals von Krupski, Vladimir N.

Volltext

On the Sharpness and the Single-Conclusion Property of Basic Justification Models von Krupski, Vladimir N.

Volltext

On symbolic models for Single-Conclusion Logic of Proofs von Krupski, Vladimir N

Volltext

Sequent Calculus for Intuitionistic Epistemic Logic IEL von Krupski, Vladimir N., Yatmanov, Alexey

Volltext

On symbolic models for Single-Conclusion Logic of Proofs von Krupski, Vladimir N

Volltext

Primal Implication as Encryption von Krupski, Vladimir N.

Volltext

The single-conclusion proof logic and inference rules specification von Krupski, Vladimir N.

Volltext

On the sharpness and the injective property of basic justification models von Krupski, Vladimir N

Volltext bestellen

Symbolic Models for Single-Conclusion Proof Logics von Krupski, Vladimir N.

Volltext

Operational logic of proofs with functionality condition on proof predicate von Krupski, Vladimir N.

Volltext

Sequent Calculus for Intuitionistic Epistemic Logic von Krupski, Vladimir N, Yatmanov, Alexey

Volltext bestellen

On the sharpness and the injective property of basic justification models von Krupski, Vladimir N

Volltext

Effective simultaneous approximability of reals: Computability and complexity in analysis von KRUPSKI, Vladimir N

Volltext

Referential logic of proofs von KRUPSKI, Vladimir N

Volltext

Sequent Calculus for Intuitionistic Epistemic Logic von Krupski, Vladimir N, Yatmanov, Alexey

Volltext

MetaPRL – A Modular Logical Environment von Hickey, Jason, Nogin, Aleksey, Constable, Robert L., Aydemir, Brian E., Barzilay, Eli, Bryukhov, Yegor, Eaton, Richard, Granicz, Adam, Kopylov, Alexei, Kreitz, Christoph, Krupski, Vladimir N., Lorigo, Lori, Schmitt, Stephan, Witty, Carl, Yu, Xin

Volltext