Bibliografie tematiche / Intensional logic

Indice

  1. Articoli di riviste
  2. Tesi
  3. Libri
  4. Capitoli di libri
  5. Atti di convegni

Letteratura scientifica selezionata 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:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al 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.

Articoli di riviste sul tema "Intensional logic"

1

Anderson, C. Anthony. "Zalta's intensional logic." Philosophical Studies 69, no. 2-3 (March 1993): 221–29. http://dx.doi.org/10.1007/bf00990086.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Majkić, Zoran. "Conservative Intensional Extension of Tarski's Semantics." Advances in Artificial Intelligence 2013 (February 26, 2013): 1–10. http://dx.doi.org/10.1155/2013/920157.

Testo completo
Abstract (sommario):
We considered an extension of the first-order logic (FOL) by Bealer's intensional abstraction operator. Contemporary use of the term “intension” derives from the traditional logical Frege-Russell doctrine that an idea (logic formula) has both an extension and an intension. Although there is divergence in formulation, it is accepted that the “extension” of an idea consists of the subjects to which the idea applies, and the “intension” consists of the attributes implied by the idea. From the Montague's point of view, the meaning of an idea can be considered as particular extensions in different
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Priest, Graham. "Intensional paradoxes." Notre Dame Journal of Formal Logic 32, no. 2 (March 1991): 193–211. http://dx.doi.org/10.1305/ndjfl/1093635745.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Leone, Nicola, Luigi Palopoli, and Massimo Romeo. "MODIFYING INTENSIONAL LOGIC KNOWLEDGE." Fundamenta Informaticae 21, no. 3 (1994): 183–203. http://dx.doi.org/10.3233/fi-1994-2132.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

da Costa, Newton C. A., and Décio Krause. "An Intensional Schrödinger Logic." Notre Dame Journal of Formal Logic 38, no. 2 (April 1997): 179–94. http://dx.doi.org/10.1305/ndjfl/1039724886.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Fitting, Melvin. "First-order intensional logic." Annals of Pure and Applied Logic 127, no. 1-3 (June 2004): 171–93. http://dx.doi.org/10.1016/j.apal.2003.11.014.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Jiang, Yue J. "An intensional epistemic logic." Studia Logica 52, no. 2 (1993): 259–80. http://dx.doi.org/10.1007/bf01058391.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Bull, R. A., and Johan van Benthem. "A Manual of Intensional Logic." Journal of Symbolic Logic 54, no. 4 (December 1989): 1489. http://dx.doi.org/10.2307/2274837.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Payne, Jonathan. "Extensionalizing Intensional Second-Order Logic." Notre Dame Journal of Formal Logic 56, no. 1 (2015): 243–61. http://dx.doi.org/10.1215/00294527-2835092.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Cocchiarella, Nino B. "Conceptualism, realism, and intensional logic." Topoi 8, no. 1 (March 1989): 15–34. http://dx.doi.org/10.1007/bf00138676.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Tesi sul tema "Intensional logic"

1

Martins, Francisco Gomes. "A lÃgica das entidades intensionais." Universidade Federal do CearÃ, 2012. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8392.

Testo completo
Abstract (sommario):
nÃo hÃ<br>Um grave problema presente quando aplicamos semÃntica composicional, que atribui simples valores de verdade a frases, Ã que quando essas seqÃÃncias estÃo presentes em alguns contextos especÃficos, a substituiÃÃo de certas expressÃes com a mesma referÃncia pode cambiar o valor de verdade da frase maior ou entÃo impedir que inferÃncias vÃlidas sejam realizadas. Por exemplo, da afirmaÃÃo "Pedro acredita que Alexandre o Grande foi aluno de AristÃteles", nÃo se pode inferir corretamente neste contexto de crenÃa que a substituiÃÃo de "Alexandre o grande" por "o vencedor da batalha de Arbel
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Fritz, Peter. "Intensional type theory for higher-order contingentism." Thesis, University of Oxford, 2015. http://ora.ox.ac.uk/objects/uuid:b9415266-ad21-494a-9a78-17d2395eb8dd.

