Matches in SemOpenAlex for { <https://semopenalex.org/work/W62016554> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W62016554 endingPage "561" @default.
- W62016554 startingPage "537" @default.
- W62016554 abstract "This article is a report on research in progress into the structure of finite diagrams of intuitionistic propositional logic with the aid of automated reasoning systems for larger calculations. Afragment of a propositional logic is the set of formulae built up from a finite number of propositional variables by means of a number of connectives of the logic, among which possibly non-standard ones like ¬¬ or ↔ which are studied here. Thediagram of that fragment is the set of equivalence classes of its formulae partially ordered by the derivability relation. N.G. de Bruijn's concept of exact model has been used to construct subdiagrams of the [p, q, ∧, →, ¬]-fragment." @default.
- W62016554 created "2016-06-24" @default.
- W62016554 creator A5035399736 @default.
- W62016554 creator A5042830841 @default.
- W62016554 creator A5087593654 @default.
- W62016554 date "1991-12-01" @default.
- W62016554 modified "2023-10-16" @default.
- W62016554 title "Computations in fragments of intuitionistic propositional logic" @default.
- W62016554 cites W104937841 @default.
- W62016554 cites W1195330553 @default.
- W62016554 cites W1699512023 @default.
- W62016554 cites W1978576229 @default.
- W62016554 cites W2252582694 @default.
- W62016554 doi "https://doi.org/10.1007/bf01880328" @default.
- W62016554 hasPublicationYear "1991" @default.
- W62016554 type Work @default.
- W62016554 sameAs 62016554 @default.
- W62016554 citedByCount "15" @default.
- W62016554 countsByYear W620165542015 @default.
- W62016554 countsByYear W620165542017 @default.
- W62016554 countsByYear W620165542019 @default.
- W62016554 countsByYear W620165542021 @default.
- W62016554 crossrefType "journal-article" @default.
- W62016554 hasAuthorship W62016554A5035399736 @default.
- W62016554 hasAuthorship W62016554A5042830841 @default.
- W62016554 hasAuthorship W62016554A5087593654 @default.
- W62016554 hasBestOaLocation W620165542 @default.
- W62016554 hasConcept C102993220 @default.
- W62016554 hasConcept C110039528 @default.
- W62016554 hasConcept C11413529 @default.
- W62016554 hasConcept C118615104 @default.
- W62016554 hasConcept C136119220 @default.
- W62016554 hasConcept C14523651 @default.
- W62016554 hasConcept C156103551 @default.
- W62016554 hasConcept C170320093 @default.
- W62016554 hasConcept C177264268 @default.
- W62016554 hasConcept C178421362 @default.
- W62016554 hasConcept C191222856 @default.
- W62016554 hasConcept C199360897 @default.
- W62016554 hasConcept C202444582 @default.
- W62016554 hasConcept C203264685 @default.
- W62016554 hasConcept C203659156 @default.
- W62016554 hasConcept C2776235265 @default.
- W62016554 hasConcept C2780069185 @default.
- W62016554 hasConcept C33203268 @default.
- W62016554 hasConcept C33923547 @default.
- W62016554 hasConcept C3845977 @default.
- W62016554 hasConcept C41008148 @default.
- W62016554 hasConcept C69562738 @default.
- W62016554 hasConcept C74640108 @default.
- W62016554 hasConcept C80444323 @default.
- W62016554 hasConceptScore W62016554C102993220 @default.
- W62016554 hasConceptScore W62016554C110039528 @default.
- W62016554 hasConceptScore W62016554C11413529 @default.
- W62016554 hasConceptScore W62016554C118615104 @default.
- W62016554 hasConceptScore W62016554C136119220 @default.
- W62016554 hasConceptScore W62016554C14523651 @default.
- W62016554 hasConceptScore W62016554C156103551 @default.
- W62016554 hasConceptScore W62016554C170320093 @default.
- W62016554 hasConceptScore W62016554C177264268 @default.
- W62016554 hasConceptScore W62016554C178421362 @default.
- W62016554 hasConceptScore W62016554C191222856 @default.
- W62016554 hasConceptScore W62016554C199360897 @default.
- W62016554 hasConceptScore W62016554C202444582 @default.
- W62016554 hasConceptScore W62016554C203264685 @default.
- W62016554 hasConceptScore W62016554C203659156 @default.
- W62016554 hasConceptScore W62016554C2776235265 @default.
- W62016554 hasConceptScore W62016554C2780069185 @default.
- W62016554 hasConceptScore W62016554C33203268 @default.
- W62016554 hasConceptScore W62016554C33923547 @default.
- W62016554 hasConceptScore W62016554C3845977 @default.
- W62016554 hasConceptScore W62016554C41008148 @default.
- W62016554 hasConceptScore W62016554C69562738 @default.
- W62016554 hasConceptScore W62016554C74640108 @default.
- W62016554 hasConceptScore W62016554C80444323 @default.
- W62016554 hasIssue "4" @default.
- W62016554 hasLocation W620165541 @default.
- W62016554 hasLocation W620165542 @default.
- W62016554 hasOpenAccess W62016554 @default.
- W62016554 hasPrimaryLocation W620165541 @default.
- W62016554 hasRelatedWork W1986625420 @default.
- W62016554 hasRelatedWork W2003922364 @default.
- W62016554 hasRelatedWork W2081976468 @default.
- W62016554 hasRelatedWork W2285760602 @default.
- W62016554 hasRelatedWork W3020878688 @default.
- W62016554 hasRelatedWork W3100510665 @default.
- W62016554 hasRelatedWork W3137333128 @default.
- W62016554 hasRelatedWork W3200682096 @default.
- W62016554 hasRelatedWork W4251854500 @default.
- W62016554 hasRelatedWork W4280624848 @default.
- W62016554 hasVolume "7" @default.
- W62016554 isParatext "false" @default.
- W62016554 isRetracted "false" @default.
- W62016554 magId "62016554" @default.
- W62016554 workType "article" @default.