Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233480703> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4233480703 endingPage "1015" @default.
- W4233480703 startingPage "1015" @default.
- W4233480703 abstract "In this paper, simple algebraic proofs are given for the completeness theorems for the implicational and universal logics of algebras. The proofs are obtained by examining congruences, $theta$, on the algebra of terms, $F(omega )$, such that $F(omega )/theta$ belongs to the given class of algebras. Thus, they are direct analogs of G. Birkhoffâs proof of the completeness theorem for equational logic." @default.
- W4233480703 created "2022-05-12" @default.
- W4233480703 creator A5029141792 @default.
- W4233480703 date "1988-08-01" @default.
- W4233480703 modified "2023-09-26" @default.
- W4233480703 title "Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences" @default.
- W4233480703 doi "https://doi.org/10.2307/2047077" @default.
- W4233480703 hasPublicationYear "1988" @default.
- W4233480703 type Work @default.
- W4233480703 citedByCount "1" @default.
- W4233480703 countsByYear W42334807032020 @default.
- W4233480703 crossrefType "journal-article" @default.
- W4233480703 hasAuthorship W4233480703A5029141792 @default.
- W4233480703 hasBestOaLocation W42334807031 @default.
- W4233480703 hasConcept C108710211 @default.
- W4233480703 hasConcept C111472728 @default.
- W4233480703 hasConcept C118615104 @default.
- W4233480703 hasConcept C134306372 @default.
- W4233480703 hasConcept C136119220 @default.
- W4233480703 hasConcept C138885662 @default.
- W4233480703 hasConcept C154945302 @default.
- W4233480703 hasConcept C17231256 @default.
- W4233480703 hasConcept C200116569 @default.
- W4233480703 hasConcept C202444582 @default.
- W4233480703 hasConcept C2524010 @default.
- W4233480703 hasConcept C2777212361 @default.
- W4233480703 hasConcept C2780586882 @default.
- W4233480703 hasConcept C33923547 @default.
- W4233480703 hasConcept C41008148 @default.
- W4233480703 hasConcept C86523455 @default.
- W4233480703 hasConcept C9376300 @default.
- W4233480703 hasConcept C9973445 @default.
- W4233480703 hasConceptScore W4233480703C108710211 @default.
- W4233480703 hasConceptScore W4233480703C111472728 @default.
- W4233480703 hasConceptScore W4233480703C118615104 @default.
- W4233480703 hasConceptScore W4233480703C134306372 @default.
- W4233480703 hasConceptScore W4233480703C136119220 @default.
- W4233480703 hasConceptScore W4233480703C138885662 @default.
- W4233480703 hasConceptScore W4233480703C154945302 @default.
- W4233480703 hasConceptScore W4233480703C17231256 @default.
- W4233480703 hasConceptScore W4233480703C200116569 @default.
- W4233480703 hasConceptScore W4233480703C202444582 @default.
- W4233480703 hasConceptScore W4233480703C2524010 @default.
- W4233480703 hasConceptScore W4233480703C2777212361 @default.
- W4233480703 hasConceptScore W4233480703C2780586882 @default.
- W4233480703 hasConceptScore W4233480703C33923547 @default.
- W4233480703 hasConceptScore W4233480703C41008148 @default.
- W4233480703 hasConceptScore W4233480703C86523455 @default.
- W4233480703 hasConceptScore W4233480703C9376300 @default.
- W4233480703 hasConceptScore W4233480703C9973445 @default.
- W4233480703 hasIssue "4" @default.
- W4233480703 hasLocation W42334807031 @default.
- W4233480703 hasOpenAccess W4233480703 @default.
- W4233480703 hasPrimaryLocation W42334807031 @default.
- W4233480703 hasRelatedWork W1528672899 @default.
- W4233480703 hasRelatedWork W1887191277 @default.
- W4233480703 hasRelatedWork W1976533476 @default.
- W4233480703 hasRelatedWork W2040371336 @default.
- W4233480703 hasRelatedWork W2088869122 @default.
- W4233480703 hasRelatedWork W2367710238 @default.
- W4233480703 hasRelatedWork W2376242321 @default.
- W4233480703 hasRelatedWork W31250260 @default.
- W4233480703 hasRelatedWork W3177102357 @default.
- W4233480703 hasRelatedWork W4236807376 @default.
- W4233480703 hasVolume "103" @default.
- W4233480703 isParatext "false" @default.
- W4233480703 isRetracted "false" @default.
- W4233480703 workType "article" @default.