Classical logic with partial functions

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

Volumn 6173 LNAI, Issue , 2010, Pages 203-217

  De Nivelle, Hans ^a  

^a UNIVERSITY OF WROC AW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL LOGIC; PARTIAL FUNCTIONS; SEQUENT CALCULUS; TRUTH VALUES;

AUTOMATA THEORY; CALCULATIONS; DIFFERENTIATION (CALCULUS); PROBLEM SOLVING;

SEMANTICS;

EID: 77955240470     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14203-1_18     Document Type: Conference Paper

References (9)

1. Berezin, S., Barrett, C., Shikanian, I., Chechik, M., Gurfinkel, A., Dill, D.: A practical approach to partial functions in CVC Lite. In: Selected Papers from the Workshop on Disproving and the Second International Workshop on Pragmatics of Decision Procedures (PDPAR 04), July 2005. Electronic Notes in Theoretical Computer Science, vol. 125, pp. 13-23. Elsevier, Amsterdam (2005) (Pubitemid 40929387)
2. Darvas, Á., Mehta, F., Rudich, A.: Efficient well-definedness checking. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 100-115. Springer, Heidelberg (2008)
3. de Nivelle, H.: Theorem prover Geo 2007F. Can be obtained from the author's homepage (September 2007)
4. de Nivelle, H., Meng, J.: Geometric resolution: A proof procedure based on finite model search. In: Harrison, J., Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 303-317. Springer, Heidelberg (2006)
5. Farmer, W.M.: Mechanizing the traditional approach to partial functions. In: Farmer, W., Kerber, M., Kohlhase, M. (eds.) Proceedings of the Workshop on the Mechanization of Partial Functions (associated to CADE 13), pp. 27-32 (1996)
6. Farmer, W.M., Guttman, J.D.: A set theory with support for partial functions. Studia Logica 66, 59-78 (2000)
7. Hähnle, R.: Many-valued logic, partiality, and abstraction in formal specification languages. Logic Journal of the IGPL 13(4), 415-433 (2005)
8. Kerber, M., Kohlhase, M.: A mechanization of strong Kleene logic for partial functions. In: Bundy, A. (ed.) CADE 1994. LNCS, vol. 814, pp. 371-385. Springer, Heidelberg (1994)
9. Mehta, F.: A practical approach to partiality - a proof based approach. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 238-257. Springer, Heidelberg (2008)