Matches in SemOpenAlex for { <https://semopenalex.org/work/W2986838422> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2986838422 endingPage "85" @default.
- W2986838422 startingPage "80" @default.
- W2986838422 abstract "We expose two different notions of validity in relation algebras: one is based on Tarski’s equational calculus (say, ‘T-validity’), and the other arises by the canonical 1-order translation from the ordinary semantic validity (say, ‘t-validity’). In the first section we characterize both validities via provability in finite-variable logics and the corresponding cutfree derivability in formula-rewriting 1-order systems. In the second section we characterize T-validity via derivability in a suitable cutfree term-rewriting system in the basic algebraic language, which is equivalent to the algebraic display calculus of Gore. In the third section we address 1-order 2-variable decidability and validity using both methods." @default.
- W2986838422 created "2019-11-22" @default.
- W2986838422 creator A5017803296 @default.
- W2986838422 date "1998-01-01" @default.
- W2986838422 modified "2023-09-26" @default.
- W2986838422 title "Proof systems in relation algebra." @default.
- W2986838422 hasPublicationYear "1998" @default.
- W2986838422 type Work @default.
- W2986838422 sameAs 2986838422 @default.
- W2986838422 citedByCount "0" @default.
- W2986838422 crossrefType "journal-article" @default.
- W2986838422 hasAuthorship W2986838422A5017803296 @default.
- W2986838422 hasConcept C111919701 @default.
- W2986838422 hasConcept C118615104 @default.
- W2986838422 hasConcept C134306372 @default.
- W2986838422 hasConcept C136119220 @default.
- W2986838422 hasConcept C153269930 @default.
- W2986838422 hasConcept C154690210 @default.
- W2986838422 hasConcept C199343813 @default.
- W2986838422 hasConcept C199360897 @default.
- W2986838422 hasConcept C202444582 @default.
- W2986838422 hasConcept C25343380 @default.
- W2986838422 hasConcept C2777686260 @default.
- W2986838422 hasConcept C2779729104 @default.
- W2986838422 hasConcept C2780129039 @default.
- W2986838422 hasConcept C33923547 @default.
- W2986838422 hasConcept C41008148 @default.
- W2986838422 hasConcept C71924100 @default.
- W2986838422 hasConcept C77088390 @default.
- W2986838422 hasConcept C77906462 @default.
- W2986838422 hasConcept C9376300 @default.
- W2986838422 hasConceptScore W2986838422C111919701 @default.
- W2986838422 hasConceptScore W2986838422C118615104 @default.
- W2986838422 hasConceptScore W2986838422C134306372 @default.
- W2986838422 hasConceptScore W2986838422C136119220 @default.
- W2986838422 hasConceptScore W2986838422C153269930 @default.
- W2986838422 hasConceptScore W2986838422C154690210 @default.
- W2986838422 hasConceptScore W2986838422C199343813 @default.
- W2986838422 hasConceptScore W2986838422C199360897 @default.
- W2986838422 hasConceptScore W2986838422C202444582 @default.
- W2986838422 hasConceptScore W2986838422C25343380 @default.
- W2986838422 hasConceptScore W2986838422C2777686260 @default.
- W2986838422 hasConceptScore W2986838422C2779729104 @default.
- W2986838422 hasConceptScore W2986838422C2780129039 @default.
- W2986838422 hasConceptScore W2986838422C33923547 @default.
- W2986838422 hasConceptScore W2986838422C41008148 @default.
- W2986838422 hasConceptScore W2986838422C71924100 @default.
- W2986838422 hasConceptScore W2986838422C77088390 @default.
- W2986838422 hasConceptScore W2986838422C77906462 @default.
- W2986838422 hasConceptScore W2986838422C9376300 @default.
- W2986838422 hasLocation W29868384221 @default.
- W2986838422 hasOpenAccess W2986838422 @default.
- W2986838422 hasPrimaryLocation W29868384221 @default.
- W2986838422 hasRelatedWork W1511090187 @default.
- W2986838422 hasRelatedWork W1588649080 @default.
- W2986838422 hasRelatedWork W1608110916 @default.
- W2986838422 hasRelatedWork W184413736 @default.
- W2986838422 hasRelatedWork W1994332324 @default.
- W2986838422 hasRelatedWork W2042779906 @default.
- W2986838422 hasRelatedWork W2049353552 @default.
- W2986838422 hasRelatedWork W2073738669 @default.
- W2986838422 hasRelatedWork W2099977798 @default.
- W2986838422 hasRelatedWork W2107848035 @default.
- W2986838422 hasRelatedWork W2128776156 @default.
- W2986838422 hasRelatedWork W2142472201 @default.
- W2986838422 hasRelatedWork W2614883855 @default.
- W2986838422 hasRelatedWork W2783587217 @default.
- W2986838422 hasRelatedWork W2994731399 @default.
- W2986838422 hasRelatedWork W3100936774 @default.
- W2986838422 hasRelatedWork W3181940067 @default.
- W2986838422 hasRelatedWork W3194163377 @default.
- W2986838422 hasRelatedWork W44069527 @default.
- W2986838422 hasRelatedWork W975773914 @default.
- W2986838422 isParatext "false" @default.
- W2986838422 isRetracted "false" @default.
- W2986838422 magId "2986838422" @default.
- W2986838422 workType "article" @default.