Acceder

Bibliografías temáticas / Intensional logic / Libros

Libros sobre el tema "Intensional logic"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Intensional logic.

Autor: Grafiati

Publicado: 4 de junio de 2021

Última modificación: 7 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 35 mejores mejores libros para su investigación sobre el tema "Intensional logic".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!