Matches in SemOpenAlex for { <https://semopenalex.org/work/W2064078503> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2064078503 endingPage "69" @default.
- W2064078503 startingPage "37" @default.
- W2064078503 abstract "Partial functions are the most suitable characterization of program effects. Formal reasoning on programs should be supported by logics dealing with partial functions. In this paper, we present a first order, three valued logic for partial functions, together with a semantical motivation of its model theory. We also present a calculus for the logic, proving its soundness and completeness. The calculus is introduced together with a methodology for building calculi for logics involving partial functions." @default.
- W2064078503 created "2016-06-24" @default.
- W2064078503 creator A5004601421 @default.
- W2064078503 creator A5070571461 @default.
- W2064078503 date "1990-07-01" @default.
- W2064078503 modified "2023-09-29" @default.
- W2064078503 title "A first order logic for partial functions" @default.
- W2064078503 cites W1964113811 @default.
- W2064078503 cites W1970554275 @default.
- W2064078503 cites W1981321277 @default.
- W2064078503 cites W1983043931 @default.
- W2064078503 cites W2003531456 @default.
- W2064078503 cites W2064876896 @default.
- W2064078503 cites W2089387242 @default.
- W2064078503 cites W2321068082 @default.
- W2064078503 cites W868252825 @default.
- W2064078503 doi "https://doi.org/10.1016/0304-3975(90)90005-3" @default.
- W2064078503 hasPublicationYear "1990" @default.
- W2064078503 type Work @default.
- W2064078503 sameAs 2064078503 @default.
- W2064078503 citedByCount "16" @default.
- W2064078503 countsByYear W20640785032013 @default.
- W2064078503 countsByYear W20640785032020 @default.
- W2064078503 countsByYear W20640785032021 @default.
- W2064078503 countsByYear W20640785032023 @default.
- W2064078503 crossrefType "journal-article" @default.
- W2064078503 hasAuthorship W2064078503A5004601421 @default.
- W2064078503 hasAuthorship W2064078503A5070571461 @default.
- W2064078503 hasBestOaLocation W20640785031 @default.
- W2064078503 hasConcept C10138342 @default.
- W2064078503 hasConcept C102993220 @default.
- W2064078503 hasConcept C11413529 @default.
- W2064078503 hasConcept C118615104 @default.
- W2064078503 hasConcept C144791301 @default.
- W2064078503 hasConcept C162324750 @default.
- W2064078503 hasConcept C169896238 @default.
- W2064078503 hasConcept C182306322 @default.
- W2064078503 hasConcept C182359184 @default.
- W2064078503 hasConcept C199343813 @default.
- W2064078503 hasConcept C199360897 @default.
- W2064078503 hasConcept C2777686260 @default.
- W2064078503 hasConcept C33923547 @default.
- W2064078503 hasConcept C41008148 @default.
- W2064078503 hasConcept C71924100 @default.
- W2064078503 hasConceptScore W2064078503C10138342 @default.
- W2064078503 hasConceptScore W2064078503C102993220 @default.
- W2064078503 hasConceptScore W2064078503C11413529 @default.
- W2064078503 hasConceptScore W2064078503C118615104 @default.
- W2064078503 hasConceptScore W2064078503C144791301 @default.
- W2064078503 hasConceptScore W2064078503C162324750 @default.
- W2064078503 hasConceptScore W2064078503C169896238 @default.
- W2064078503 hasConceptScore W2064078503C182306322 @default.
- W2064078503 hasConceptScore W2064078503C182359184 @default.
- W2064078503 hasConceptScore W2064078503C199343813 @default.
- W2064078503 hasConceptScore W2064078503C199360897 @default.
- W2064078503 hasConceptScore W2064078503C2777686260 @default.
- W2064078503 hasConceptScore W2064078503C33923547 @default.
- W2064078503 hasConceptScore W2064078503C41008148 @default.
- W2064078503 hasConceptScore W2064078503C71924100 @default.
- W2064078503 hasIssue "1" @default.
- W2064078503 hasLocation W20640785031 @default.
- W2064078503 hasOpenAccess W2064078503 @default.
- W2064078503 hasPrimaryLocation W20640785031 @default.
- W2064078503 hasRelatedWork W1543481037 @default.
- W2064078503 hasRelatedWork W2054384926 @default.
- W2064078503 hasRelatedWork W2079755737 @default.
- W2064078503 hasRelatedWork W2118359714 @default.
- W2064078503 hasRelatedWork W2142041376 @default.
- W2064078503 hasRelatedWork W2386767533 @default.
- W2064078503 hasRelatedWork W2562957045 @default.
- W2064078503 hasRelatedWork W2626380860 @default.
- W2064078503 hasRelatedWork W4247778000 @default.
- W2064078503 hasRelatedWork W4248504484 @default.
- W2064078503 hasVolume "74" @default.
- W2064078503 isParatext "false" @default.
- W2064078503 isRetracted "false" @default.
- W2064078503 magId "2064078503" @default.
- W2064078503 workType "article" @default.