Triple dots in a formal language

Journal of Automated Reasoning

Volumn 22, Issue 3, 1999, Pages 223-239

  Łukaszewicz, Leon ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; FORMAL LOGIC; ITERATIVE METHODS; THEOREM PROVING;

APPLIED LOGIC; AUTOMATED DEDUCTION; PROOF CHECKING; TRIPLE DOTS;

KNOWLEDGE BASED SYSTEMS;

EID: 0033086180     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1006086330571     Document Type: Article

References (10)

1. Bencivenga, E.: Free logics, in D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic, Vol. 3, Reidel, Dordrecht, 1986.
2. Bjørner, D. and Jones, C. B. (eds.): The Vienna Development Method, Lecture Notes in Computer Science 61, Springer-Verlag, 1978.
3. Farmer, W. M.: A partial function version of Church's simple theory of types, J. Symbolic Logic 55 (1990), 1269-1291.
4. Harrison, J.: A Mizar Mode for HOL, Lecture Notes in Computer Science 1125, Springer-Verlag, 1996.
5. Farmer, W. M., Guttman, J. D. and Thayer, J.: IMPS: An interactive mathematical proof system, J. Automated Reasoning 11 (1993), 213-248.
6. Lukaszewicz, L.: A formal language of computer related mathematics, ICS PAS Report, Warsaw, to appear.
7. Quine, W.: Mathematical Logic, Harvard Univ. Press, Cambridge, MA, 1955.
8. The RAISE Language Group: The RAISE Specification Language, Prentice-Hall, 1992.
9. Russell, B.: On denoting, Mind n.s. 14 (1905), 479-493.
10. Trybulec, A. and Blair, H. A.: Computer aided reasoning, Lecture Notes in Computer Science 193 (1985), 406-412.