Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549647007> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1549647007 endingPage "109" @default.
- W1549647007 startingPage "102" @default.
- W1549647007 abstract "Tarski’s pioneer work on abstract logic conceived consequence structures as a pair (X, Cn) where X is a non empty set (infinite and denumerable) and Cn is a function on the power set of X, satisfying some postulates. Based on these axioms, Tarski proved a series of important results. A detailed analysis of such proofs shows that several of these results do not depend on the relation of inclusion between sets but only on structural properties of this relation, which may be seen as an ordered structure. Even the notion of finiteness, which is employed in the postulates may be replaced by an ordered substructure satisfying some constraints. Therefore, Tarski’s structure could be represented in a still more abstract setting where reference is made only to the ordering relation on the domain of the structure. In our work we construct this abstract consequence structure and show that it keeps some results of Tarski’s original construction." @default.
- W1549647007 created "2016-06-24" @default.
- W1549647007 creator A5032121561 @default.
- W1549647007 date "2005-01-01" @default.
- W1549647007 modified "2023-09-26" @default.
- W1549647007 title "A note on abstract consequence structures" @default.
- W1549647007 cites W1506979002 @default.
- W1549647007 cites W2260339745 @default.
- W1549647007 cites W2495085771 @default.
- W1549647007 hasPublicationYear "2005" @default.
- W1549647007 type Work @default.
- W1549647007 sameAs 1549647007 @default.
- W1549647007 citedByCount "0" @default.
- W1549647007 crossrefType "journal-article" @default.
- W1549647007 hasAuthorship W1549647007A5032121561 @default.
- W1549647007 hasConcept C100643331 @default.
- W1549647007 hasConcept C108710211 @default.
- W1549647007 hasConcept C110729354 @default.
- W1549647007 hasConcept C118615104 @default.
- W1549647007 hasConcept C134306372 @default.
- W1549647007 hasConcept C136119220 @default.
- W1549647007 hasConcept C167729594 @default.
- W1549647007 hasConcept C177264268 @default.
- W1549647007 hasConcept C199360897 @default.
- W1549647007 hasConcept C202444582 @default.
- W1549647007 hasConcept C2524010 @default.
- W1549647007 hasConcept C25343380 @default.
- W1549647007 hasConcept C33923547 @default.
- W1549647007 hasConcept C36503486 @default.
- W1549647007 hasConcept C41008148 @default.
- W1549647007 hasConcept C77088390 @default.
- W1549647007 hasConceptScore W1549647007C100643331 @default.
- W1549647007 hasConceptScore W1549647007C108710211 @default.
- W1549647007 hasConceptScore W1549647007C110729354 @default.
- W1549647007 hasConceptScore W1549647007C118615104 @default.
- W1549647007 hasConceptScore W1549647007C134306372 @default.
- W1549647007 hasConceptScore W1549647007C136119220 @default.
- W1549647007 hasConceptScore W1549647007C167729594 @default.
- W1549647007 hasConceptScore W1549647007C177264268 @default.
- W1549647007 hasConceptScore W1549647007C199360897 @default.
- W1549647007 hasConceptScore W1549647007C202444582 @default.
- W1549647007 hasConceptScore W1549647007C2524010 @default.
- W1549647007 hasConceptScore W1549647007C25343380 @default.
- W1549647007 hasConceptScore W1549647007C33923547 @default.
- W1549647007 hasConceptScore W1549647007C36503486 @default.
- W1549647007 hasConceptScore W1549647007C41008148 @default.
- W1549647007 hasConceptScore W1549647007C77088390 @default.
- W1549647007 hasIssue "1" @default.
- W1549647007 hasLocation W15496470071 @default.
- W1549647007 hasOpenAccess W1549647007 @default.
- W1549647007 hasPrimaryLocation W15496470071 @default.
- W1549647007 hasRelatedWork W1558043875 @default.
- W1549647007 hasRelatedWork W1783789451 @default.
- W1549647007 hasRelatedWork W1981710605 @default.
- W1549647007 hasRelatedWork W1995164411 @default.
- W1549647007 hasRelatedWork W1998301297 @default.
- W1549647007 hasRelatedWork W2045362720 @default.
- W1549647007 hasRelatedWork W2073448787 @default.
- W1549647007 hasRelatedWork W2084960870 @default.
- W1549647007 hasRelatedWork W2099129599 @default.
- W1549647007 hasRelatedWork W2114195278 @default.
- W1549647007 hasRelatedWork W2122498270 @default.
- W1549647007 hasRelatedWork W2128742310 @default.
- W1549647007 hasRelatedWork W2137263714 @default.
- W1549647007 hasRelatedWork W2164077872 @default.
- W1549647007 hasRelatedWork W2323366404 @default.
- W1549647007 hasRelatedWork W2523760089 @default.
- W1549647007 hasRelatedWork W2547685566 @default.
- W1549647007 hasRelatedWork W2606353032 @default.
- W1549647007 hasRelatedWork W2736073068 @default.
- W1549647007 hasRelatedWork W2895329947 @default.
- W1549647007 hasVolume "6" @default.
- W1549647007 isParatext "false" @default.
- W1549647007 isRetracted "false" @default.
- W1549647007 magId "1549647007" @default.
- W1549647007 workType "article" @default.