Accedi

Bibliografie tematiche / Intensional logic / Libri

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Intensional logic.

Libri sul tema "Intensional logic"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 7 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-35 libri per l'attività di ricerca sul tema "Intensional logic".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi i libri di molte aree scientifiche e compila una bibliografia corretta.

1

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

11

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

12

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

14

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

17

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

18

de, Rijke Maarten, a cura di. Advances in intensional logic. Dordrecht: Kluwer Academic Publishers, 1997.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

19

1951-, Shapiro Stewart, a cura di. Intensional mathematics. Amsterdam: North-Holland, 1985.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

20

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

21

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

22

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

23

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

24

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

25

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

26

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

27

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

31

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

33

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

34

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

35

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!