Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896871387> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2896871387 abstract "In this paper, we present a generalisation of proof simulation procedures for Frege systems by Bonet and Buss to some logics for which the deduction theorem does not hold. In particular, we study t..." @default.
- W2896871387 created "2018-10-26" @default.
- W2896871387 creator A5070248029 @default.
- W2896871387 date "2018-10-02" @default.
- W2896871387 modified "2023-09-25" @default.
- W2896871387 title "Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss" @default.
- W2896871387 cites W1966418929 @default.
- W2896871387 cites W1968584500 @default.
- W2896871387 cites W1988083342 @default.
- W2896871387 cites W2012084714 @default.
- W2896871387 cites W2012102524 @default.
- W2896871387 cites W2014195574 @default.
- W2896871387 cites W2015332065 @default.
- W2896871387 cites W2017209655 @default.
- W2896871387 cites W2039977878 @default.
- W2896871387 cites W2054320265 @default.
- W2896871387 cites W2085956853 @default.
- W2896871387 cites W2110182592 @default.
- W2896871387 cites W2848864368 @default.
- W2896871387 cites W4238292764 @default.
- W2896871387 cites W4249736722 @default.
- W2896871387 doi "https://doi.org/10.1080/11663081.2018.1525208" @default.
- W2896871387 hasPublicationYear "2018" @default.
- W2896871387 type Work @default.
- W2896871387 sameAs 2896871387 @default.
- W2896871387 citedByCount "0" @default.
- W2896871387 crossrefType "journal-article" @default.
- W2896871387 hasAuthorship W2896871387A5070248029 @default.
- W2896871387 hasConcept C111919701 @default.
- W2896871387 hasConcept C124978682 @default.
- W2896871387 hasConcept C202444582 @default.
- W2896871387 hasConcept C33923547 @default.
- W2896871387 hasConcept C41008148 @default.
- W2896871387 hasConceptScore W2896871387C111919701 @default.
- W2896871387 hasConceptScore W2896871387C124978682 @default.
- W2896871387 hasConceptScore W2896871387C202444582 @default.
- W2896871387 hasConceptScore W2896871387C33923547 @default.
- W2896871387 hasConceptScore W2896871387C41008148 @default.
- W2896871387 hasLocation W28968713871 @default.
- W2896871387 hasOpenAccess W2896871387 @default.
- W2896871387 hasPrimaryLocation W28968713871 @default.
- W2896871387 hasRelatedWork W1556555945 @default.
- W2896871387 hasRelatedWork W1772463885 @default.
- W2896871387 hasRelatedWork W1831152062 @default.
- W2896871387 hasRelatedWork W2029153599 @default.
- W2896871387 hasRelatedWork W2039426389 @default.
- W2896871387 hasRelatedWork W2057839425 @default.
- W2896871387 hasRelatedWork W2126353272 @default.
- W2896871387 hasRelatedWork W2153827266 @default.
- W2896871387 hasRelatedWork W2748952813 @default.
- W2896871387 hasRelatedWork W4249580765 @default.
- W2896871387 isParatext "false" @default.
- W2896871387 isRetracted "false" @default.
- W2896871387 magId "2896871387" @default.
- W2896871387 workType "article" @default.