ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

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
Filter
Collection
Publisher
Years
  • 1
    Electronic Resource
    Electronic Resource
    Four relevant Gentzen systems (1987)
    Springer
    Studia logica 46 (1987), S. 55-71 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper is a study of four subscripted Gentzen systems G u R +, G u T +, G u RW + and G u TW +. [16] shows that the first three are equivalent to the semilattice relevant logics u R +, u T + and u RW + and conjectures that G u TW + is, equivalent to u TW +. Here we prove Cut Theorems for these systems, and then show that modus ponens is admissible — which is not so trivial as one normally expects. Finally, we give decision procedures for the contractionless systems, G u TW + and G u RW +.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00396905
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Where gamma fails (1984)
    Springer
    Studia logica 43 (1984), S. 247-256 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — free relevant logics (and, precisely, the well-behaved subsystems of the 4-valued logicBN4) — for which γ fails.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02429841
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Completeness and conservative extension results for some boolean relevant logics (1989)
    Springer
    Studia logica 48 (1989), S. 1-14 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also shown along the way.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00370629
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    On purported Gentzen formulations of two positive relevent logics (1985)
    Springer
    Studia logica 44 (1985), S. 233-236 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract [10] offers two (cut-free) subscripted Gentzen systems, G 2 T + and G 2 R +, which are claimed to be equivalent in an appropriate sense to the positive relevant logics T + and R +, respectively. In this paper we show that that claim is false. We also show that the argument in [10] for the further claim that cut and/or modus ponens is admissible in two other subscripted Gentzen systems, G 1 T + and G 1 R +, is unsound.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00394443
    Location Call Number Expected 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...