Matches in SemOpenAlex for { <https://semopenalex.org/work/W2027211978> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2027211978 endingPage "250" @default.
- W2027211978 startingPage "246" @default.
- W2027211978 abstract "Glivenko-type theorems for substructural logics (over FL) are comprehensively studied in the paper [N. Galatos, H. Ono, Glivenko theorems for substructural logics over FL, Journal of Symbolic Logic 71 (2006) 1353–1384]. Arguments used there are fully algebraic, and based on the fact that all substructural logics are algebraizable (see [N. Galatos, H. Ono, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, Studia Logica 83 (2006) 279–308] and also [N. Galatos, P. Jipsen, T. Kowalski, H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, in: Studies in Logic and the Foundations of Mathematics, vol. 151, Elsevier, 2007] for the details). As a complementary work to the algebraic approach developed in [N. Galatos, H. Ono, Glivenko theorems for substructural logics over FL, Journal of Symbolic Logic 71 (2006) 1353–1384], we present here a concise, proof-theoretic approach to Glivenko theorems for substructural logics. This will show different features of these two approaches." @default.
- W2027211978 created "2016-06-24" @default.
- W2027211978 creator A5072723948 @default.
- W2027211978 date "2009-11-01" @default.
- W2027211978 modified "2023-10-05" @default.
- W2027211978 title "Glivenko theorems revisited" @default.
- W2027211978 cites W2135641508 @default.
- W2027211978 cites W2293835309 @default.
- W2027211978 doi "https://doi.org/10.1016/j.apal.2009.05.006" @default.
- W2027211978 hasPublicationYear "2009" @default.
- W2027211978 type Work @default.
- W2027211978 sameAs 2027211978 @default.
- W2027211978 citedByCount "10" @default.
- W2027211978 countsByYear W20272119782012 @default.
- W2027211978 countsByYear W20272119782013 @default.
- W2027211978 countsByYear W20272119782017 @default.
- W2027211978 countsByYear W20272119782018 @default.
- W2027211978 countsByYear W20272119782020 @default.
- W2027211978 countsByYear W20272119782021 @default.
- W2027211978 countsByYear W20272119782022 @default.
- W2027211978 crossrefType "journal-article" @default.
- W2027211978 hasAuthorship W2027211978A5072723948 @default.
- W2027211978 hasBestOaLocation W20272119781 @default.
- W2027211978 hasConcept C102993220 @default.
- W2027211978 hasConcept C118615104 @default.
- W2027211978 hasConcept C134306372 @default.
- W2027211978 hasConcept C136119220 @default.
- W2027211978 hasConcept C144760519 @default.
- W2027211978 hasConcept C154945302 @default.
- W2027211978 hasConcept C1883856 @default.
- W2027211978 hasConcept C199360897 @default.
- W2027211978 hasConcept C202444582 @default.
- W2027211978 hasConcept C206321295 @default.
- W2027211978 hasConcept C33203268 @default.
- W2027211978 hasConcept C33923547 @default.
- W2027211978 hasConcept C41008148 @default.
- W2027211978 hasConcept C42011625 @default.
- W2027211978 hasConcept C5263885 @default.
- W2027211978 hasConcept C58166 @default.
- W2027211978 hasConcept C86602344 @default.
- W2027211978 hasConcept C9376300 @default.
- W2027211978 hasConcept C98224912 @default.
- W2027211978 hasConceptScore W2027211978C102993220 @default.
- W2027211978 hasConceptScore W2027211978C118615104 @default.
- W2027211978 hasConceptScore W2027211978C134306372 @default.
- W2027211978 hasConceptScore W2027211978C136119220 @default.
- W2027211978 hasConceptScore W2027211978C144760519 @default.
- W2027211978 hasConceptScore W2027211978C154945302 @default.
- W2027211978 hasConceptScore W2027211978C1883856 @default.
- W2027211978 hasConceptScore W2027211978C199360897 @default.
- W2027211978 hasConceptScore W2027211978C202444582 @default.
- W2027211978 hasConceptScore W2027211978C206321295 @default.
- W2027211978 hasConceptScore W2027211978C33203268 @default.
- W2027211978 hasConceptScore W2027211978C33923547 @default.
- W2027211978 hasConceptScore W2027211978C41008148 @default.
- W2027211978 hasConceptScore W2027211978C42011625 @default.
- W2027211978 hasConceptScore W2027211978C5263885 @default.
- W2027211978 hasConceptScore W2027211978C58166 @default.
- W2027211978 hasConceptScore W2027211978C86602344 @default.
- W2027211978 hasConceptScore W2027211978C9376300 @default.
- W2027211978 hasConceptScore W2027211978C98224912 @default.
- W2027211978 hasIssue "2" @default.
- W2027211978 hasLocation W20272119781 @default.
- W2027211978 hasOpenAccess W2027211978 @default.
- W2027211978 hasPrimaryLocation W20272119781 @default.
- W2027211978 hasRelatedWork W1529869727 @default.
- W2027211978 hasRelatedWork W1588682476 @default.
- W2027211978 hasRelatedWork W169137922 @default.
- W2027211978 hasRelatedWork W1783029874 @default.
- W2027211978 hasRelatedWork W193449051 @default.
- W2027211978 hasRelatedWork W2310799747 @default.
- W2027211978 hasRelatedWork W4294175725 @default.
- W2027211978 hasRelatedWork W4367840777 @default.
- W2027211978 hasRelatedWork W1578365337 @default.
- W2027211978 hasRelatedWork W2341378906 @default.
- W2027211978 hasVolume "161" @default.
- W2027211978 isParatext "false" @default.
- W2027211978 isRetracted "false" @default.
- W2027211978 magId "2027211978" @default.
- W2027211978 workType "article" @default.