Zaloguj się

Gotowe bibliografie tematyczne / Intensional logic / Książki

Książki na temat „Intensional logic”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Intensional logic.

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 7 lutego 2022

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 35 najlepszych książek naukowych na temat „Intensional logic”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.

1

Imre, Ruzsa. Intensional logic revisited. Budapest: Published by the author, L. Eötvös University, 1991.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

de Rijke, Maarten, red. Advances in Intensional Logic. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8879-9.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

J. F. A. K. van Benthem. A manual of intensional logic. Stanford, Calif: Center for the Study of Language and Information, 1985.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Center for the Study of Language and Information (U.S.), red. A manual of intensional logic. Wyd. 2. Stanford, CA: Center for the Study of Language and Information, 1988.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Allan, Ramsay. WH-questions and intensional logic. [Brighton]: University of Sussex School of Cognitive Studies, 1988.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

A manual of intensional logic. Stanford: Center for the Study of Language and Information, Stanford University, 1985.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Fox, Chris. Foundations of intensional semantics. Malden MA: Blackwell Pub., 2005.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Slater, B. H. Intensional logic: An essay in analytical metaphysics. Aldershot [Hampshire, England]: Avebury, 1994.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

Zalta, Edward N. Intensional logic and the metaphysics of intentionality. Cambridge, Mass: MIT Press, 1988.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

Bjørn, Jespersen, Materna Pavel i SpringerLink (Online service), red. Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Dordrecht: Springer Science+Business Media B.V., 2010.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

11

Ruzsa, Imre. Introduction to metalogic: With an appendix on type-theoretical extensional and intensional logic. Budapest: Áron Publishers, 1997.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

12

Azioni individuali e logica intensionale. Bologna: Clueb, 1985.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

13

Castellani, Francesca. Intensioni e mondi possibili. Milano: FrancoAngeli, 1990.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

14

Galvan, Sergio. Logiche intensionali: Sistemi proposizionali di logica modale, deontica, epistemica. Milano: FrancoAngeli, 1991.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

15

Friedrichsdorf, Ulf. Einführung in die klassische und intensionale Logik. Wiesbaden: Vieweg+Teubner Verlag, 1992. http://dx.doi.org/10.1007/978-3-322-84990-8.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

16

Inhalt und Umfang: Untersuchungen zur Geltung und zur Geschichte der Reziprozität von Extension und Intension. Hildesheim: G. Olms, 1987.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

17

Rijke, Maarten. Advances in Intensional Logic. Rijke Maarten de, 2010.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

18

de, Rijke Maarten, red. Advances in intensional logic. Dordrecht: Kluwer Academic Publishers, 1997.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

1951-, Shapiro Stewart, red. Intensional mathematics. Amsterdam: North-Holland, 1985.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

20

Zalta, Edward. Intensional Logic and Metaphysics of Intentionality. MIT Press, 1988.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

21

Applications of intensional logic to program semantics. Buffalo, N.Y: State University of New York at Buffalo, Dept. of Computer Science, 1990.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

22

Gamut, L. T. F. Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar. University Of Chicago Press, 1990.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

Gamut, L. T. F. Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar. University Of Chicago Press, 1990.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

24

Blackburn, Patrick. Nominal tense logic and other sorted intensional frameworks. 1990.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

25

Rijke, Maarten de. Diamonds and Defaults: Studies in Pure and Applied Intensional Logic. Springer, 2014.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

26

de, Rijke Maarten, red. Diamonds and defaults: Studies in pure and applied intensional logic. Dordrecht: Kluwer Academic Publishers, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

27

Rijke, M. de. Diamonds and Defaults: Studies in Pure and Applied Intensional Logic (Synthese Library). Springer, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

28

Benthem, Johan van. A Manual of Intensional Logic: 2nd Edition (Center for the Study of Language and Information - Lecture Notes). Center for the Study of Language and Inf, 1986.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

29

