Search results for 'Dag Belsnes' (try it on Scholar)

254 found
Sort by:
  1. Stål Aanderaa & Dag Belsnes (1971). Decision Problems for Tag Systems. Journal of Symbolic Logic 36 (2):229-239.score: 240.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Sinan Kalkan, Nilgün Dag, Onur Yürüten, Anna M. Borghi & Erol Şahin (2014). Verb Concepts From Affordances. Interaction Studies 15 (1):1-37.score: 30.0
    In this paper, we investigate how the interactions of a robot with its environment can be used to create concepts that are typically represented by verbs in language. Towards this end, we utilize the notion of affordances to argue that verbs typically refer to the generation of a specific type of effect rather than a specific type of action. Then, we show how a robot can form these concepts through interactions with the environment and how humans can use these concepts (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Hiroshi Nemoto (2013). Who is a Proper Opponent? The Tibetan Buddhist Concept of Phyi Rgol Yang Dag. Journal of Indian Philosophy 41 (2):151-165.score: 18.0
    This paper examines the role of a proper opponent (phyi rgol yang dag) in debate from the standpoint of the Tibetan Buddhist theory of argumentation. A proper opponent is a person who is engaged in the process of truth-seeking. He is not a debater who undertakes to refute the tenets of a proponent. But rather, he is the model debater to whom a proponent can teach truth by using a probative argument in the most effective way. A proper opponent is (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Peter Spirtes, A Polynomial Time Algorithm for Determining Dag Equivalence in the Presence of Latent Variables and Selection Bias.score: 12.0
    if and only if for every W in V, W is independent of the set of all its non-descendants conditional on the set of its parents. One natural question that arises with respect to DAGs is when two DAGs are “statistically equivalent”. One interesting sense of “statistical equivalence” is “d-separation equivalence” (explained in more detail below.) In the case of DAGs, d-separation equivalence is also corresponds to a variety of other natural senses of statistical equivalence (such as representing the same (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Edward L. Keenan & Denis Paperno (2011). Erratum To: Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic. [REVIEW] Linguistics and Philosophy 34 (1):91-91.score: 12.0
    Erratum to: Stanley Peters and Dag Westerståhl: Quantifiers in language and logic Content Type Journal Article Category Erratum Pages 1-1 DOI 10.1007/s10988-011-9094-5 Authors Edward L. Keenan, Department of Linguistics, University of California at Los Angeles, 3125 Campbell Hall, Los Angeles, CA 90095-1543, USA Denis Paperno, Department of Linguistics, University of California at Los Angeles, 3125 Campbell Hall, Los Angeles, CA 90095-1543, USA Journal Linguistics and Philosophy Online ISSN 1573-0549 Print ISSN 0165-0157.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Edward Keenan & Denis Paperno (2010). Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic. [REVIEW] Linguistics and Philosophy 33 (6):513-549.score: 9.0
    Quantifiers in Language and Logic (QLL) is a major contribution to natural language semantics, specifically to quantification. It integrates the extensive recent work on quantifiers in logic and linguistics. It also presents new observations and results. QLL should help linguists understand the mathematical generalizations we can make about natural language quantification, and it should interest logicians by presenting an extensive array of quantifiers that lie beyond the pale of classical logic. Here we focus on those aspects of QLL we judge (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Gila Sher (2010). Review of Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic. [REVIEW] Journal of Philosophy 107 (2).score: 9.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. Goran Sundholm (1998). Proofs as Acts and Proofs as Objects: Some Questions for Dag Prawitz. Theoria 64 (2-3):187-216.score: 9.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. P. G. Walsh (1969). Dag Norberg: Manuel pratique de latin médiéval. Pp. 212. Paris: Picard, 1968. Paper, 26 fr. The Classical Review 19 (03):383-.score: 9.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Robert Browning (1960). Medieval Latin Versification Dag Norberg: Introduction à l'Étude de la Versification Latine Médiévale. (Studia Latina Stockholmiensia, V.) Pp. 218. Stockholm: Almqvist Och Wiksell, 1958. Paper, Kr. 26. [REVIEW] The Classical Review 10 (01):46-48.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Taneli Kukkonen (2013). The Arabic, Hebrew and Latin Reception of Avicenna's Metaphysics Ed. By Dag Nikolaus Hasse, Amos Bertolacci (Review). [REVIEW] Journal of the History of Philosophy 51 (4):677-678.score: 9.0
    In the history of Western metaphysics, Avicenna’s efforts come second only to Aristotle’s in terms of overall importance and influence. To ascertain the truth of this statement, one need only recognize that the history of Western metaphysical inquiry extends beyond the Euro-American tradition and that Avicenna is the last prominent author closely read on both sides of the Mediterranean divide. But the claim can be made on grounds better than the quantitative of geographic. Over the past three decades, studies in (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. B. G. Sundholm, Proofs as Acts Versus Proofs as Objects: Some Questions for Dag Prawitz.score: 9.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13. Johan van Benthem (2007). Review of Stanley Peters, Dag Westerståhl, Quantifiers in Language and Logic. [REVIEW] Notre Dame Philosophical Reviews 2007 (1).score: 9.0
  14. Michael Winterbottom (1984). Dag Norberg: Critical and Exegetical Notes on the Letters of St Gregory the Great. (Kungl Vitterhets Historie Och Antikvitets Akademien, Filologiskt Arkiv, 27.) Pp. 34. Stockholm: Almqvist & Wiksell International, 1982. Paper. [REVIEW] The Classical Review 34 (02):325-326.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Solomon Feferman (1975). Review: Dag Prawitz, J. E. Fenstad, Ideas and Results in Proof Theory. [REVIEW] Journal of Symbolic Logic 40 (2):232-234.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. L. P. Wilkinson (1946). The Olympic Victor and the Poet Dag Norberg: L'Olympionique, Le Poète El Leur Renom Éternel: Contribution à l'Étude de l'Ode I, 1 d'Horace. Pp. 42. Uppsala: Lundeqvist, 1945. Paper, Kr. 1,75. [REVIEW] The Classical Review 60 (02):75-76.score: 9.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. P. G. Walsh (1992). Dag Norberg (Ed.): Paulini Aquileiensis Opera Omnia, Pars I: Contra Felicem Libri Tres. (Corpus Christianorum: Continuatio Mediaevalis, 95.) Pp. Xiii + 143. Turnhout: Brepols, 1990. Paper, B. Frs. 1,900. [REVIEW] The Classical Review 42 (01):198-.score: 9.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. J. W. Pirie (1938). Dag Norberg: In Registrum Gregorii Magni Studia Critica. (Uppsala Universitets Årsskrift, 1937: 4.) Pp. Xv + 175. Uppsala: Lundequist, 1937. Paper, Kr. 6. [REVIEW] The Classical Review 52 (02):86-.score: 9.0
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. J. A. Robinson (1966). Review: Dag Prawitz, An Improved Proof Procedure. [REVIEW] Journal of Symbolic Logic 31 (1):126-127.score: 9.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Richmond Thomason (1967). Review: Dag Prawitz, Natural Deduction. A Proof-Theoretical Study. [REVIEW] Journal of Symbolic Logic 32 (2):255-256.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. E. R. Griffor (1982). Review: Dag Normann, A Jump Operator in Set Recursion. [REVIEW] Journal of Symbolic Logic 47 (4):902-902.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. E. Matter (1993). Paulinus Aquileiensis, Paulini Aquileiensis, Opera Omnia, 1: Contra Felicem Libri Tres, Ed. Dag Norberg.(Corpus Christianorum, Continuatio Mediaeualis, 95.) Turnhout: Brepols, 1990. Paper. Pp. Xiii, 143. [REVIEW] Speculum 68 (1):229-231.score: 9.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Juha Oikkonen (1989). Review: Dag Westerstahl, On the Order Between Quantifiers. [REVIEW] Journal of Symbolic Logic 54 (2):631-631.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Peter Pagin, Kvantifikator För En Dag.score: 9.0
    By means of ‘means that’ and propositional quantification, we can define a truth predicate. This also allows the construction of liar sentences, either by self-reference or by means of quantification. In order to avoid inconsistency, restrictions on expressive power must be imposed, and the question is how far such restrictions will limit our ability to say of what is intuitively described as ‘‘meaningful’’ that it is precisely meaningful.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. Morgan Powell (2005). Dag Nikolaus Hasse, Ed., Abaelards “Historia Calamitatum”: Text-Ubersetzung-Lite-Raturwissensckaftliche Modellanalysen. (De Gruyter Texte.) Berlin and New York: Walter de Gruyter, 2002. Paper. Pp. Xiv, 322; Black-and-White Figures. €49.90. [REVIEW] Speculum 80 (1):235-236.score: 9.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  26. J. A. Robinson (1996). Gilmore PC. A Program for the Production From Axioms, of Proofs for Theorems Derivable Within the First Order Predicate Calculus. English, with English, French, German, Russian, and Spanish Summaries. Information Processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, Pp. 265–273. Porte J., Gilmore PC, Prawitz Dag H., Prawitz Håkon, and Voghera Neri. Discussion. Information ... [REVIEW] Journal of Symbolic Logic 31 (1):124-125.score: 9.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. K. Schutte (1974). Review: Dag Prawitz, Hauptsatz for Higher Order Logic; Dag Prawitz, Completeness and Hauptsatz for Second Order Logic; Moto-o Takahashi, A Proof of Cut-Elimination in Simple Type-Theory. [REVIEW] Journal of Symbolic Logic 39 (3):607-607.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Dpal-Khaṅ Ṅag-Dbaṅ-Chos-Kyi-Rgya-Mtsho (2011). Dus Gsum Gyi Rgyal Ba Sras Daṅ Bcas Paʼi Bstan Pa Mthaʼ Dag Daṅ Khyad Par Rdo Rje ʼchan Karma-Paʼi Dgoṅs Pa Gsal Bar Byed Paʼi Bstan Bcos Thar Paʼi Lam Chen Bgrod Paʼi Śiṅ Rta Źes Bya Ba Bźugs So. [REVIEW] Bod-Ljoṅs Mi Dmaṅs Dpe Skrun Khaṅ.score: 9.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  29. Sinclair Bell, Teresa Ramsby, Maurizio Bettini, Alastair Jl Blanshard, Kim Shahabudin, Maddalena Bonelli, Francesca Guadalupe Masi & William Brockliss (2012). Andersen, Øivind, and Dag TT Haug, Eds. Relative Chronology in Early Greek Poetry. Cambridge: Cambridge University Press, 2012. Xiii+ 277 Pp. 6 Black-and-White Ills., 15 Tables. Cloth, $99. Aston, Emma. Mixanthro\ Poi: Animal-Human Hybrid Deities in Greek Religion. Kernos Supplément 25. Liège: Centre International d'Étude de la Religion. [REVIEW] American Journal of Philology 133:537-542.score: 9.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Robin Cooper, Kvantifikator För En Dag.score: 9.0
    In a recent paper Asher and Pustejovsky propose a type theoretical approach to account for cases of copredication which had motivated Pustejovsky to introduce dot types in the Generative Lexicon. In this paper I will propose an alternative treatment to that given by Asher and Pustejovsky using type theory with records. I will suggest that using record types not only gives us a simple and intuitive account of dot types but also makes an important connection between copredication and (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  31. Michael Dummett (1987). Reply to Dag Prawitz. In Barry Taylor (ed.), Michael Dummett: Contributions to Philosophy. Distributors for the United States and Canada, Kluwer Academic Publishers. 281--316.score: 9.0
    No categories
     
    My bibliography  
     
    Export citation  
  32. Elisabeth Engdahl, Dov Gabbay, U. Cambridge, Johan van Benthem, Jon Barwise, Robin Cooper, Jon Doyle, Brian Skyrms & U. Irvine (1996). Dag Westerstahl. Journal of Logic, Language, and Information 5:107-112.score: 9.0
     
    My bibliography  
     
    Export citation  
  33. Dagfinn Follesdal (1968). Review: Dag Prawitz, Concerning Constructive Logic and the Concept of Implication. [REVIEW] Journal of Symbolic Logic 33 (4):605-605.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. E. R. Griffor (1983). Review: Dag Normann, Degrees of Functionals. [REVIEW] Journal of Symbolic Logic 48 (1):212-213.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Björn Haglund & Helge Malmgren (eds.) (2006). Kvantifikator För En Dag - Essays Dedicated to Dag Westerståhl on His Sixtieth Birthday. Philosophical Communications.score: 9.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  36. Finn Thorbjørn Hansen (2012). Om Akademisk Dannelse I Dag-Med Udgangspunkt I Gadamers Syn På Sandhed Og Erfaring. Norsk Filosofisk Tidsskrift 3:206-218.score: 9.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Michael Hand (1998). Review: Jon Barwise, On Branching Quantifiers in English; Dag Westerstahl, Peter Gardenfors, Branching Generalized Quantifiers and Natural Language. Generalized Quantifiers, Linguistic and Logical Approaches; Gila Sher, Ways of Branching Quantifiers. [REVIEW] Journal of Symbolic Logic 63 (4):1611-1614.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Peter G. Hinman (1984). Review: Dag Normann, Recursion on the Countable Functionals; Dag Normann, The Continuous Functionals; Computations, Recursions and Degrees. [REVIEW] Journal of Symbolic Logic 49 (2):668-670.score: 9.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. ʼjam-Dbyaṅs-Grags-Pa (2004). Grub Mthaʼ Rin Chen ʼphreṅ Ba la Brten Nas Grub Mthaʼ Smra Ba Dag Gi ʼdod Tshul Bśad Pa Grub Mthaʼi Spyi Don ʼchar Baʼi Me Loṅ Źes Bya. Kruṅ-Goʼi Bod Rig Pa Dpe Skrun Khaṅ.score: 9.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  40. Edward L. Keenan & Denis Paperno (2010). Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic OUP, New York, 2006, 528 Pp. [REVIEW] Linguistics and Philosophy 33 (6):513 - 549.score: 9.0
    Quantifiers in Language and Logic (QLL) is a major contribution to natural language semantics, specifically to quantification. It integrates the extensive recent work on quantifiers in logic and linguistics. It also presents new observations and results. QLL should help linguists understand the mathematical generalizations we can make about natural language quantification, and it should interest logicians by presenting an extensive array of quantifiers that lie beyond the pale of classical logic. Here we focus on those aspects of QLL we judge (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Tzvi Langermann (2013). A Collection of Essays on the Reception of Avicenna's Metaphysics. A Review Essay of Dag Nikolaus Hasse and Amos Bertolacci (Eds.), The Arabic, Hebrew, and Latin Reception of Avicenna's Metaphysics [Scientia Graeco-Arabica, Vol. 7], Berlin and Boston: De Gruyter, 2012, 398 Pp., ISBN 978-3-11-021575-5. [REVIEW] International Journal of the Platonic Tradition 7 (1):99-107.score: 9.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  42. Door Bart Luijkx (forthcoming). Wie voorziet· de jongeren in oude dag? Idee.score: 9.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  43. Lodi Nauta (2003). Dag Nikolaus Hasse, Avicenna's “De Anima” in the Latin West: The Formation of a Peripatetic Philosophy of the Soul, 1160–1300. (Warburg Institute Studies and Texts, 1.) London: Warburg Institute; Turin: Nino Aragno, 2000. Paper. Pp. X, 350 Plus 2 Unnumbered Pages. £32. [REVIEW] Speculum 78 (4):1309-1311.score: 9.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Branching Generalized Quantifiers (1987). Dag Westerstahl. In Peter Gärdenfors (ed.), Generalized Quantifiers. Reidel Publishing Company. 269.score: 9.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  45. J. A. Robinson (1996). Prawitz Dag. An Improved Proof Procedure. Theoria (Lund), Vol. 26 (1960), Pp. 102–139. Journal of Symbolic Logic 31 (1):126-127.score: 9.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. J. A. Robinson (1996). Prawitz Dag, Prawitz Håkon, and Voghera Neri. A Mechanical Proof Procedure and its Realization in an Electronic Computer. Journal of the Association for Computing Machinery, Vol. 7 (1960), Pp. 102–128. [REVIEW] Journal of Symbolic Logic 31 (1):126-126.score: 9.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. J. A. Robinson (1966). Review: Dag Prawitz, Hakon Prawitz, Neri Voghera, A Mechanical Proof Procedure and its Realization in an Electronic Computer. [REVIEW] Journal of Symbolic Logic 31 (1):126-126.score: 9.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. D. C. C. Young (1955). Medieval Latin Rhythmic Poetry Dag Norberg: La poésie latine rythmique du haut moyen âge. (Studia Latina Holmiensia, ii.) Pp. 120. Stockholm: Almqvist & Wiksell, 1954. Paper, Kr. 12. [REVIEW] The Classical Review 5 (3-4):289-290.score: 9.0
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. N. Kurbis (2007). Pluralism and the Logical Basis of Metaphysics. In Logica Yearbook.score: 6.0
    I argue for a kind of logical pluralism on the basis of a difficulty with defining the meaning of negation in the framework of Dummett's and Prawitz' proof-theoretic semantics.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  50. Nils Kürbis (2012). How Fundamental is the Fundamental Assumption? Teorema 2 (2):5-19.score: 6.0
    The fundamental assumption of Dummett’s and Prawitz’ proof-theoretic justification of deduction is that ‘if we have a valid argument for a complex statement, we can construct a valid argument for it which finishes with an application of one of the introduction rules governing its principal operator’. I argue that the assumption is flawed in this general version, but should be restricted, not to apply to arguments in general, but only to proofs. I also argue that Dummett’s and Prawitz’ project of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 254