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
back to result list
  • 1
    Electronic Resource
    Electronic Resource
    On analysing relevance constructively (1979)
    Springer
    Studia logica 38 (1979), S. 171-185 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper lays out a program for analysing relevance constructively. It begins with a summary of results concerning the system C of Pottinger [197a] which has entailment, relevant implication, S4 strict implication, and intuitionist implication among its connectives. A full working out of the motivation for C will require formal analysis of informal concepts derived from the usual explanation of the meanings of the constants of intuitionist propositional logic. Formal machinery which should be adequate for the proof theoretic side of the analysis of the nonmodal part of C is described in detail, and the direction in which semantical results are to be sought is indicated.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00370440
    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...