Bibliothek

feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 213-222 
    ISSN: 1572-8730
    Schlagwort(e): substructural logic ; algebraization ; residuation algebra ; Kripke semantics
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: 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].
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Digitale Medien
    Digitale Medien
    Springer
    Algebra universalis 41 (1999), S. 283-315 
    ISSN: 1420-8911
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    ISSN: 1432-072X
    Schlagwort(e): Archaebacteria ; Methanogens ; Methanocorpusculum parvum ; Taxonomy ; 16 S rRNA ; Serological probes ; Physiology ; Tungsten ; Cofactors ; Cytochrome
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie
    Notizen: 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.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...