Narrow Search
Search narrowed by
Last searches

Results for *

Displaying results 1 to 11 of 11.

  1. A structuralist theory of logic
    Published: 1992
    Publisher:  Cambridge Univ. Press, Cambridge [u.a.]

    Universitätsbibliothek J. C. Senckenberg, Bibliothekszentrum Geisteswissenschaften (BzG)
    02/CC 2600 K86
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 0521412676
    RVK Categories: CC 2600
    Subjects: Logik; Mathematische Logik; Strukturalismus
    Scope: XI, 418 S.
    Notes:

    Literaturverz. S. 410 - 411

  2. A structuralist theory of logic
    Published: 1992
    Publisher:  Cambridge Univ. Press, Cambridge u.a.

    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... more

    Freie Universität Berlin, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Unlimited inter-library loan, copies and loan
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    Unlimited inter-library loan, copies and loan

     

    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.

     

    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Philologische Bibliothek, FU Berlin
    Language: English
    Media type: Book
    ISBN: 0521412676
    RVK Categories: CC 2600
    Edition: 1. publ.
    Subjects: Implication (Logique); Logica; Logique symbolique et mathématique; Modale logica; Operatoren; Structuralisme; Logik; Implication (Logic); Logic, Symbolic and mathematical; Structuralism; Mathematische Logik; Logik; Strukturalismus
    Scope: XI, 418 S., graph. Darst.
  3. <<A>> structuralist theory of logic
    Published: 1992
    Publisher:  Cambridge Univ. Press, Cambridge [u.a.]

    Universitätsbibliothek Bielefeld
    Unlimited inter-library loan, copies and loan
    Ruhr-Universität Bochum, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Universitäts- und Landesbibliothek Bonn
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Duisburg-Essen
    Unlimited inter-library loan, copies and loan
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    Unlimited inter-library loan, copies and loan
    Universitäts- und Landesbibliothek Münster, Zentralbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Paderborn
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Wuppertal
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Media type: Book
    Format: Print
    ISBN: 0521412676
    RVK Categories: CC 2600
    Subjects: Mathematische Logik; Strukturalismus; Logik
    Scope: XI, 418 S. : graph. Darst.
  4. A structuralist theory of logic
    Published: 1992
    Publisher:  Cambridge Univ. Press, Cambridge u.a.

    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... more

    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Unlimited inter-library loan, copies and loan
    Bayerische Staatsbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek der LMU München
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Passau
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Regensburg
    Unlimited inter-library loan, copies and loan

     

    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.

     

    Export to reference management software   RIS file
      BibTeX file
    Content information
  5. A structuralist theory of logic
    Published: 1992
    Publisher:  Cambridge Univ. Press, Cambridge [u.a.]

    Universitätsbibliothek Bielefeld
    BD200 )K86
    Unlimited inter-library loan, copies and loan
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    10.2 82.1
    No inter-library loan
    Universität Bonn, Institut für Philosophie, Bibliothek
    D 2750/50
    No inter-library loan
    Universität Bonn, Fachbibliothek Mathematik
    KOS
    No inter-library loan
    Universitätsbibliothek Duisburg-Essen
    HLF1919
    Unlimited inter-library loan, copies and loan
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    14A9699
    Loan of volumes, no copies
    Institut für Mathematikdidaktik, Bibliothek
    315/1Q156
    No inter-library loan
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    L Kosl
    Unlimited inter-library loan, copies and loan
    Gemeinschaftsbibliothek der Katholisch-Theologischen Fakultät, Abteilung Johannisstr.
    Ph:Q/I-61
    Unlimited inter-library loan, copies and loan
    Institut für Ethik, Geschichte und Theorie der Medizin, Bibliothek
    38 K 970
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Paderborn
    HLH2703
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Wuppertal
    HLF2630
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Language: Undetermined
    Media type: Book
    ISBN: 0521412676
    RVK Categories: CC 2600
    Subjects: Logik; Mathematische Logik; Strukturalismus
    Scope: XI, 418 S., graph. Darst.
  6. A structuralist theory of logic
    Published: 1992
    Publisher:  Cambridge Univ. Press, Cambridge [u. a.]

    Freie Universität Berlin, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Unlimited inter-library loan, copies and loan
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Philologische Bibliothek, FU Berlin
    Language: Undetermined
    Media type: Book
    ISBN: 0521412676
    RVK Categories: SK 130
    Subjects: Logik; Mathematische Logik; Belnap-Programm; Strukturalismus
    Scope: XI, 418 S.
  7. A structuralist theory of logic
    Published: 2005
    Publisher:  Cambridge University Press, Cambridge [u.a.]

    Universität Potsdam, Universitätsbibliothek
    CC 2600 KOS
    Unlimited inter-library loan, copies and loan
    Universität des Saarlandes, Fachrichtung Philosophie, Bibliothek
    LOG 2005 KOS
    No loan of volumes, only paper copies will be sent
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 0521023726; 0521412676; 9780521023726; 9780521412674
    Other identifier:
    9780521023726
    RVK Categories: CC 2600 ; SK 130
    Edition: Digitally printed first paperback version
    Subjects: Logic, Symbolic and mathematical; Implication (Logic); Structuralism; Logic, Symbolic and mathematical; Implication (Logic); Structuralism
    Scope: XI, 418 S, graph. Darst, 23 cm
    Notes:

    Originally published: Cambridge [England] ; New York : Cambridge University Press, 1992. - Includes bibliographical references (p. [410]-413) and index

  8. A structuralist theory of logic
    Published: 2005
    Publisher:  Cambridge University Press, Cambridge [u.a.]

    Universität Potsdam, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 0521023726; 0521412676; 9780521023726; 9780521412674
    Other identifier:
    9780521023726
    RVK Categories: CC 2600 ; SK 130
    Edition: Digitally printed first paperback version
    Subjects: Logic, Symbolic and mathematical; Implication (Logic); Structuralism; Logic, Symbolic and mathematical; Implication (Logic); Structuralism
    Scope: XI, 418 S, graph. Darst, 23 cm
    Notes:

    Originally published: Cambridge [England] ; New York : Cambridge University Press, 1992. - Includes bibliographical references (p. [410]-413) and index

  9. A structuralist theory of logic
    Published: 1992
    Publisher:  Cambridge Univ. Press, Cambridge [u.a.]

    Staats- und Universitätsbibliothek Bremen
    a phi 610 e/242
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    CC 2600 K86
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Freiburg
    GE 92/8219
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Greifswald
    310/CC 2600 K86
    Unlimited inter-library loan, copies and loan
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    93 A 1991
    Unlimited inter-library loan, copies and loan
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    93 A 4651
    Unlimited inter-library loan, copies and loan
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    93/329
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Heidelberg
    92 A 8560
    Unlimited inter-library loan, copies and loan
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    120 Kos
    Unlimited inter-library loan, copies and loan
    Thüringer Universitäts- und Landesbibliothek
    93 NA 4091/1
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Kiel, Zentralbibliothek
    As 864
    Unlimited inter-library loan, copies and loan
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    phc 270/t92
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Leipzig
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Mannheim
    500 CC 2600 K86
    No inter-library loan
    Universitätsbibliothek Mannheim
    92 A 6301
    Unlimited inter-library loan, copies and loan
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    phi 611 CB 5556
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek der Eberhard Karls Universität
    32 A 13998
    Unlimited inter-library loan, copies and loan
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    F.4.1
    No loan of volumes, only paper copies will be sent
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    F.4.1
    No loan of volumes, only paper copies will be sent
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 0521412676
    RVK Categories: CC 2600
    Edition: 1. publ.
    Subjects: Logic, Symbolic and mathematical; Implication (Logic); Structuralism
    Scope: XI, 418 S, graph. Darst, 24 cm
    Notes:

    Literaturverz. S. [410] - 413

    Literaturverz. S. [410] - 413

  10. <<A>> structuralist theory of logic
    Published: 1992
    Publisher:  Cambridge Univ. Press, Cambridge [u.a.]

    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 0521412676
    RVK Categories: CC 2600 ; SK 130
    Edition: 1. publ.
    Subjects: Logic, Symbolic and mathematical; Implication (Logic); Structuralism
    Scope: XI, 418 S., graph. Darst.
    Notes:

    Literaturverz. S. [410] - 413

  11. <<A>> structuralist theory of logic
    Published: 2005
    Publisher:  Cambridge Univ. Press, Cambridge [u.a.]

    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 9780521412674; 0521412676; 9780521023726; 0521023726
    RVK Categories: CC 2600 ; SK 130
    Edition: 1. digit. print., 1. publ. 1992
    Subjects: Logic, Symbolic and mathematical; Implication (Logic); Structuralism
    Scope: XI, 418 S., graph. Darst.
    Notes:

    Literaturverz. S. [410] - 413