Matches in SemOpenAlex for { <https://semopenalex.org/work/W1589302457> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1589302457 abstract "We present a tableau-based calculus for the finite and infinite valued Post logics, well suited for automated deduction. We use a possible world semantics and a prefixed tableau calculus based on it. The formula prefixes contain arithmetical expressions and variables. The world-information is handled by solving constraints which express ordering problems. Some hints of future work are given." @default.
- W1589302457 created "2016-06-24" @default.
- W1589302457 creator A5007783511 @default.
- W1589302457 date "1993-01-01" @default.
- W1589302457 modified "2023-09-25" @default.
- W1589302457 title "Analytic tableaux for finite and infinite Post logics" @default.
- W1589302457 cites W2046780264 @default.
- W1589302457 cites W2096482476 @default.
- W1589302457 cites W4233253115 @default.
- W1589302457 cites W4301968143 @default.
- W1589302457 cites W51963540 @default.
- W1589302457 doi "https://doi.org/10.1007/3-540-57182-5_68" @default.
- W1589302457 hasPublicationYear "1993" @default.
- W1589302457 type Work @default.
- W1589302457 sameAs 1589302457 @default.
- W1589302457 citedByCount "0" @default.
- W1589302457 crossrefType "book-chapter" @default.
- W1589302457 hasAuthorship W1589302457A5007783511 @default.
- W1589302457 hasConcept C112343008 @default.
- W1589302457 hasConcept C11413529 @default.
- W1589302457 hasConcept C118615104 @default.
- W1589302457 hasConcept C136119220 @default.
- W1589302457 hasConcept C138885662 @default.
- W1589302457 hasConcept C141603448 @default.
- W1589302457 hasConcept C184337299 @default.
- W1589302457 hasConcept C199343813 @default.
- W1589302457 hasConcept C199360897 @default.
- W1589302457 hasConcept C202444582 @default.
- W1589302457 hasConcept C2777686260 @default.
- W1589302457 hasConcept C33923547 @default.
- W1589302457 hasConcept C41008148 @default.
- W1589302457 hasConcept C41895202 @default.
- W1589302457 hasConcept C71924100 @default.
- W1589302457 hasConcept C80444323 @default.
- W1589302457 hasConceptScore W1589302457C112343008 @default.
- W1589302457 hasConceptScore W1589302457C11413529 @default.
- W1589302457 hasConceptScore W1589302457C118615104 @default.
- W1589302457 hasConceptScore W1589302457C136119220 @default.
- W1589302457 hasConceptScore W1589302457C138885662 @default.
- W1589302457 hasConceptScore W1589302457C141603448 @default.
- W1589302457 hasConceptScore W1589302457C184337299 @default.
- W1589302457 hasConceptScore W1589302457C199343813 @default.
- W1589302457 hasConceptScore W1589302457C199360897 @default.
- W1589302457 hasConceptScore W1589302457C202444582 @default.
- W1589302457 hasConceptScore W1589302457C2777686260 @default.
- W1589302457 hasConceptScore W1589302457C33923547 @default.
- W1589302457 hasConceptScore W1589302457C41008148 @default.
- W1589302457 hasConceptScore W1589302457C41895202 @default.
- W1589302457 hasConceptScore W1589302457C71924100 @default.
- W1589302457 hasConceptScore W1589302457C80444323 @default.
- W1589302457 hasLocation W15893024571 @default.
- W1589302457 hasOpenAccess W1589302457 @default.
- W1589302457 hasPrimaryLocation W15893024571 @default.
- W1589302457 hasRelatedWork W126011539 @default.
- W1589302457 hasRelatedWork W1494727795 @default.
- W1589302457 hasRelatedWork W1505779129 @default.
- W1589302457 hasRelatedWork W1526521607 @default.
- W1589302457 hasRelatedWork W1548268448 @default.
- W1589302457 hasRelatedWork W1574253590 @default.
- W1589302457 hasRelatedWork W1591945660 @default.
- W1589302457 hasRelatedWork W1598668400 @default.
- W1589302457 hasRelatedWork W1813202136 @default.
- W1589302457 hasRelatedWork W203833057 @default.
- W1589302457 hasRelatedWork W2051358061 @default.
- W1589302457 hasRelatedWork W2076410236 @default.
- W1589302457 hasRelatedWork W2135088169 @default.
- W1589302457 hasRelatedWork W2138973931 @default.
- W1589302457 hasRelatedWork W2147302656 @default.
- W1589302457 hasRelatedWork W2153265271 @default.
- W1589302457 hasRelatedWork W2153863776 @default.
- W1589302457 hasRelatedWork W2172979345 @default.
- W1589302457 hasRelatedWork W2950841209 @default.
- W1589302457 hasRelatedWork W2951331829 @default.
- W1589302457 isParatext "false" @default.
- W1589302457 isRetracted "false" @default.
- W1589302457 magId "1589302457" @default.
- W1589302457 workType "book-chapter" @default.