Library

X
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
    Der Verband der normalen verzweigten Modallogiken (1977)
    Springer
    Mathematische Zeitschrift 156 (1977), S. 123-140 
    Details
    ISSN: 1432-1823
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01178758
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    facet.materialart.
    Unknown
    Modal Tableau Calculi and Interpolation (1983)
    Dordrecht : Periodicals Archive Online (PAO)
    Journal of philosophical logic. 12:4 (1983:Nov.) 403 
    Details
    ISSN: 0022-3611
    Topics: Philosophy
    URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pao:&rft_dat=xri:pao:article:f609-1983-012-04-000002
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Magnetic resonance angiography of spontaneous vertebral artery dissection suspected on Doppler ultrasonography (1995)
    Springer
    Journal of neurology 242 (1995), S. 430-436 
    Details
    ISSN: 1432-1459
    Keywords: Angiography ; Magnetic resonance imaging ; Ultrasonography ; Vertebral artery dissection
    Source: Springer Online Journal Archives 1860-2000
    Topics: Medicine
    Notes: Abstract Spontaneous vertebral artery dissection (VAD) is a rare but well-known cause of cerebrovascular disease and is often difficult to diagnose even using conventional arteriography. While noninvasive tests such as Doppler ultrasonography and magnetic resonance imaging (MRI) have failed to provide reliable criteria for the diagnosis of VAD, the diagnostic value of magnetic resonance angiography (MRA) has not yet been undetermined. To establish the reliability of a combined noninvasive approach, 11 patients were prospectively examined for VAD by means of colour-coded duplex studies, MRI and three-dimensional time-of-flight MRA prior to conventional angiography. Among 11 patients with VAD suspected clinically as well as on Doppler ultrasonography, angiography confirmed the diagnosis in seven patients but found a vertebral artery occlusion in three and a vertebral artery stenosis in one. The combination of MRI and MRA findings led to the correct diagnosis of dissection in three patients, of vertebral artery occlusion in three patients, and of vertebral artery stenosis in one. VAD was misinterpreted as vertebral artery occlusion in four patients. Doppler ultrasonography is a valuable screening method for the detection of vertebral artery pathologies. The diagnosis of VAD can only be established if a typical intramural vessel wall haematoma is seen on T1-weighted MRI in combination with MRA findings of irregular artery stenosis or occlusion.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00873545
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Axiomatization of semigroup consequences (1989)
    Springer
    Archive for mathematical logic 29 (1989), S. 111-123 
    Details
    ISSN: 1432-0665
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We show (1) the consequence determined by a variety V of algebraic semigroup matrices is finitely based iffV is finitely based, (2) the consequence determined by all 2-valued semigroup connectives, Λ, ∨, ↔, +, in other words the collection of common rules for all these connectives, is finitely based. For possible applications see Sect. 0.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01620620
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Electronic Resource
    Electronic Resource
    Splitting lattices of logics (1980)
    Springer
    Archive for mathematical logic 20 (1980), S. 155-159 
    Details
    ISSN: 1432-0665
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02021134
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 6
    Electronic Resource
    Electronic Resource
    Modal tableau calculi and interpolation (1983)
    Springer
    Journal of philosophical logic 12 (1983), S. 403-423 
    Details
    ISSN: 1573-0433
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00249258
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 7
    Electronic Resource
    Electronic Resource
    Applications of weak Kripke semantics to intermediate consequences (1986)
    Springer
    Studia logica 45 (1986), S. 119-134 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: abstract Section 1 contains a Kripke-style completeness theorem for arbitrary intermediate consequences. In Section 2 we apply weak Kripke semantics to splittings in order to obtain generalized axiomatization criteria of the Jankov-type. Section 3 presents new and short proofs of recent results on implicationless intermediate consequences. In Section 4 we prove that these consequences admit no deduction theorem. In Section 5 all maximal logics in the 3 rd counterslice are determined. On these results we reported at the 1980 meeting on Mathematical Logic at Oberwolfach. This paper concerns propositional logic only.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01881553
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 8
    Electronic Resource
    Electronic Resource
    Mail box (1990)
    Springer
    Studia logica 49 (1990), S. 613-614 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00370170
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 9
    Electronic Resource
    Electronic Resource
    On reduced matrices (1993)
    Springer
    Studia logica 52 (1993), S. 63-72 
    Details
    ISSN: 1572-8730
    Keywords: 03B22 ; 03B20 ; 08B05 ; Reduced matrices ; finite replacement
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract It is shown that the class of reduced matrices of a logic ⊢ is a 1 st order ∀∃-class provided the variety associated with ⊢ has the finite replacement property in the sense of [7]. This applies in particular to all 2-valued logics. For 3-valued logics the class of reduced matrices need not be 1 st order.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01053064
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 10
    Electronic Resource
    Electronic Resource
    2-Element matrices (1981)
    Springer
    Studia logica 40 (1981), S. 315-353 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Sections 1, 2 and 3 contain the main result, the strong finite axiomatizability of all 2-valued matrices. Since non-strongly finitely axiomatizable 3-element matrices are easily constructed the result reveals once again the gap between 2-valued and multiple-valued logic. Sec. 2 deals with the basic cases which include the important F i ∞ from Post's classification. The procedure in Sec. 3 reduces the general problem to these cases. Sec. 4 is a study of basic algebraic properties of 2-element algebras. In particular, we show that equational completeness is equivalent to the Stone-property and that each 2-element algebra generates a minimal quasivariety. The results of Sec. 4 will be applied in Sec. 5 to maximality questions and to a matrix free characterization of 2-valued consequences in the lattice of structural consequences in any language. Sec. 6 takes a look at related axiomatization. problems for finite algebras and matrices. We study the notion of a propositional consequence with equality and, among other things, present explicit axiomatizations of 2-valued consequences with equality.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00401653
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...