Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReports on Mathematical Logic, Volume 43
Volume 43, 2008
- Wojciech Buszkowski:
On the complexsity of some substructural logics. 5-24 - Maciej Farulewski:
Finite embeddability property for residuated groupoids. 25-42 - Hitoshi Kihara, Hiroakira Ono:
Algebraic characterizations of variable separation properties. 43-63 - Tomasz Kowalski, John K. Slaney:
A finite fragment of S3. 65-72 - Wojciech Dzik:
Unification in some substructural logics of BL-algebras and hoops. 73-83 - Nikolaos Galatos, Jeffrey S. Olson, James G. Raftery:
Irreducible residuated semilattices and finitely based varieties. 85-108 - Janusz Czelakowski:
Additivity of the commutator and residuation. 109-132 - Mai Gehrke, Hilary A. Priestley:
Canonical extensions and completions of posets and lattices. 133-152
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 21:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
