Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 213-222 
    ISSN: 1572-8730
    Keywords: substructural logic ; algebraization ; residuation algebra ; Kripke semantics
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The aim of this paper is to show that the implicational fragment BKof the intuitionistic propositional calculus (IPC) without the rules of exchange and contraction has the finite model property with respect to the quasivariety of left residuation algebras (its equivalent algebraic semantics). It follows that the variety generated by all left residuation algebras is generated by the finite left residuation algebras. We also establish that BKhas the finite model property with respect to a class of structures that constitute a Kripke-style relational semantics for it. The results settle a question of Ono and Komori [OK85].
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Algebra universalis 41 (1999), S. 283-315 
    ISSN: 1420-8911
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    ISSN: 1432-072X
    Keywords: Archaebacteria ; Methanogens ; Methanocorpusculum parvum ; Taxonomy ; 16 S rRNA ; Serological probes ; Physiology ; Tungsten ; Cofactors ; Cytochrome
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract A new mesophilic, monotrichously flagellated methane-producing coccus of ≦1μm in diameter was isolated from an anaerobic sour whey digester, originally inoculated with sewage sludge. Growth and methane production were observed with H2/CO2, formate and — less effectively — with 2-propanol/CO2. The isolate grew at temperatures between 15° C and 45° C with the optimum at around 37° C. Acetate, yeast extract and tungstate were required in the medium. Clarified rumen fluid stimulated growth. The DNA of the new methanogen has a G+C content of 48.5 mol%. Comparative 16 S rRNA oligonucleotide cataloguing allows to define the new isolate as a member of a new genus of the order Methanomicrobiales. Further evidence for this is provided by the antigenic crossreactivity with anti-S probes and by metabolic features. Because of its small size the new methanogen is named Methanocorpusculum parvum.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...