Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108756969> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2108756969 endingPage "880" @default.
- W2108756969 startingPage "859" @default.
- W2108756969 abstract "Abstract We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras." @default.
- W2108756969 created "2016-06-24" @default.
- W2108756969 creator A5041352997 @default.
- W2108756969 date "1999-06-01" @default.
- W2108756969 modified "2023-10-13" @default.
- W2108756969 title "Unification in intuitionistic logic" @default.
- W2108756969 cites W1497857623 @default.
- W2108756969 cites W1986585422 @default.
- W2108756969 cites W2013539775 @default.
- W2108756969 cites W2069377225 @default.
- W2108756969 cites W2077311448 @default.
- W2108756969 cites W2914314632 @default.
- W2108756969 cites W4213130966 @default.
- W2108756969 doi "https://doi.org/10.2307/2586506" @default.
- W2108756969 hasPublicationYear "1999" @default.
- W2108756969 type Work @default.
- W2108756969 sameAs 2108756969 @default.
- W2108756969 citedByCount "148" @default.
- W2108756969 countsByYear W21087569692012 @default.
- W2108756969 countsByYear W21087569692013 @default.
- W2108756969 countsByYear W21087569692014 @default.
- W2108756969 countsByYear W21087569692015 @default.
- W2108756969 countsByYear W21087569692016 @default.
- W2108756969 countsByYear W21087569692017 @default.
- W2108756969 countsByYear W21087569692018 @default.
- W2108756969 countsByYear W21087569692019 @default.
- W2108756969 countsByYear W21087569692020 @default.
- W2108756969 countsByYear W21087569692021 @default.
- W2108756969 countsByYear W21087569692022 @default.
- W2108756969 countsByYear W21087569692023 @default.
- W2108756969 crossrefType "journal-article" @default.
- W2108756969 hasAuthorship W2108756969A5041352997 @default.
- W2108756969 hasConcept C105795698 @default.
- W2108756969 hasConcept C108710211 @default.
- W2108756969 hasConcept C118615104 @default.
- W2108756969 hasConcept C136119220 @default.
- W2108756969 hasConcept C136197465 @default.
- W2108756969 hasConcept C17744445 @default.
- W2108756969 hasConcept C178421362 @default.
- W2108756969 hasConcept C187062830 @default.
- W2108756969 hasConcept C199360897 @default.
- W2108756969 hasConcept C199539241 @default.
- W2108756969 hasConcept C202444582 @default.
- W2108756969 hasConcept C2524010 @default.
- W2108756969 hasConcept C2777183706 @default.
- W2108756969 hasConcept C2778003309 @default.
- W2108756969 hasConcept C33923547 @default.
- W2108756969 hasConcept C41008148 @default.
- W2108756969 hasConcept C67820243 @default.
- W2108756969 hasConcept C69562738 @default.
- W2108756969 hasConcept C96146094 @default.
- W2108756969 hasConceptScore W2108756969C105795698 @default.
- W2108756969 hasConceptScore W2108756969C108710211 @default.
- W2108756969 hasConceptScore W2108756969C118615104 @default.
- W2108756969 hasConceptScore W2108756969C136119220 @default.
- W2108756969 hasConceptScore W2108756969C136197465 @default.
- W2108756969 hasConceptScore W2108756969C17744445 @default.
- W2108756969 hasConceptScore W2108756969C178421362 @default.
- W2108756969 hasConceptScore W2108756969C187062830 @default.
- W2108756969 hasConceptScore W2108756969C199360897 @default.
- W2108756969 hasConceptScore W2108756969C199539241 @default.
- W2108756969 hasConceptScore W2108756969C202444582 @default.
- W2108756969 hasConceptScore W2108756969C2524010 @default.
- W2108756969 hasConceptScore W2108756969C2777183706 @default.
- W2108756969 hasConceptScore W2108756969C2778003309 @default.
- W2108756969 hasConceptScore W2108756969C33923547 @default.
- W2108756969 hasConceptScore W2108756969C41008148 @default.
- W2108756969 hasConceptScore W2108756969C67820243 @default.
- W2108756969 hasConceptScore W2108756969C69562738 @default.
- W2108756969 hasConceptScore W2108756969C96146094 @default.
- W2108756969 hasIssue "2" @default.
- W2108756969 hasLocation W21087569691 @default.
- W2108756969 hasOpenAccess W2108756969 @default.
- W2108756969 hasPrimaryLocation W21087569691 @default.
- W2108756969 hasRelatedWork W1522216932 @default.
- W2108756969 hasRelatedWork W1557945163 @default.
- W2108756969 hasRelatedWork W2044173971 @default.
- W2108756969 hasRelatedWork W2072561716 @default.
- W2108756969 hasRelatedWork W2108756969 @default.
- W2108756969 hasRelatedWork W2134523982 @default.
- W2108756969 hasRelatedWork W2756499695 @default.
- W2108756969 hasRelatedWork W2774874668 @default.
- W2108756969 hasRelatedWork W4212919854 @default.
- W2108756969 hasRelatedWork W4310816230 @default.
- W2108756969 hasVolume "64" @default.
- W2108756969 isParatext "false" @default.
- W2108756969 isRetracted "false" @default.
- W2108756969 magId "2108756969" @default.
- W2108756969 workType "article" @default.