Benthem, Johan van. A Manual of Intensional Logic: 2nd Edition (Center for the Study of Language and Information - Lecture Notes). Wyd. 2. Center for the Study of Language and Inf, 2002.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

30

Garrett, Don. The Indiscernibility of Identicals and the Transitivity of Identity in Spinoza’s Logic of the Attributes. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780195307771.003.0014.

Pełny tekst źródła

Streszczenie:

Puzzlingly, Spinoza appears to reject two principles that are central to our understanding of numerical identity: the Indiscernibility of Identicals and the Transitivity of Identity. For each principle, this chapter does three things. First, it explains where and how Spinoza appears to reject it. Second, it examines and argues against two proposals for resolving the puzzle that results from the apparent rejection: one proposal that appeals to Michael Della Rocca’s conception of “intensional properties” and one that denies, as Colin Marshall does, that Spinoza really means numerical identity by his phrase “one and the same” (“una, eademque”). Third, it offers and defends an original proposal for resolving the puzzle that appeals to two Spinozistic doctrines that it calls “Strong Ontological Pluralism of Attributes” and the “Adequate-Idea Conception of Truth.”

Style APA, Harvard, Vancouver, ISO itp.

31

Luis, Fariñas del Cerro, i Penttonen Martti 1948-, red. Intensional logics for programming. Oxford [England]: Clarendon Press, 1992.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

32

Ashcroft, E. A., A. A. Faustini, R. Jaggannathan i W. W. Wadge. Multidimensional Programming. Oxford University Press, 1995. http://dx.doi.org/10.1093/oso/9780195075977.001.0001.

Pełny tekst źródła

Streszczenie:

This book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically indexicality, has enabled Lucid to implicitly express multidimensional objects that change, a fundamental capability with several consequences which are explored in this book. The author covers a broad range of topics, from foundations to applications, and from implementations to implications. The role of intensional logic in Lucid as well as its consequences for programming in general is discussed. The syntax and mathematical semantics of the language are given and its ability to be used as a formal system for transformation and verification is presented. The use of Lucid in both multidimensional applications programming and software systems construction (such as a parallel programming system and a visual programming system) is described. A novel model of multidimensional computation--education--is described along with its serendipitous practical benefits for harnessing parallelism and tolerating faults. As the only volume that reflects the advances over the past decade, this work will be of great interest to researchers and advanced students involved with declarative language systems and programming.

Style APA, Harvard, Vancouver, ISO itp.

33

Berto, Francesco, i Mark Jago. Impossible Worlds. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198812791.001.0001.

Pełny tekst źródła

Streszczenie:

The latter half of the twentieth century witnessed an ‘intensional revolution’, a great collective effort to analyse notions which are absolutely fundamental to our understanding of the world and of ourselves—from meaning and information to knowledge, belief, causation, essence, supervenience, conditionality, as well as nomological, metaphysical, and logical necessity—in terms of a single concept. This was the concept of a possible world: a way things could have been. Possible worlds found applications in logic, metaphysics, semantics, game theory, information theory, artificial intelligence, and the philosophy of mind and cognition. However, possible worlds analyses have been facing numerous problems. This book traces them all back to hyperintensionality: the need for distinctions more fine-grained than the possible worlds apparatus can easily represent. It then introduces impossible worlds—ways things could not have been—as a general tool for modelling hyperintensional phenomena. The book discusses the metaphysics of impossible worlds and applies them to a range of central topics and open issues in logic, semantics, and philosophy: from the problem of logical omniscience in epistemic logic, to the semantics of non-classical logics, the modelling of imagination and mental simulation, the analysis of information and informative inference, truth in fiction, and counterpossible reasoning.

Style APA, Harvard, Vancouver, ISO itp.

34

Einführung in die klassische und intensionale Logik. Wiesbaden: Vieweg+Teubner Verlag, 1992.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

35

Friedrichsdorf, Ulf Ulf. Einführung in die klassische und intensionale Logik. Vieweg+Teubner Verlag, 2012.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!