Results for 'Dag Belsnes'

335 found
Order:
  1.  24
    Decision Problems for Tag Systems.Stål Aanderaa & Dag Belsnes - 1971 - Journal of Symbolic Logic 36 (2):229-239.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  2.  5
    Verb Concepts From Affordances.Sinan Kalkan, Nilgün Dag, Onur Yürüten, Anna M. Borghi & Erol Şahin - 2014 - 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  
  3.  2
    Verb Concepts From Affordances.Sinan Kalkan, Nilgün Dag, Onur Yürüten, Anna M. Borghi & Erol Şahin - 2014 - Interaction Studiesinteraction Studies Social Behaviour and Communication in Biological and Artificial Systems 15 (1):1-37.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  11
    Who is a Proper Opponent? The Tibetan Buddhist Concept of Phyi Rgol Yang Dag.Hiroshi Nemoto - 2013 - 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  
  5. Dimostrazioni E Significato Michael Dummett - Dag Prawitz - Per Martin-Löf.Enrico Moriconi - 1993
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  6.  22
    Dag Prawitz on Proofs, Operations and Grounding.Aragona Antonio Piccolomini D’ - forthcoming - Topoi:1-20.
    Dag Prawitz’s theory of grounds proposes a fresh approach to valid inferences. Its main aim is to clarify nature and reasons of their epistemic power. The notion of ground is taken to denote what one is in possession of when in a state of evidence, and valid inferences are described in terms of operations that make us pass from grounds we already have to new grounds. Thanks to a rigorously developed proof-as-chains conception, the ground-theoretic framework permits Prawitz to overcome some (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  16
    Erratum To: Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic. [REVIEW]Edward L. Keenan & Denis Paperno - 2011 - 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. A Polynomial Time Algorithm for Determining Dag Equivalence in the Presence of Latent Variables and Selection Bias.Peter Spirtes - unknown
    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
     
    Export citation  
     
    My bibliography  
  9. Reply to Dag Prawitz.Michael Dummett - 1987 - In Barry Taylor (ed.), Michael Dummett: Contributions to Philosophy. Kluwer Academic Publishers. pp. 281--316.
  10. Review of Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic[REVIEW]Gila Sher - 2010 - Journal of Philosophy 107 (2):103-112.
     
    Export citation  
     
    My bibliography  
  11.  50
    Proofs as Acts and Proofs as Objects: Some Questions for Dag Prawitz.Goran Sundholm - 1998 - Theoria 64 (2-3):187-216.
  12.  10
    Proofs as Acts Versus Proofs as Objects: Some Questions for Dag Prawitz.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  13.  11
    Kazım Mechi’s Poem With Karachay Turkish: Yaralı Dag Kecisi.Mehmet Sari - 2009 - Journal of Turkish Studies 4:2390-2410.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  32
    The Arabic, Hebrew and Latin Reception of Avicenna's Metaphysics Ed. By Dag Nikolaus Hasse, Amos Bertolacci (Review). [REVIEW]Taneli Kukkonen - 2013 - 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 (5 more)  
     
    Export citation  
     
    My bibliography  
  15.  6
    Öğretmenlerin Akıllı Tahta Ve Öğrencilere Dağıtılan Tablet Bilgisayarlar İle İlgili Yaşadıkları Soru.Önder Şanli - 2015 - Journal of Turkish Studies 10 (Volume 10 Issue 3):833-833.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  16.  35
    Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic. [REVIEW]Edward Keenan & Denis Paperno - 2010 - 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  
  17.  19
    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]L. P. Wilkinson - 1946 - The Classical Review 60 (02):75-76.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  4
    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]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.
  19.  11
    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]D. C. C. Young - 1955 - The Classical Review 5 (3-4):289-290.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  20.  2
    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]Richard E. Grandy - 1982 - Journal of Symbolic Logic 47 (3):689-694.
  21.  19
    Kvantifikator För En Dag.Peter Pagin - unknown
    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.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  22.  3
    Cinsel Çağrışımlı Türkü Sözlerinin Bölgelere Göre Dağılımı.Feyzan Göher Vural - 2016 - Journal of Turkish Studies 11 (Volume 11 Issue 18):79-79.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  23.  4
    Türkiye'de İlçelere Göre Medyan Yaş Dağılımının Mek'nsal ve İstatistiksel Analizi.Mustafa Yakar - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 11):559-559.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  24.  6
    Paulini Aquileiensis, Opera Omnia, 1: Contra Felicem Libri Tres.Paulinus Aquileiensis, Dag Norberg.E. Ann Matter - 1993 - Speculum 68 (1):229-231.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  25. Review: Dag Prawitz, An Improved Proof Procedure. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.
     
    Export citation  
     
    My bibliography  
  26.  20
    Dag Norberg: In Registrum Gregorii Magni Studia Critica. (Uppsala Universitets Årsskrift, 1937: 4.) Pp. Xv + 175. Uppsala: Lundequist, 1937. Paper, Kr. 6. [REVIEW]J. W. Pirie - 1938 - The Classical Review 52 (02):86-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27.  9
    Kvantifikator För En Dag.Robin Cooper - unknown
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  28.  2
    Prawitz Dag. Natural Deduction. A Proof-Theoretical Study. Acta Universitatis Stock-Holmiensis, Stockholm Studies in Philosophy No. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 Pp. [REVIEW]Richmond Thomason - 1967 - Journal of Symbolic Logic 32 (2):255-256.
  29.  22
    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]Robert Browning - 1960 - The Classical Review 10 (01):46-48.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  11
    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]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
  31.  3
    Nur Dağı Platosunda Derlenen Bazı Yerel Kelimelerin Etimolojisi Üzerine Bir Değerlendir.Fahri DAĞI - 2013 - Journal of Turkish Studies 8 (Volume 8 Issue 13):715-715.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  32.  17
    Dag Norberg: Manuel pratique de latin médiéval. Pp. 212. Paris: Picard, 1968. Paper, 26 fr.P. G. Walsh - 1969 - The Classical Review 19 (03):383-.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  33.  7
    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]Sinclair Bell, Teresa Ramsby, Maurizio Bettini, Alastair Jl Blanshard, Kim Shahabudin, Maddalena Bonelli, Francesca Guadalupe Masi & William Brockliss - 2012 - American Journal of Philology 133:537-542.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  34.  9
    Review: Dag Prawitz, J. E. Fenstad, Ideas and Results in Proof Theory. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.
  35.  15
    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]Michael Winterbottom - 1984 - The Classical Review 34 (02):325-326.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  14
    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]P. G. Walsh - 1992 - The Classical Review 42 (01):198-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  5
    Om Akademisk Dannelse I Dag-Med Udgangspunkt I Gadamers Syn På Sandhed Og Erfaring.Finn Thorbjørn Hansen - 2012 - Norsk Filosofisk Tidsskrift 47 (3):206-218.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  5
    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]Lodi Nauta - 2003 - Speculum 78 (4):1309-1311.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39. Review: Dag Prawitz, Hakon Prawitz, Neri Voghera, A Mechanical Proof Procedure and its Realization in an Electronic Computer. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-126.
     
    Export citation  
     
    My bibliography  
  40.  7
    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]Morgan Powell - 2005 - Speculum 80 (1):235-236.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  2
    Yalovada Nüfusun Jeomorfolojik Birimlere Göre Dağılışı.Sümeyra Kurt - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 1):327-327.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  42.  5
    Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic OUP, New York, 2006, 528 Pp. [REVIEW]Edward L. Keenan & Denis Paperno - 2010 - 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  
  43.  3
    Anagrammatismos − Paragtammatismos. Dag Spiel MIT den Buchstaben.H. Hunger - 1992 - Byzantinische Zeitschrift 84 (1-2):1-11.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  44.  3
    Introduction À l'Étude de la Versification Latine Médiévale. Dag Morberg.L. R. Lind - 1959 - Speculum 34 (3):491-493.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  45.  3
    Abaelards "Historia calamitatum": Text-Übersetzung-literaturwissenschaftliche Modellanalysen. Dag Nikolaus Hasse.Morgan Powell - 2005 - Speculum 80 (1):235-236.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  46.  5
    Review: Dag Prawitz, Natural Deduction. A Proof-Theoretical Study. [REVIEW]Richmond Thomason - 1967 - Journal of Symbolic Logic 32 (2):255-256.
  47.  1
    Gaziantep'te Yoğunlaşan Sanayi Sektörleri Ve Bu Sektörlerin Türkiye'deki Dağılım.Ersin Kaya Sandal - 2016 - Journal of Turkish Studies 11 (Volume 11 Issue 8):293-293.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  48.  2
    Normann Dag. Recursion on the Countable Functionals. Lecture Notes in Mathematics, Vol. 811. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, VIII + 191 Pp.Normann Dag. The Continuous Functionals; Computations, Recursions and Degrees. Annals of Mathematical Logic, Vol. 21 , Pp. 1–26. [REVIEW]Peter G. Hinman - 1984 - Journal of Symbolic Logic 49 (2):668-670.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  4
    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]J. A. Robinson - 1996 - Journal of Symbolic Logic 31 (1):124-125.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50.  3
    Wie voorziet· de jongeren in oude dag?Door Bart Luijkx - forthcoming - Idee.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
1 — 50 / 335