Models for the logic of proofs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1234, Issue , 1997, Pages 266-275

  Mkrtychev, Alexey ^a  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

COMPLETENESS THEOREMS; FINITE SET; LOGIC OF PROOFS;

COMPUTER CIRCUITS;

EID: 84947916318     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63045-7_27     Document Type: Conference Paper

References (4)

1. S. Artëmov, Operational modal logic, Tech. Rep. 95-29, Mathematical Sciences Institute, Cornell University, December 1995.
2. S. Artëmov, Logic of proofs, Annals of pure and applied logic 67 (1994) 29-59
3. A. Nerode, "Some Lectures on Modal Logic," Tech. Rep 90-25, Mathematical Sciences Institute, Cornell University, April 1990.
4. F. Baader and J. Siekman, Unification Theory, in D. M. Gabbay, C. J. Hogger, and J. A. Robinson (ed.) Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press.