Abstract:
The substitution operation in logic of proofs is axiomatized. For the system constructed, symbolic semantics is introduced and a completeness theorem is proved.
Keywords:logic of proofs, axiomatics of substitution, symbolic semantic, symbolic model, finitely generated reflexive model, tableau of labels, semantic tableau, internalization.
Fulltext:
PDF file (464 kB)
