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

291 found
Order:
  1.  21
    Stål Aanderaa & Dag Belsnes (1971). Decision Problems for Tag Systems. Journal of Symbolic Logic 36 (2):229-239.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  2. Peter Pagin & Westerhal Dag (2010). Compositionality I: Definitions and Variants. Philosophy Compass 5:265-282.
    Compositionality is the property that the meaning of any complex expression is determined by the meanings of its parts and the way they are put together. The language can be natural or formal, but it has to be interpreted. That is, meanings, or more generally, semantic values of some sort, must be assigned to linguistic expressions, and compositionality concerns the distribution of these values. Even though similar ideas were expressed both in antiquity and in the middle ages (e.g. by Abelard (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  1
    Sinan Kalkan, Nilgün Dag, Onur Yürüten, Anna M. Borghi & Erol Şahin (2014). Verb Concepts From Affordances. Interaction Studiesinteraction Studies Social Behaviour and Communication in Biological and Artificial Systems 15 (1):1-37.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  4
    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.
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  9
    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.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  6. Enrico Moriconi (1993). Dimostrazioni E Significato Michael Dummett - Dag Prawitz - Per Martin-Löf.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  7.  14
    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.
    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)  
     
    Export citation  
     
    My bibliography  
  8.  15
    Peter Spirtes, A Polynomial Time Algorithm for Determining Dag Equivalence in the Presence of Latent Variables and Selection Bias.
    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  
     
    Export citation  
     
    My bibliography  
  9. Gila Sher (2010). Review of Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic. [REVIEW] Journal of Philosophy 107 (2):103-112.
     
    Export citation  
     
    My bibliography  
  10. 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.
  11.  27
    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.
    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)  
     
    Export citation  
     
    My bibliography  
  12.  26
    Goran Sundholm (1998). Proofs as Acts and Proofs as Objects: Some Questions for Dag Prawitz. Theoria 64 (2-3):187-216.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  26
    Edward Keenan & Denis Paperno (2010). Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic. [REVIEW] Linguistics and Philosophy 33 (6):513-549.
    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)  
     
    Export citation  
     
    My bibliography  
  14.  4
    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.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  5
    Robin Cooper, Kvantifikator För En Dag.
    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 the use (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  6
    B. G. Sundholm, Proofs as Acts Versus Proofs as Objects: Some Questions for Dag Prawitz.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  17.  8
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  12
    Peter Pagin, Kvantifikator För En Dag.
    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.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  19.  9
    Solomon Feferman (1975). Review: Dag Prawitz, J. E. Fenstad, Ideas and Results in Proof Theory. [REVIEW] Journal of Symbolic Logic 40 (2):232-234.
  20. J. A. Robinson (1966). Review: Dag Prawitz, An Improved Proof Procedure. [REVIEW] Journal of Symbolic Logic 31 (1):126-127.
     
    Export citation  
     
    My bibliography  
  21.  3
    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.
    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  
     
    Export citation  
     
    My bibliography  
  22.  14
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  2
    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.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  24.  3
    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.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  11
    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-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  4
    Morgan Powell (2005). Dag Nikolaus Hasse, Ed., Abaelards “Historia Calamitatum”: Text-Ubersetzung-Lite-Raturwissensckaftliche Modellanalysen. Berlin and New York: Walter de Gruyter, 2002. Paper. Pp. Xiv, 322; Black-and-White Figures. €49.90. [REVIEW] Speculum 80 (1):235-236.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27.  4
    Richmond Thomason (1967). Review: Dag Prawitz, Natural Deduction. A Proof-Theoretical Study. [REVIEW] Journal of Symbolic Logic 32 (2):255-256.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  4
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29. 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.
     
    Export citation  
     
    My bibliography  
  30.  8
    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-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31.  2
    Door Bart Luijkx (forthcoming). Wie voorziet· de jongeren in oude dag? Idee.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  32.  9
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  7
    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-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    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.
  35.  1
    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. London: Warburg Institute; Turin: Nino Aragno, 2000. Paper. Pp. X, 350 Plus 2 Unnumbered Pages. £32. [REVIEW] Speculum 78 (4):1309-1311.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  2
    Juha Oikkonen (1989). Review: Dag Westerstahl, On the Order Between Quantifiers. [REVIEW] Journal of Symbolic Logic 54 (2):631-631.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  5
    Johan van Benthem (2007). Review of Stanley Peters, Dag Westerståhl, Quantifiers in Language and Logic. [REVIEW] Notre Dame Philosophical Reviews 2007 (1).
  38.  1
    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.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  39. Solomon Feferman (1975). Prawitz Dag. Ideas and Results in Proof Theory. Proceedings of the Second Scandinavian Logic Symposium, Edited by Fenstad J. E., Studies in Logic and the Foundations of Mathematics, Vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, Pp. 235–307. [REVIEW] Journal of Symbolic Logic 40 (2):232-234.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  1
    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.
  41.  1
    E. R. Griffor (1982). Review: Dag Normann, A Jump Operator in Set Recursion. [REVIEW] Journal of Symbolic Logic 47 (4):902-902.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    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.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  43. 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ṅ.
    Translate
     
     
    Export citation  
     
    My bibliography  
  44. Peder Anker (2005). Einar‐Arne Drivenes; Harald Dag Jølle .Norsk Polarhistorie. 3 Volumes. 1,639 Pp., Illus., Figs., Bibl., Index. Oslo: Gyldendal Norsk Forlag, 2004. NKr 1,295, $206. [REVIEW] Isis 96 (4):662-662.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Murat Baç (2003). Çağdaş Bir Görüngü Olarak Özgürlüğün Dağıtımı ve Tüketimi. Felsefe Tartismalari 31:11-32.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  46. 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.
     
    Export citation  
     
    My bibliography  
  47. Dagfinn Føllesdal (1969). Prawitz Dag. Angàende konstruktiv logik och implikationsbegreppet . Sju filosofiska studier tillägnade Anders Wedberg, mimeographed, Filosofiska studier utgivna av Filosofiska Institutionen vid Stockholms Universitet, no. 9, Stockholm 1963, pp. 9–32. [REVIEW] Journal of Symbolic Logic 33 (4):605.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Olav Flo (1972). Bibliography of the Philosophical and Other Writings of Jens Erik Fenstad, Guttorm Flöistad, Dagfinn Föllesdal, Finngeir Hiorth and Dag Prawitz, 1953-1970. Universitetsforlaget.
    No categories
     
    Export citation  
     
    My bibliography  
  49. Dagfinn Follesdal (1968). Review: Dag Prawitz, Concerning Constructive Logic and the Concept of Implication. [REVIEW] Journal of Symbolic Logic 33 (4):605-605.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Richard E. Grandy (1982). Zucker J. I.. The Adequacy Problem for Classical Logic. Journal of Philosophical Logic, Vol. 7 , Pp. 517–535.Zucker J. I. And Tragesser R. S.. The Adequacy Problem for Inferential Logic. Journal of Philosophical Logic, Pp. 501–516.Prawitz Dag. Proofs and the Meaning and Completeness of the Logical Constants. Essays on Mathematical and Philosophical Logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, Edited by Hintikka Jaakko, Niiniluoto Ilkka, and Saarinen Esa, Synthese Library, Vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, Pp. 25–40.Prawitz Dag. Meaning and Proofs: On the Conflict Between Classical and Intuitionistic Logic. Theoria, Vol. 43 , Pp. 2–40.Dummett M. A. E.. The Justification of Deduction. Proceedings of the British Academy, Vol. 59 , Pp. 201–232.Dummett Michael. The Philosophical Basis of Intuitionistic Logic. Logic Colloquium '73, Proceedings. [REVIEW] Journal of Symbolic Logic 47 (3):689-694.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 291