FRINK Linked Data Fragments server

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

• W2130243322 endingPage "423" @default.
• W2130243322 startingPage "394" @default.
• W2130243322 abstract "Abstract Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a nonassociative generalization of FL (which we call SL) has been studied by Galatos and Ono as the logic of lattice-ordered residuated unital groupoids. This paper is based on an alternative Hilbert-style presentation for SL which is almost MP -based . This presentation is then used to obtain, in a uniform way applicable to most (both associative and nonassociative) substructural logics, a form of local deduction theorem, description of filter generation, and proper forms of generalized disjunctions. A special stress is put on semilinear substructural logics (i.e., logics complete with respect to linearly ordered algebras). Axiomatizations of the weakest semilinear logic over SL and other prominent substructural logics are provided and their completeness with respect to chains defined over the real unit interval is proved." @default.
• W2130243322 created "2016-06-24" @default.
• W2130243322 creator A5038642668 @default.
• W2130243322 creator A5071216071 @default.
• W2130243322 creator A5073348949 @default.
• W2130243322 date "2013-05-15" @default.
• W2130243322 modified "2023-10-17" @default.
• W2130243322 title "NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES" @default.
• W2130243322 cites W1511669762 @default.
• W2130243322 cites W1983382657 @default.
• W2130243322 cites W1989030813 @default.
• W2130243322 cites W2000922072 @default.
• W2130243322 cites W2013893458 @default.
• W2130243322 cites W2054761820 @default.
• W2130243322 cites W2065267682 @default.
• W2130243322 cites W2066108046 @default.
• W2130243322 cites W2071472291 @default.
• W2130243322 cites W2073214104 @default.
• W2130243322 cites W2082093772 @default.
• W2130243322 cites W2084033816 @default.
• W2130243322 cites W2084181723 @default.
• W2130243322 cites W2110182592 @default.
• W2130243322 cites W2112664318 @default.
• W2130243322 cites W2238512101 @default.
• W2130243322 cites W2328580899 @default.
• W2130243322 cites W2911865844 @default.
• W2130243322 cites W4210848565 @default.
• W2130243322 cites W4242462843 @default.
• W2130243322 cites W4255194959 @default.
• W2130243322 cites W4293176479 @default.
• W2130243322 cites W656700481 @default.
• W2130243322 doi "https://doi.org/10.1017/s1755020313000099" @default.
• W2130243322 hasPublicationYear "2013" @default.
• W2130243322 type Work @default.
• W2130243322 sameAs 2130243322 @default.
• W2130243322 citedByCount "19" @default.
• W2130243322 countsByYear W21302433222014 @default.
• W2130243322 countsByYear W21302433222015 @default.
• W2130243322 countsByYear W21302433222016 @default.
• W2130243322 countsByYear W21302433222017 @default.
• W2130243322 countsByYear W21302433222019 @default.
• W2130243322 countsByYear W21302433222021 @default.
• W2130243322 countsByYear W21302433222022 @default.
• W2130243322 crossrefType "journal-article" @default.
• W2130243322 hasAuthorship W2130243322A5038642668 @default.
• W2130243322 hasAuthorship W2130243322A5071216071 @default.
• W2130243322 hasAuthorship W2130243322A5073348949 @default.
• W2130243322 hasBestOaLocation W21302433222 @default.
• W2130243322 hasConcept C102993220 @default.
• W2130243322 hasConcept C118615104 @default.
• W2130243322 hasConcept C128394911 @default.
• W2130243322 hasConcept C134306372 @default.
• W2130243322 hasConcept C136119220 @default.
• W2130243322 hasConcept C144760519 @default.
• W2130243322 hasConcept C154945302 @default.
• W2130243322 hasConcept C159423971 @default.
• W2130243322 hasConcept C17231256 @default.
• W2130243322 hasConcept C177148314 @default.
• W2130243322 hasConcept C182419690 @default.
• W2130243322 hasConcept C1883856 @default.
• W2130243322 hasConcept C199343813 @default.
• W2130243322 hasConcept C199360897 @default.
• W2130243322 hasConcept C202444582 @default.
• W2130243322 hasConcept C206321295 @default.
• W2130243322 hasConcept C2777686260 @default.
• W2130243322 hasConcept C33203268 @default.
• W2130243322 hasConcept C33923547 @default.
• W2130243322 hasConcept C41008148 @default.
• W2130243322 hasConcept C42011625 @default.
• W2130243322 hasConcept C58166 @default.
• W2130243322 hasConcept C71924100 @default.
• W2130243322 hasConcept C9376300 @default.
• W2130243322 hasConcept C98224912 @default.
• W2130243322 hasConceptScore W2130243322C102993220 @default.
• W2130243322 hasConceptScore W2130243322C118615104 @default.
• W2130243322 hasConceptScore W2130243322C128394911 @default.
• W2130243322 hasConceptScore W2130243322C134306372 @default.
• W2130243322 hasConceptScore W2130243322C136119220 @default.
• W2130243322 hasConceptScore W2130243322C144760519 @default.
• W2130243322 hasConceptScore W2130243322C154945302 @default.
• W2130243322 hasConceptScore W2130243322C159423971 @default.
• W2130243322 hasConceptScore W2130243322C17231256 @default.
• W2130243322 hasConceptScore W2130243322C177148314 @default.
• W2130243322 hasConceptScore W2130243322C182419690 @default.
• W2130243322 hasConceptScore W2130243322C1883856 @default.
• W2130243322 hasConceptScore W2130243322C199343813 @default.
• W2130243322 hasConceptScore W2130243322C199360897 @default.
• W2130243322 hasConceptScore W2130243322C202444582 @default.
• W2130243322 hasConceptScore W2130243322C206321295 @default.
• W2130243322 hasConceptScore W2130243322C2777686260 @default.
• W2130243322 hasConceptScore W2130243322C33203268 @default.
• W2130243322 hasConceptScore W2130243322C33923547 @default.
• W2130243322 hasConceptScore W2130243322C41008148 @default.
• W2130243322 hasConceptScore W2130243322C42011625 @default.
• W2130243322 hasConceptScore W2130243322C58166 @default.
• W2130243322 hasConceptScore W2130243322C71924100 @default.
• W2130243322 hasConceptScore W2130243322C9376300 @default.
• W2130243322 hasConceptScore W2130243322C98224912 @default.

• next