Testo completo
Abstract (sommario):
Things could have been different, but could it also have been different what things there are? It is natural to think so, since I could have failed to be born, and it is natural to think that I would then not have been anything. But what about entities like propositions, properties and relations? Had I not been anything, would there have been the property of being me? In this thesis, I formally develop and assess views according to which it is both contingent what individuals there are and contingent what propositions, properties and relations there are. I end up rejecting these views, and con
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Blackburn, Patrick Rowan. "Nominal tense logic and other sorted intensional frameworks." Thesis, University of Edinburgh, 1990. http://hdl.handle.net/1842/6588.

Testo completo
Abstract (sommario):
This thesis introduces of a system of tense logic called nominal tense logic (NTL), and several extensions. Its primary aim is to establish that these systems are logically interesting, and can provide useful models of natural language tense, temporal reference, and their interaction. Languages of nominal tense logic are a simple augmentation of Priorean tense logic. They add to the familiar Priorean languages a new sort of atomic symbol, nominals. Like propositional variables, nominals are atomic sentences and may be freely combined with other wffs using the usual connectives. When interpreti
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Kavvos, Georgios Alexandros. "On the semantics of intensionality and intensional recursion." Thesis, University of Oxford, 2017. https://ora.ox.ac.uk/objects/uuid:f89b46d8-b514-42fd-9321-e2803452681f.

Testo completo
Abstract (sommario):
Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than (extensional) equality. This is a familiar setting for computer scientists, who often study different programs or processes that are interchangeable, i.e. extensionally equal, even though they are not implemented in the same way, so intensionally distinct. Concomitant with intensionality is the phenomenon of intensional recursion, which refers to the ability of a program to have access to its own code. In computability theory, intensiona
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Lavers, Peter Stanley. "Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics /." Title page, table of contents and summary only, 1985. http://web4.library.adelaide.edu.au/theses/09ARM/09arml399.pdf.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Fontaine, Matthieu. "Argumentation et engagement ontologique de l’acte intentionnel : Pour une réflexion critique sur l’identité dans les logiques intentionnelles explicites." Thesis, Lille 3, 2013. http://www.theses.fr/2013LIL30025/document.

Testo completo
Abstract (sommario):
L'intentionalité est la faculté qu'a l'esprit humain de se diriger vers des objets de toutes sortes. On la capture linguistiquement à travers l'usage de verbes comme "savoir", "croire", "craindre", "espérer". Les énoncés intentionnels comme "Jean croit que Nosferatu est un vampire" ou "Oedipe aime Jocaste" défient les lois de la logique classique, remettant en cause la validité de principes logiques tels que la généralisation existentielle ou encore la substitution des identiques. Je propose dans ma thèse une analyse fondée sur les logiques intentionnelles explicites, des logiques où le langag
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Wansing, Heinrich. "Displaying modal logic /." Dordrecht [u.a.] : Kluwer, 1998. http://www.gbv.de/dms/ilmenau/toc/24662969X.PDF.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Wespel, Johannes. "Zur semantischen Feinstruktur in propositionalen Einstellungskontexten." [S.l. : s.n.], 2004. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11244071.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Mertens, Amélie. "Nouvel éclairage sur la notion de concept chez Gödel à travers les Max-Phil." Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM3120/document.

Testo completo
Abstract (sommario):
Notre travail vise à étudier les Max-Phil, textes inédits de Kurt Gödel, dans lesquels il développe sa pensée philosophique. Nous nous intéressons plus spécifiquement à la question du réalisme conceptuel, position déjà défendue dans ses écrits publiés selon laquelle les concepts existent indépendamment de nos définitions et constructions. L’objectif est de montrer qu’une interprétation cohérente de ces textes encore peu connus est possible. Pour ce faire, nous proposons une interprétation de certains passages, interprétation hypothétique mais susceptible d’apporter de nouveaux éléments à des q
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Rondogiannis, Panagiotis. "Higher-order functional languages and intensional logic." Thesis, 1994. http://hdl.handle.net/1828/5960.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Libri sul tema "Intensional logic"

