FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012102524> ?p ?o ?g. }

• W2012102524 endingPage "205" @default.
• W2012102524 startingPage "194" @default.
• W2012102524 abstract "We give proofs of the effective monotone interpolation property for the system of modal logic K , and others, and the system I L of intuitionistic propositional logic. Hence we obtain exponential lower bounds on the number of proof-lines in those systems. The main results have been given in [P. Hrubeš, Lower bounds for modal logics, Journal of Symbolic Logic 72 (3) (2007) 941–958; P. Hrubeš, A lower bound for intuitionistic logic, Annals of Pure and Applied Logic 146 (2007) 72–90]; here, we give considerably simplified proofs, as well as some generalisations." @default.
• W2012102524 created "2016-06-24" @default.
• W2012102524 creator A5090813486 @default.
• W2012102524 date "2009-02-01" @default.
• W2012102524 modified "2023-09-29" @default.
• W2012102524 title "On lengths of proofs in non-classical logics" @default.
• W2012102524 cites W1968584500 @default.
• W2012102524 cites W1972606747 @default.
• W2012102524 cites W2012476164 @default.
• W2012102524 cites W2017209655 @default.
• W2012102524 cites W2042899834 @default.
• W2012102524 cites W2044632231 @default.
• W2012102524 cites W2101249878 @default.
• W2012102524 cites W2116871986 @default.
• W2012102524 cites W2492280620 @default.
• W2012102524 doi "https://doi.org/10.1016/j.apal.2008.09.013" @default.
• W2012102524 hasPublicationYear "2009" @default.
• W2012102524 type Work @default.
• W2012102524 sameAs 2012102524 @default.
• W2012102524 citedByCount "50" @default.
• W2012102524 countsByYear W20121025242012 @default.
• W2012102524 countsByYear W20121025242013 @default.
• W2012102524 countsByYear W20121025242014 @default.
• W2012102524 countsByYear W20121025242015 @default.
• W2012102524 countsByYear W20121025242016 @default.
• W2012102524 countsByYear W20121025242017 @default.
• W2012102524 countsByYear W20121025242018 @default.
• W2012102524 countsByYear W20121025242019 @default.
• W2012102524 countsByYear W20121025242020 @default.
• W2012102524 countsByYear W20121025242021 @default.
• W2012102524 countsByYear W20121025242023 @default.
• W2012102524 crossrefType "journal-article" @default.
• W2012102524 hasAuthorship W2012102524A5090813486 @default.
• W2012102524 hasBestOaLocation W20121025241 @default.
• W2012102524 hasConcept C102993220 @default.
• W2012102524 hasConcept C108710211 @default.
• W2012102524 hasConcept C118615104 @default.
• W2012102524 hasConcept C136119220 @default.
• W2012102524 hasConcept C178421362 @default.
• W2012102524 hasConcept C185592680 @default.
• W2012102524 hasConcept C188027245 @default.
• W2012102524 hasConcept C195244886 @default.
• W2012102524 hasConcept C199343813 @default.
• W2012102524 hasConcept C202444582 @default.
• W2012102524 hasConcept C2524010 @default.
• W2012102524 hasConcept C27508121 @default.
• W2012102524 hasConcept C2777686260 @default.
• W2012102524 hasConcept C2780708616 @default.
• W2012102524 hasConcept C2834757 @default.
• W2012102524 hasConcept C33203268 @default.
• W2012102524 hasConcept C33923547 @default.
• W2012102524 hasConcept C41008148 @default.
• W2012102524 hasConcept C69562738 @default.
• W2012102524 hasConcept C71139939 @default.
• W2012102524 hasConcept C71924100 @default.
• W2012102524 hasConcept C80444323 @default.
• W2012102524 hasConcept C95457728 @default.
• W2012102524 hasConceptScore W2012102524C102993220 @default.
• W2012102524 hasConceptScore W2012102524C108710211 @default.
• W2012102524 hasConceptScore W2012102524C118615104 @default.
• W2012102524 hasConceptScore W2012102524C136119220 @default.
• W2012102524 hasConceptScore W2012102524C178421362 @default.
• W2012102524 hasConceptScore W2012102524C185592680 @default.
• W2012102524 hasConceptScore W2012102524C188027245 @default.
• W2012102524 hasConceptScore W2012102524C195244886 @default.
• W2012102524 hasConceptScore W2012102524C199343813 @default.
• W2012102524 hasConceptScore W2012102524C202444582 @default.
• W2012102524 hasConceptScore W2012102524C2524010 @default.
• W2012102524 hasConceptScore W2012102524C27508121 @default.
• W2012102524 hasConceptScore W2012102524C2777686260 @default.
• W2012102524 hasConceptScore W2012102524C2780708616 @default.
• W2012102524 hasConceptScore W2012102524C2834757 @default.
• W2012102524 hasConceptScore W2012102524C33203268 @default.
• W2012102524 hasConceptScore W2012102524C33923547 @default.
• W2012102524 hasConceptScore W2012102524C41008148 @default.
• W2012102524 hasConceptScore W2012102524C69562738 @default.
• W2012102524 hasConceptScore W2012102524C71139939 @default.
• W2012102524 hasConceptScore W2012102524C71924100 @default.
• W2012102524 hasConceptScore W2012102524C80444323 @default.
• W2012102524 hasConceptScore W2012102524C95457728 @default.
• W2012102524 hasIssue "2-3" @default.
• W2012102524 hasLocation W20121025241 @default.
• W2012102524 hasOpenAccess W2012102524 @default.
• W2012102524 hasPrimaryLocation W20121025241 @default.
• W2012102524 hasRelatedWork W1602089224 @default.
• W2012102524 hasRelatedWork W1975399038 @default.
• W2012102524 hasRelatedWork W2004110451 @default.
• W2012102524 hasRelatedWork W2012102524 @default.
• W2012102524 hasRelatedWork W2014555924 @default.
• W2012102524 hasRelatedWork W2036161385 @default.
• W2012102524 hasRelatedWork W2043468053 @default.
• W2012102524 hasRelatedWork W2283837784 @default.
• W2012102524 hasRelatedWork W4285491326 @default.
• W2012102524 hasRelatedWork W2561733428 @default.
• W2012102524 hasVolume "157" @default.
• W2012102524 isParatext "false" @default.
• W2012102524 isRetracted "false" @default.
• W2012102524 magId "2012102524" @default.

• next