Matches in SemOpenAlex for { <https://semopenalex.org/work/W2083256368> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2083256368 endingPage "102" @default.
- W2083256368 startingPage "87" @default.
- W2083256368 abstract "This paper presents an algorithm of proof search for positive formulas in minimal predicate logic. It is based on the LJB deduction system introduced in [Dowek, G. and Y. Jiang, Eigenvariables, bracketing and the decidability of positive minimal predicate logic, Theoretical Computer Science 360 (2006), pp. 193–208]. The algorithm returns a deduction tree, and hence a proof, when the formula is provable, and a counter-model will be constructed when the formula is unprovable. The soundness and the completeness are proved." @default.
- W2083256368 created "2016-06-24" @default.
- W2083256368 creator A5017037938 @default.
- W2083256368 creator A5090009663 @default.
- W2083256368 date "2008-04-01" @default.
- W2083256368 modified "2023-09-26" @default.
- W2083256368 title "Proof Search and Counter Model of Positive Minimal Predicate Logic" @default.
- W2083256368 cites W185205532 @default.
- W2083256368 cites W1988222104 @default.
- W2083256368 cites W2026722727 @default.
- W2083256368 cites W2131739376 @default.
- W2083256368 doi "https://doi.org/10.1016/j.entcs.2008.04.055" @default.
- W2083256368 hasPublicationYear "2008" @default.
- W2083256368 type Work @default.
- W2083256368 sameAs 2083256368 @default.
- W2083256368 citedByCount "2" @default.
- W2083256368 countsByYear W20832563682016 @default.
- W2083256368 crossrefType "journal-article" @default.
- W2083256368 hasAuthorship W2083256368A5017037938 @default.
- W2083256368 hasAuthorship W2083256368A5090009663 @default.
- W2083256368 hasBestOaLocation W20832563681 @default.
- W2083256368 hasConcept C102944935 @default.
- W2083256368 hasConcept C102993220 @default.
- W2083256368 hasConcept C110039528 @default.
- W2083256368 hasConcept C110251889 @default.
- W2083256368 hasConcept C111472728 @default.
- W2083256368 hasConcept C11413529 @default.
- W2083256368 hasConcept C118615104 @default.
- W2083256368 hasConcept C124656256 @default.
- W2083256368 hasConcept C134306372 @default.
- W2083256368 hasConcept C138885662 @default.
- W2083256368 hasConcept C140146324 @default.
- W2083256368 hasConcept C153269930 @default.
- W2083256368 hasConcept C156325763 @default.
- W2083256368 hasConcept C169896238 @default.
- W2083256368 hasConcept C17231256 @default.
- W2083256368 hasConcept C184337299 @default.
- W2083256368 hasConcept C19689857 @default.
- W2083256368 hasConcept C199360897 @default.
- W2083256368 hasConcept C203659156 @default.
- W2083256368 hasConcept C2039508 @default.
- W2083256368 hasConcept C2779907942 @default.
- W2083256368 hasConcept C30128091 @default.
- W2083256368 hasConcept C33923547 @default.
- W2083256368 hasConcept C3845977 @default.
- W2083256368 hasConcept C39920170 @default.
- W2083256368 hasConcept C41008148 @default.
- W2083256368 hasConcept C73314972 @default.
- W2083256368 hasConcept C80444323 @default.
- W2083256368 hasConceptScore W2083256368C102944935 @default.
- W2083256368 hasConceptScore W2083256368C102993220 @default.
- W2083256368 hasConceptScore W2083256368C110039528 @default.
- W2083256368 hasConceptScore W2083256368C110251889 @default.
- W2083256368 hasConceptScore W2083256368C111472728 @default.
- W2083256368 hasConceptScore W2083256368C11413529 @default.
- W2083256368 hasConceptScore W2083256368C118615104 @default.
- W2083256368 hasConceptScore W2083256368C124656256 @default.
- W2083256368 hasConceptScore W2083256368C134306372 @default.
- W2083256368 hasConceptScore W2083256368C138885662 @default.
- W2083256368 hasConceptScore W2083256368C140146324 @default.
- W2083256368 hasConceptScore W2083256368C153269930 @default.
- W2083256368 hasConceptScore W2083256368C156325763 @default.
- W2083256368 hasConceptScore W2083256368C169896238 @default.
- W2083256368 hasConceptScore W2083256368C17231256 @default.
- W2083256368 hasConceptScore W2083256368C184337299 @default.
- W2083256368 hasConceptScore W2083256368C19689857 @default.
- W2083256368 hasConceptScore W2083256368C199360897 @default.
- W2083256368 hasConceptScore W2083256368C203659156 @default.
- W2083256368 hasConceptScore W2083256368C2039508 @default.
- W2083256368 hasConceptScore W2083256368C2779907942 @default.
- W2083256368 hasConceptScore W2083256368C30128091 @default.
- W2083256368 hasConceptScore W2083256368C33923547 @default.
- W2083256368 hasConceptScore W2083256368C3845977 @default.
- W2083256368 hasConceptScore W2083256368C39920170 @default.
- W2083256368 hasConceptScore W2083256368C41008148 @default.
- W2083256368 hasConceptScore W2083256368C73314972 @default.
- W2083256368 hasConceptScore W2083256368C80444323 @default.
- W2083256368 hasLocation W20832563681 @default.
- W2083256368 hasOpenAccess W2083256368 @default.
- W2083256368 hasPrimaryLocation W20832563681 @default.
- W2083256368 hasRelatedWork W1489073803 @default.
- W2083256368 hasRelatedWork W1557497390 @default.
- W2083256368 hasRelatedWork W1586690077 @default.
- W2083256368 hasRelatedWork W1988222104 @default.
- W2083256368 hasRelatedWork W2018616641 @default.
- W2083256368 hasRelatedWork W2025349135 @default.
- W2083256368 hasRelatedWork W4285136097 @default.
- W2083256368 hasRelatedWork W4293278854 @default.
- W2083256368 hasRelatedWork W4378499270 @default.
- W2083256368 hasRelatedWork W2585435203 @default.
- W2083256368 hasVolume "212" @default.
- W2083256368 isParatext "false" @default.
- W2083256368 isRetracted "false" @default.
- W2083256368 magId "2083256368" @default.
- W2083256368 workType "article" @default.