- Theorem proving for classical logic with partial functions by reduction to Kleene logic
Description
- Title: Theorem proving for classical logic with partial functions by reduction to Kleene logic
- Journal title: Journal of Logic and Computation
- Creator: Nivelle, Hans de
- Pages: s. 509-548
- Description: Zawiera ilustracje. ; Bibliogr. ; Streszcz. w jęz. ang.
- Language of abstract: eng
- Date issued: 2017
- Type: Tekst
- Identifier: ISSN 0955-792X ; https://doi.org/10.1093/logcom/exu071
- Language: eng
- Has version: http://dx.doi.org/10.1093/logcom/exu071
- Detailed object type: art
- Object type: Artykuł
- Location: Vol. 27, iss. 2 (2017)