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
Filter
Medientyp
Sprache
Region
Erscheinungszeitraum
Person/Organisation
Fachgebiete(RVK)
Zugriff
  • 1
    Buch
    Buch
    Cambridge u.a. :Cambridge Univ. Press,
    UID:
    almafu_BV005455206
    Umfang: XI, 418 S. : graph. Darst.
    Ausgabe: 1. publ.
    ISBN: 0-521-41267-6
    Inhalt: Professor Koslow advances a new account of the basic concepts of logic. A central feature of the theory is that is does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple but insightful way. The study has four parts. In the first two parts the various sources of the general concept of an implication structure and its forms are illustrated and explained. Part III defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is followed by a substantial treatment of the extensionality of each of the operators, as well as the relation of negation and its dual, because of the novel results they yield. Part IV considers modal operators and examines their interactions with logical operators. By obtaining the usual results without the usual assumptions, this new approach allows one to give a very simple account of modal logic, minus the excess baggage of possible world semantics. The book is aimed at philosophers, logicians, mathematicians, linguists, and computer scientists. It will be accessible to advanced undergraduates and graduates in those fields.
    Sprache: Englisch
    Fachgebiete: Philosophie
    RVK:
    Schlagwort(e): Mathematische Logik ; Strukturalismus ; Logik ; Belnap-Programm
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Online-Ressource
    Online-Ressource
    Cambridge :Cambridge University Press,
    UID:
    almafu_9960119831402883
    Umfang: 1 online resource (xi, 418 pages) : , digital, PDF file(s).
    ISBN: 0-511-60920-5
    Inhalt: In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual, are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics.
    Anmerkung: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , pt. 1. Background -- pt. 2. Implication relations -- pt. 3. The logical operators -- pt. 4. The modal operators. , English
    Weitere Ausg.: ISBN 0-521-02372-6
    Weitere Ausg.: ISBN 0-521-41267-6
    Sprache: Englisch
    Fachgebiete: Philosophie
    RVK:
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Buch
    Buch
    Cambridge [u.a.] : Cambridge University Press
    UID:
    gbv_503388254
    Umfang: XI, 418 S , graph. Darst , 23 cm
    Ausgabe: Digitally printed first paperback version
    ISBN: 0521023726 , 0521412676 , 9780521023726 , 9780521412674
    Anmerkung: Originally published: Cambridge [England] ; New York : Cambridge University Press, 1992. - Includes bibliographical references (p. [410]-413) and index
    Sprache: Englisch
    Fachgebiete: Mathematik , Philosophie
    RVK:
    RVK:
    Schlagwort(e): Mathematische Logik ; Philosophie ; Strukturalismus ; Folgerung ; Modallogik ; Logik
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 0521402670?
Meinten Sie 0521312876?
Meinten Sie 0521401267?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz