Matches in SemOpenAlex for { <https://semopenalex.org/work/W131572429> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W131572429 abstract "Let F = 〈F,∧∨, 〉 be a free algebra in the class of all algebras of type 〈2, 2〉 freely generated by the set of variables V = {p0, p1, p2, . . .} = {pi : i ∈ N}. The elements of the set F will be called formulas. We shall use the Latin lower case letters x, y, z for formulas and U,X, Y for sets of formulas. The symbol V (U) denotes the set of all variables occurring in formulas of U . By R we denote the set of the following rules:" @default.
- W131572429 created "2016-06-24" @default.
- W131572429 creator A5020730893 @default.
- W131572429 creator A5041395457 @default.
- W131572429 date "1980-01-01" @default.
- W131572429 modified "2023-09-24" @default.
- W131572429 title "ON FINITELY BASED CONSEQUENCE DETERMINED BY A DISTRIBUTIVE LATTICE" @default.
- W131572429 cites W1964800937 @default.
- W131572429 hasPublicationYear "1980" @default.
- W131572429 type Work @default.
- W131572429 sameAs 131572429 @default.
- W131572429 citedByCount "8" @default.
- W131572429 countsByYear W1315724292013 @default.
- W131572429 countsByYear W1315724292015 @default.
- W131572429 countsByYear W1315724292017 @default.
- W131572429 crossrefType "journal-article" @default.
- W131572429 hasAuthorship W131572429A5020730893 @default.
- W131572429 hasAuthorship W131572429A5041395457 @default.
- W131572429 hasConcept C114614502 @default.
- W131572429 hasConcept C11821877 @default.
- W131572429 hasConcept C118615104 @default.
- W131572429 hasConcept C121332964 @default.
- W131572429 hasConcept C136119220 @default.
- W131572429 hasConcept C154945302 @default.
- W131572429 hasConcept C162860070 @default.
- W131572429 hasConcept C177264268 @default.
- W131572429 hasConcept C188971069 @default.
- W131572429 hasConcept C192606457 @default.
- W131572429 hasConcept C199360897 @default.
- W131572429 hasConcept C202444582 @default.
- W131572429 hasConcept C24890656 @default.
- W131572429 hasConcept C2777212361 @default.
- W131572429 hasConcept C2781204021 @default.
- W131572429 hasConcept C33923547 @default.
- W131572429 hasConcept C41008148 @default.
- W131572429 hasConceptScore W131572429C114614502 @default.
- W131572429 hasConceptScore W131572429C11821877 @default.
- W131572429 hasConceptScore W131572429C118615104 @default.
- W131572429 hasConceptScore W131572429C121332964 @default.
- W131572429 hasConceptScore W131572429C136119220 @default.
- W131572429 hasConceptScore W131572429C154945302 @default.
- W131572429 hasConceptScore W131572429C162860070 @default.
- W131572429 hasConceptScore W131572429C177264268 @default.
- W131572429 hasConceptScore W131572429C188971069 @default.
- W131572429 hasConceptScore W131572429C192606457 @default.
- W131572429 hasConceptScore W131572429C199360897 @default.
- W131572429 hasConceptScore W131572429C202444582 @default.
- W131572429 hasConceptScore W131572429C24890656 @default.
- W131572429 hasConceptScore W131572429C2777212361 @default.
- W131572429 hasConceptScore W131572429C2781204021 @default.
- W131572429 hasConceptScore W131572429C33923547 @default.
- W131572429 hasConceptScore W131572429C41008148 @default.
- W131572429 hasLocation W1315724291 @default.
- W131572429 hasOpenAccess W131572429 @default.
- W131572429 hasPrimaryLocation W1315724291 @default.
- W131572429 hasRelatedWork W116349697 @default.
- W131572429 hasRelatedWork W1496509201 @default.
- W131572429 hasRelatedWork W1516065091 @default.
- W131572429 hasRelatedWork W1678068357 @default.
- W131572429 hasRelatedWork W1964800937 @default.
- W131572429 hasRelatedWork W1968377655 @default.
- W131572429 hasRelatedWork W1991165156 @default.
- W131572429 hasRelatedWork W1999780552 @default.
- W131572429 hasRelatedWork W2064678899 @default.
- W131572429 hasRelatedWork W2072668236 @default.
- W131572429 hasRelatedWork W2094349828 @default.
- W131572429 hasRelatedWork W2094685086 @default.
- W131572429 hasRelatedWork W2120812463 @default.
- W131572429 hasRelatedWork W2158230504 @default.
- W131572429 hasRelatedWork W2158518249 @default.
- W131572429 hasRelatedWork W2913309485 @default.
- W131572429 hasRelatedWork W3143943893 @default.
- W131572429 hasRelatedWork W3211652545 @default.
- W131572429 hasRelatedWork W98985150 @default.
- W131572429 hasRelatedWork W2189279426 @default.
- W131572429 isParatext "false" @default.
- W131572429 isRetracted "false" @default.
- W131572429 magId "131572429" @default.
- W131572429 workType "article" @default.