# Evgenij Dashkov

- Citations Per Year

- Citations Per Year

- Full text PDF available (1)

2009

2011

- This year (0)
- Last 5 years (0)
- Last 10 years (2)

Learn More

- Evgenij Dashkov
- J. Log. Comput.
- 2011

- Evgenij Dashkov
- 2009

The logic of proofs LP was introduced in [3] and thoroughly studied in [1]. LP is a natural extension of the propositional calculus in the language representing proofs as formal objects. Proof expressing terms are constructed using constants, variables, and symbols of natural operations on derivations. Then formula t :F has the intended interpretation “t is… (More)

- ‹
- 1
- ›