Увійти

Готові списки джерел за темами / Intensional logic / Книги

Книги з теми "Intensional logic"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Intensional logic.

Автор: Grafiati

Опубліковано: 4 червня 2021

Оновлено: 7 лютого 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-35 книг для дослідження на тему "Intensional logic".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

17

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

20

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

23

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

25

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

31

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

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

Повний текст джерела

Анотація:

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.

Стилі APA, Harvard, Vancouver, ISO та ін.

33

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

Повний текст джерела

Анотація:

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.

Стилі APA, Harvard, Vancouver, ISO та ін.

34

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

35

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!