Matches in SemOpenAlex for { <https://semopenalex.org/work/W2942783286> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2942783286 abstract "The $mathbf{LMT^{rightarrow}}$ sequent calculus was introduced in 2016 by the same authors. This paper presents a Termination proof and a new (more direct) Completeness proof for it. $mathbf{LMT^{rightarrow}}$ is aimed to be used for proof search in Propositional Minimal Implicational Logic ($mathbf{M^{rightarrow}}$), in a bottom-up approach. Termination of the calculus is guaranteed by a rule application strategy that stresses all the possible combinations. For an initial formula $alpha$, proofs in $mathbf{LMT^{rightarrow}}$ have an upper bound of $|alpha| times 2^{|alpha| + 1 + 2 times log_2|alpha|}$, which together with the system strategy ensure decidability. $mathbf{LMT^{rightarrow}}$ has the property to allow extractability of counter-models from failed proof searches (bicompleteness), i.e., the attempt proof tree of an expanded branch produces a Kripke model that falsifies the initial formula." @default.
- W2942783286 created "2019-05-09" @default.
- W2942783286 creator A5004365290 @default.
- W2942783286 creator A5078588623 @default.
- W2942783286 creator A5091129860 @default.
- W2942783286 date "2019-05-06" @default.
- W2942783286 modified "2023-09-27" @default.
- W2942783286 title "Revisiting Counter-model Generation for Minimal Implicational Logic." @default.
- W2942783286 cites W1487717359 @default.
- W2942783286 cites W1497109150 @default.
- W2942783286 cites W1571434350 @default.
- W2942783286 cites W1812576425 @default.
- W2942783286 cites W185205532 @default.
- W2942783286 cites W1858420784 @default.
- W2942783286 cites W1874611656 @default.
- W2942783286 cites W1988222104 @default.
- W2942783286 cites W2033075656 @default.
- W2942783286 cites W2039977878 @default.
- W2942783286 cites W2070324762 @default.
- W2942783286 cites W2092765780 @default.
- W2942783286 cites W2402087943 @default.
- W2942783286 cites W2528753172 @default.
- W2942783286 cites W2950761349 @default.
- W2942783286 hasPublicationYear "2019" @default.
- W2942783286 type Work @default.
- W2942783286 sameAs 2942783286 @default.
- W2942783286 citedByCount "0" @default.
- W2942783286 crossrefType "posted-content" @default.
- W2942783286 hasAuthorship W2942783286A5004365290 @default.
- W2942783286 hasAuthorship W2942783286A5078588623 @default.
- W2942783286 hasAuthorship W2942783286A5091129860 @default.
- W2942783286 hasConcept C105605280 @default.
- W2942783286 hasConcept C108710211 @default.
- W2942783286 hasConcept C114614502 @default.
- W2942783286 hasConcept C118615104 @default.
- W2942783286 hasConcept C134306372 @default.
- W2942783286 hasConcept C153269930 @default.
- W2942783286 hasConcept C171988527 @default.
- W2942783286 hasConcept C17231256 @default.
- W2942783286 hasConcept C199343813 @default.
- W2942783286 hasConcept C2524010 @default.
- W2942783286 hasConcept C2777686260 @default.
- W2942783286 hasConcept C33923547 @default.
- W2942783286 hasConcept C65880906 @default.
- W2942783286 hasConcept C71924100 @default.
- W2942783286 hasConcept C89421646 @default.
- W2942783286 hasConceptScore W2942783286C105605280 @default.
- W2942783286 hasConceptScore W2942783286C108710211 @default.
- W2942783286 hasConceptScore W2942783286C114614502 @default.
- W2942783286 hasConceptScore W2942783286C118615104 @default.
- W2942783286 hasConceptScore W2942783286C134306372 @default.
- W2942783286 hasConceptScore W2942783286C153269930 @default.
- W2942783286 hasConceptScore W2942783286C171988527 @default.
- W2942783286 hasConceptScore W2942783286C17231256 @default.
- W2942783286 hasConceptScore W2942783286C199343813 @default.
- W2942783286 hasConceptScore W2942783286C2524010 @default.
- W2942783286 hasConceptScore W2942783286C2777686260 @default.
- W2942783286 hasConceptScore W2942783286C33923547 @default.
- W2942783286 hasConceptScore W2942783286C65880906 @default.
- W2942783286 hasConceptScore W2942783286C71924100 @default.
- W2942783286 hasConceptScore W2942783286C89421646 @default.
- W2942783286 hasLocation W29427832861 @default.
- W2942783286 hasOpenAccess W2942783286 @default.
- W2942783286 hasPrimaryLocation W29427832861 @default.
- W2942783286 hasRelatedWork W114142788 @default.
- W2942783286 hasRelatedWork W1409123408 @default.
- W2942783286 hasRelatedWork W1655411100 @default.
- W2942783286 hasRelatedWork W1856383708 @default.
- W2942783286 hasRelatedWork W2004550536 @default.
- W2942783286 hasRelatedWork W2012346013 @default.
- W2942783286 hasRelatedWork W2014812345 @default.
- W2942783286 hasRelatedWork W2044015001 @default.
- W2942783286 hasRelatedWork W2083256368 @default.
- W2942783286 hasRelatedWork W2113939721 @default.
- W2942783286 hasRelatedWork W2127276566 @default.
- W2942783286 hasRelatedWork W2255911289 @default.
- W2942783286 hasRelatedWork W2474597653 @default.
- W2942783286 hasRelatedWork W2554014980 @default.
- W2942783286 hasRelatedWork W2811017412 @default.
- W2942783286 hasRelatedWork W2960869773 @default.
- W2942783286 hasRelatedWork W3091816156 @default.
- W2942783286 hasRelatedWork W3159047636 @default.
- W2942783286 hasRelatedWork W3197466636 @default.
- W2942783286 hasRelatedWork W3213810054 @default.
- W2942783286 isParatext "false" @default.
- W2942783286 isRetracted "false" @default.
- W2942783286 magId "2942783286" @default.
- W2942783286 workType "article" @default.