Вы здесь

Главная

Moscow Computer Sience School 2004

Связанные издания:

A Semantics for the Logic of Proofs
Data storage interpretation of labeted modal logic
Explicit Provability and Constructive Semantics
Implementing and Automating Basic Number Theory in MetaPRL Proof Assistent
Intuitionistic Logic with Classical Atoms
Kolmogorov and Godel s approach to intuitionistic logic: current developments
Logic of Proofs
Logic of Proofs and provability
Logoc of knowledge with jastifications
MetaPRL - A Modular Logic Environment
Models for logic of proofs
Naive Computational Type Theory
On Explicit Reflection in Theorem Proving and Formal Verification
On First Order Logic of Proofs
On the Complexity of Explicit Modal Logics
On the Complexity of the Reflected Logic of Proofs
Operational modal logic
Provability logics with quantifiers on proofs
Reflective Lambda-calculus
Tableaux for the Logic of Proofs
The single-conclusion proof logic and inference rules specification
Unified Semantics for Modality and Lambda-terms via Proof Polinomials
Погружение модального лямбда-исчисления в логику доказательств
Подход Колмогорова и Геделя к интуиционистской логике и работы последнего десятилетия в этом направлении