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
Keywords
Publisher
Years
  • 1
    Electronic Resource
    Electronic Resource
    A metacompleteness theorem for contraction-free relevant logics (1984)
    Springer
    Studia logica 43 (1984), S. 159-168 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract I note that the logics of the “relevant” group most closely tied to the research programme in paraconsistency are those without the contraction postulate(A→.A→B)→.A→B and its close relatives. As a move towards gaining control of the contraction-free systems I show that they are prime (that wheneverA ∨B is a theorem so is eitherA orB). The proof is an extension of the metavaluational techniques standardly used for analogous results about intuitionist logic or the relevant positive logics.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00935747
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    The Ackermann constant theorem: A computer-assisted investigation (1991)
    Springer
    Journal of automated reasoning 7 (1991), S. 453-474 
    Details
    ISSN: 1573-0670
    Keywords: Relevant logic ; sentential constants ; constraint satisfaction
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The Ackermann constant problem for a logicL is to determine how many sentential constants generated by closing {t} under the connectives ofL are non-equivalent according toL. This problem was solved for the logicR by the author in 1979–1980. First a constraint satisfaction program was used to generate appropriate finite algebras. Then the constant fragment of their direct product was generated and studied. This paper is a history of the work, explaining the problems, the solution method and the algorithms used.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01880324
    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...