1

Imre, Ruzsa. Intensional logic revisited. Budapest: Published by the author, L. Eötvös University, 1991.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

de Rijke, Maarten, ed. 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.), ed. A manual of intensional logic. 2nd 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, 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.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "Intensional logic"

1

Gochet, Paul. "Intensional logic." In Handbook of Pragmatics, 1–12. Amsterdam: John Benjamins Publishing Company, 2007. http://dx.doi.org/10.1075/hop.11.int2.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Gochet, Paul. "Intensional logic." In Handbook of Pragmatics, 1–12. Amsterdam: John Benjamins Publishing Company, 2010. http://dx.doi.org/10.1075/hop.14.int2.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Gochet, Paul. "Intensional logic." In Handbook of Pragmatics, 330–36. Amsterdam: John Benjamins Publishing Company, 1995. http://dx.doi.org/10.1075/hop.m.int2.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Gochet, Paul. "Intensional logic." In Philosophical Perspectives for Pragmatics, 153–62. Amsterdam: John Benjamins Publishing Company, 2011. http://dx.doi.org/10.1075/hoph.10.13goc.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Goertzel, Ben, Matthew Iklé, Izabela Freire Goertzel, and Ari Heljakka. "Intensional Inference." In Probabilistic Logic Networks, 1–16. Boston, MA: Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-76872-4_12.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Keenan, Edward L., and Leonard M. Faltz. "The Intensional Logic." In Boolean Semantics for Natural Language, 272–376. Dordrecht: Springer Netherlands, 1985. http://dx.doi.org/10.1007/978-94-009-6404-4_4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Dovier, A., E. Pontelli, and G. Rossi. "Intensional Sets in CLP." In Logic Programming, 284–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-24599-5_20.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Muñoz-Hernández, Susana, Julio Mariño, and Juan José Moreno-Navarro. "Constructive Intensional Negation." In Functional and Logic Programming, 39–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24754-8_5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Fitting, Melvin. "Intensional Logic— Beyond First Order." In Trends in Logic, 87–108. Dordrecht: Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-017-3598-8_5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Braüner, Torben. "Intensional First-Order Hybrid Logic." In Applied Logic Series, 153–69. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-94-007-0002-4_7.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Intensional logic"

1

Vokorokos, Liberios, Zuzana Bilanova, and Daniel Mihalyi. "Linear logic operators in transparent intensional logic." In 2017 IEEE 14th International Scientific Conference on Informatics. IEEE, 2017. http://dx.doi.org/10.1109/informatics.2017.8327286.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Vlk, Tomas. "Topic/Focus articulation and intensional logic." In the 12th conference. Morristown, NJ, USA: Association for Computational Linguistics, 1988. http://dx.doi.org/10.3115/991719.991784.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Blot, Valentin, and Jim Laird. "Extensional and Intensional Semantic Universes." In LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3209108.3209206.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Feng Jiang, Yuefei Sui, and Cungen Cao. "An ontology-based first-order intensional logic." In 2008 IEEE International Conference on Granular Computing (GrC-2008). IEEE, 2008. http://dx.doi.org/10.1109/grc.2008.4664731.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Mokhov, Serguei A., and Joey Paquet. "Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions." In 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications. IEEE, 2010. http://dx.doi.org/10.1109/sera.2010.23.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Mokhov, Serguei A., and Joey Paquet. "A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY." In 2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS). IEEE, 2010. http://dx.doi.org/10.1109/icis.2010.156.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Birkedal, Lars, and Rasmus Ejlers Mogelberg. "Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes." In 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013). IEEE, 2013. http://dx.doi.org/10.1109/lics.2013.27.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Castellan, Simon, Pierre Clairambault, and Glynn Winskel. "The Parallel Intensionally Fully Abstract Games Model of PCF." In 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2015. http://dx.doi.org/10.1109/lics.2015.31.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi estesi di opere sul tema "Intensional logic":
Articoli di riviste Libri
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!

Vai alla bibliografia