Search results for 'Gabbay Dm' (try it on Scholar)

1000+ found
Sort by:
  1. Gabbay Dm & Guenthner F. (2002). Handbook of Philosophical Logic. History and Philosophy of Logic 23 (4):289-291.score: 240.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Michael Gabbay, Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.score: 180.0
    In this paper we make some observations about Natural Deduction derivations [Prawitz, 1965, van Dalen, 1986, Bell and Machover, 1977]. We assume the reader is familiar with it and with proof-theory in general. Our development will be simple, even simple-minded, and concrete. However, it will also be evident that general ideas motivate our examples, and we think both our specific examples and the ideas behind them are interesting and may be useful to some readers. In a sentence, the bare technical (...)
    No categories
     
    My bibliography  
     
    Export citation  
  3. Dov M. Gabbay (2006). Guido Boella Dov M. Gabbay Leendert van der Torre Serena Villata. Studia Logica 82:1-59.score: 180.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Mark Reynolds (2005). Gabbay DM, Kurucz A., Wolter F., and Zakharyaschev M.. Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, Vol. 148. Elsevier, Amsterdam, Xiv+ 747 Pp. [REVIEW] Bulletin of Symbolic Logic 11 (1):77-79.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. G. White (2002). S. Abramsky, Dm Gabbay and Tse Maibaum Handbook of Logic in Computer Science. History and Philosophy of Logic 23 (2):135-136.score: 120.0
     
    My bibliography  
     
    Export citation  
  6. Satoko Titani, Heiji Kodera & Hiroshi Aoyama (2013). Systems of Quantum Logic. Studia Logica 101 (1):193-217.score: 30.0
    Logical implications are closely related to modal operators. Lattice-valued logic LL and quantum logic QL were formulated in Titani S (1999) Lattice Valued Set Theory. Arch Math Logic 38:395–421, Titani S (2009) A Completeness Theorem of Quantum Set Theory. In: Engesser K, Gabbay DM, Lehmann D (eds) Handbook of Quantum Logic and Quantum Structures: Quantum Logic. Elsevier Science Ltd., pp. 661–702, by introducing the basic implication → which represents the lattice order. In this paper, we fomulate a predicate orthologic (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Maria Concetta Di Maio & Alberto Zanardo (1998). A Gabbay-Rule Free Axiomatization of T X W Validity. Journal of Philosophical Logic 27 (5):435 - 487.score: 18.0
    The semantical structures called T x W frames were introduced in (Thomason, 1984) for the Ockhamist temporal-modal language, $[Unrepresented Character]_{o}$ , which consists of the usual propositional language augmented with the Priorean operators P and F and with a possibility operator ◇. However, these structures are also suitable for interpreting an extended language, $[Unrepresented Character]_{so}$ , containing a further possibility operator $\lozenge^{s}$ which expresses synchronism among possibly incompatible histories and which can thus be thought of as a cross-history 'simultaneity' operator. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. Michael Makkai (1995). On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic. Notre Dame Journal of Formal Logic 36 (3):364-381.score: 18.0
    Using the framework of categorical logic, this paper analyzes and streamlines Gabbay's semantical proof of the Craig interpolation theorem for intuitionistic predicate logic. In the process, an apparently new and interesting fact about the relation of coherent and intuitionistic logic is found.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. R. P. C. Hanson (1956). Thorleif Boman: Das hebräische Denken im Vergleich mit dem griechischen. Pp. 186. Göttingen: Vandenhoeck & Ruprecht, 1954. Paper, DM. 9.80. [REVIEW] The Classical Review 6 (01):81-82.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Irving H. Anellis (2009). Review of D. M. Gabbay and J. Woods (Eds.), Handbook of the History of Logic, Volume 3: The Rise of Modern Logic From Leibniz to Frege. [REVIEW] Transactions of the Charles S. Peirce Society 45 (3):pp. 456-464.score: 15.0
  11. Arthur W. H. Adkins (1966). The Unwritten Doctrines of Plato Hans Joachim Krämer: Arete Bei Platon Und Aristoteles. Pp. 600. Heidelberg: Winter, 1959. Paper, DM. 39.50. [REVIEW] The Classical Review 16 (01):31-34.score: 15.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Gerard J. P. O''Daly (1983). Proclus' Commentary on Plato's Republic Anne D. R. Sheppard: Studies on the 5th and 6th Essays of Proclus' Commentary on the Republic. (Hypomnemata, 61.) Pp. 214. Göttingen: Vandenhoeck & Ruprecht, 1980. Paper. DM. 42. [REVIEW] The Classical Review 33 (02):242-244.score: 15.0
  13. J. F. Drinkwater (1992). Allan A. Lund: Zum Germanenbild der Römer: eine Einführung in die antike Ethnographie. Pp. 100. Heidelberg: Carl Winter, 1990. Paper, DM 19.80. [REVIEW] The Classical Review 42 (02):467-468.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. J. Gwyn Griffiths (1971). Wilhelm Gundel: Dekane und Dekansternbilder. Ein Beitrag zur Geschichte der Sternbilder der Kulturvölker. Zweite Auflage. Pp. x+456. Darmstadt: Wissenschaftliche Buchgesellschaft, 1969. Cloth, DM. 80.90. [REVIEW] The Classical Review 21 (02):306-307.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. G. L. Cawkwell (1975). The Oath of Plataea Peter Siewert: Der Eid von Plataiai. (Vestigia, 16.) Pp. Xi+118. Munich: Beck, 1972. Cloth, DM.26. The Classical Review 25 (02):263-265.score: 15.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. John Carter (1988). Edwin S. Ramage: The Nature and Purpose of Augustus' Res Gestae. (Historia Einzelschriften, 54.) Pp. 168. Stuttgart: Franz Steiner, 1987. Paper, DM 48. [REVIEW] The Classical Review 38 (02):436-437.score: 15.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Ken Dowden (1996). R. W. Daniel, F. Maltomini (edd.): Supplementum Magicum. Vol. I. Abhandlungen der Rheinisch-Westfälischen Akademie der Wissenschaften. (Sonderreihe, Papyrologica Coloniensia, XVI.1.) Pp. xxvi+213; 8 plates. Opladen: Westdeutscher Verlag, 1990. Paper, DM 98. [REVIEW] The Classical Review 46 (01):176-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. G. J. P. O'Daly (1981). Werner Beierwaltes: Identität und Differenz. (Philosophische Abhandlungen, 49.) Pp. 328. Frankfurt am Main: Vittorio Klostermann, 1980. Paper, DM. 86. [REVIEW] The Classical Review 31 (02):304-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. M. Schofield (1983). G. B. Kerferd (Ed.): The Sophists and Their Legacy. (Hermes Einzelschriften, 44.) Pp. Vii + 141. Wiesbaden: Franz Steiner, 1981. Paper, DM. 58. [REVIEW] The Classical Review 33 (01):141-.score: 15.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. M. S. Spurr (1986). Géza Alföldy: Römische Sozialgeschichte. (Wissenschaftliche Paperbacks 8, Sozial- und Wirtschaftsgeschichte, Hans Pohl (ed.).) Pp. 212. 1 text fig. Wiesbaden: Steiner, 1984. Paper, DM. 24. [REVIEW] The Classical Review 36 (02):331-332.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Michael Winterbottom (1983). Severin Koster: Die Invektive in der griechischen und römischen Literatur. (Beiträge zur klassischen Philologie, 99.) Pp. 411. Meisenheim am Glan: Anton Hain, 1980. DM. 208. [REVIEW] The Classical Review 33 (01):137-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. A. H. Armstrong (1962). Richard Harder: (1) Plotins Schriften übersetzt. Neubearbeitung mit griechischem Lesetext und Anmerkungen fortgeführt von R. Beutler und W. Theiler. Band V: Die Schriften 46–54: (a) Text und Übersetzung, (b) Anmerkungen. Pp. xii+546. Hamburg: Meiner, 1960. Cloth, DM. 46.(2) Plotin: Ausgewählte Einzelschriften übersetzt. Herausgegeben R. von Beutler und W. Theiler. Heft 2: Schriften 46, 51, und 54. Pp. 84. Hamburg: Meiner, 1960. Paper, DM. 5.60. [REVIEW] The Classical Review 12 (01):94-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. A. G. Geddes (1992). Christoph Ulf: Die homerische Gesellschaft: Materialien zur analytischen Beschreibung und historischen Lokalisierung. (Vestigia, Beiträge zur alten Geschichte, 43.) Pp. xi + 285. Munich: C. H. Beck, 1990. DM 114. [REVIEW] The Classical Review 42 (02):427-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. J. L. Ackrill (1985). L. Delatte, C. Rutten, S. Govaerts, J. Denooz: Aristoteles, Metaphysica, Index Verborum, Listes de Fréquence. (Alpha–Omega, Reihe A, 42.) Pp. Xiii + 521. Hildesheim: Olms–Weidmann, 1984. DM. 118. [REVIEW] The Classical Review 35 (02):386-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. A. H. Armstrong (1986). Werner Beierwaltes: Denken des Einen. (Studien zur neuplatonischen Philosophie und ihrer Wirkungsgeschichte.) Pp. 471. Frankfurt: Vittorio Klostermann, 1985. DM. 194. [REVIEW] The Classical Review 36 (02):322-323.score: 15.0
  26. Malcolm Davies (1992). The New Teubner Aeschylus Martin L. West: Aeschyli Tragoediae. (Bibl. Teubneriana.) Pp. Lxxxv + 508. Stuttgart: B. G. Teubner, 1990. DM 195. Martin L. West: Studies in Aeschylus. (Beiträge Zur Altertumskunde, 1.) Pp. X + 408. Stuttgart: B. G. Teubner, 1990. DM 184. [REVIEW] The Classical Review 42 (02):255-263.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. R. M. Cook (1966). Gerhard Neumann: Gesten und Gebärden in der griechischen Kunst. Pp. 225; 78 figs. Berlin: de Gruyter, 1965. Cloth, DM. 38. [REVIEW] The Classical Review 16 (03):419-420.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. D. W. Hamlyn (1962). Galen's Logic Jurgen Mau: Galen, Einführung in die Logik. Kritisch-exegetischer Kommentar mit deutscher Übersetzung. Pp. xii+69+27. Berlin: Akademie-Verlag, 1960. Paper, DM. 12.50. [REVIEW] The Classical Review 12 (03):209-210.score: 15.0
  29. Ullrich Hustadt (2001). Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger. [REVIEW] Journal of Logic, Language and Information 10 (3):406-410.score: 15.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  30. R. H. Martin (1993). Christine Trzaska-Richter: Furor teutonicus: Das römische Germanenbild in Politik und Propaganda von den Anfängen bis zum 2. Jahrhundert n. Chr. (Bochumer Altertumswissenschaftliches Colloquium, 8.) Pp. 262. Trier: WVT (Wissenschaftlicher Verlag Trier), 1991. Paper, DM 42. [REVIEW] The Classical Review 43 (02):452-453.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. J. A. Davison (1963). Albin Lesky: Göttliche Und menschliche Motivation im homerischm Epos. (Sitz. der Heidelberger Akad. der Wiss., Phll.-Hist. Kl., 1961. 4.) Pp. 52. Heidelberg: Winter, 1961. Paper. DM. 7.80. [REVIEW] The Classical Review 13 (01):108-109.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. James Diggle (1981). Ruth Scodel: The Trojan Trilogy of Euripides. (Hypomnemata, 60.) Pp. 152. Göttingen: Vandenhoeck & Ruprecht, 1980. Paper, DM. 28. [REVIEW] The Classical Review 31 (01):106-107.score: 15.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. E. J. Kenney (1961). Vergil: Die Mücke. Lateinisch und deutsch von Magdalena Schmidt. (Schriften und Quellen der alten Welt, Band 4.) Pp. 47. Berlin: Akademie-Verlag, 1959. Paper, DM. 6. [REVIEW] The Classical Review 11 (01):86-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. A. H. Armstrong (1964). Richard Harder: Plotins Schriften übersetzt: Neubearbeitung mit griechischem Lesetext und Anmerkungen fortgeführt von R. Beutler und W. Theiler. Band ii: Die Schriften 22–29. (a) Text und Übersetzung. (b) Anmerkungen. Pp. vi+560. Hamburg: Meiner, 1962. Paper, DM. 50 (cloth, DM. 55). [REVIEW] The Classical Review 14 (01):107-108.score: 15.0
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  35. Kenneth Reid Beesley (1982). Evaluative Adjectives as One-Place Predicates Dm Montague Grammar. Journal of Semantics 1 (3-4):195-249.score: 15.0
    In this paper I will argue that evaluative adjectives, such as good, bad, clever and skilful, should be analysed as one-place predicates in logical translation. This approach, which is basically the traditional logical treatment of ‘absolute’ adjectives, is to be contrasted with the approach in Montague (1974a) and Parsons (1972), wherein all adjectives are translated as two-place predicates, i.e. as semantic attributives. The move away from the Montague-Parsons analysis is not new: Bartsch (1972. 1975), McConnell-Ginet (1973), Kamp (1975), Siegel (1976a, (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  36. Paul Cartledge (1984). Manfred Clauss: Sparta. Eine Einführung in Seine Geschichte Und Zivilisation. (Beck'sche Elementarbücher.) Pp. 248; 1 Map, 2 Tables. Munich: C. H. Beck, 1983. Paper, DM. 28. [REVIEW] The Classical Review 34 (02):344-.score: 15.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. S. F. (1999). Christoph Jäger (Ed.) Analytische Religionsphilosophie. (Paderborn-Munich-Vienna-Zurich: Ferdinand Schöningh, 1998). Pp IV+375. DM 18 Pbk. [REVIEW] Religious Studies 35 (2):241-243.score: 15.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. D. M. Jones (1958). Hjalmar Frisk: Griechisches Etymologisches Wörterbuch. Lieferung 4. Pp. 289–384. Heidelberg: Winter, 1956. Paper, DM. 8.60. [REVIEW] The Classical Review 8 (02):186-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. D. M. Jones (1965). Hofmann Revised M. Leumann, J. B. Hofmann, A. Szantyr: Lateinische Grammatik. Zweiter Band: Syntax und Stilistik. Von J. B. Hofmann, neubearbeitet von Anton Szantyr. (Handbuch der Altertumswissenschaft, ii. 2. 2.) Pp. xi + 842. Munich: Beck, 1963. Paper, DM. 90. [REVIEW] The Classical Review 15 (03):314-317.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. E. J. Kenney (1977). Gerhard Jäger: Einführung in die Klassische Philologie. (Beck'sche Elementarbücher.) Pp. 234. Munich: Beck, 1975. Paper, DM. 24. [REVIEW] The Classical Review 27 (02):325-326.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. D. M. Lewis (1975). Ancient Chronology Alan E. Samuel: Greek and Roman Chronology: Calendars and Years in Classical Antiquity. (Handbuch der Altertumswissenschaft, I. 7.) Pp. Xvii+307; 11 Figs. Munich: Beck, 1972. Cloth, DM.75. [REVIEW] The Classical Review 25 (01):69-72.score: 15.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Oswyn Murray (1972). Christian Habicht: Gottmenschentum und griechische Städte. Zweite Auflage. (Zetemata 14.) Pp. xvi + 290. Munich: Beck, 1970. Paper, DM.48. [REVIEW] The Classical Review 22 (03):427-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Martin Stone (1998). Josef Lössl. Intellectus Gratiae: Die Erkenntnistheoretische Und Hermeneutische Dimension der Gnadenlehre Augustinus Von Hippo. (Leiden: E. J. Brill, 1997.) Pp XII+501. DM 245.00. [REVIEW] Religious Studies 34 (2):219-229.score: 15.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. D. J. Allan (1964). Visual Aids to Teaching in Aristotle Franz Dirlmeier: Merkwürdige Zitate in der Eudemischen Ethik des Aristoteles. Pp. 43. Heidelberg: Winter, 1964. Paper, DM. 6.80. [REVIEW] The Classical Review 14 (02):151-152.score: 15.0
  45. A. H. Armstrong (1969). Damascius' Life of Isidore Clemens Zintzen: Damascii Vitae Isidori Reliquiae. Pp. Xiv+376. Hildesheim: Olms, 1967. Cloth, DM.79.80. [REVIEW] The Classical Review 19 (01):49-50.score: 15.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Malcolm A. R. Colledge (1986). Géza Alföldi: Römische Statuen in Venetia et Histria. Epigraphische Quellen. (Abhandlungen der Heidelberger Akademie der Wissenschaften, Philosophisch-historische Klasse, Jahrgang 1984, 3.) Pp. 160; 56 figures, 6 plates. Heidelberg: Carl Winter, 1984. Paper, DM. 115. [REVIEW] The Classical Review 36 (02):343-344.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Malcolm A. R. Colledge (1986). Renate Bol: Das Statuenprogramm des Herodes–Atticus–Nymphäums. (Deutsches Archäologisches Institut, Olympische Forschungen, 15.) Pp. Xii + 210; 73 Text Figures, 6 Supplementary Figures, 70 Plates. Berlin: De Gruyter, 1984. DM. 190. [REVIEW] The Classical Review 36 (02):342-343.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. R. L. Fowler (1986). Leah Rissman: Love as War: Homeric Allusion in the Poetry of Sappho. (Beiträge Zur Klassischen Philologie, 157.) Pp. Xiv + 169. Königstein/Ts.: Anton Hain, 1983. Paper, DM. 34.Dirk Meyerhoff: Traditioneller Stoff Und Individuelle Gestaltung. Untersuchungen Zu Alkaios Und Sappho. (Beiträge Zur Altertumswissenschaft, 3.) Pp. Viii + 264. Hildesheim, Zurich, New York: Olms-Weidmann, 1984. Paper, DM. 29.80. [REVIEW] The Classical Review 36 (02):301-302.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. D. H. F. Gray (1961). Wolfgang Schadewaldt: Neue Krilerien zur Odyssee-Analyse: die Wiedererkennung des Odysseus und der Penelope. (Sitzb. der Heidelberger Akad. derWiss., Phil.-Hist. Kl., 1959. 2.) Pp. 28. Heidelberg: Winter, 1959. Paper, DM. 5.60. [REVIEW] The Classical Review 11 (03):286-287.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. J. B. Hainsworth (1970). Battles in the Iliad Bernard Fenik: Typical Battle Scenes in the Iliad: Studies in the Narrative Techniques of Homeric Battle Description. (Hermes Einzelschrift 21.) Pp. 256. Wiesbaden: Steiner, 1968. Paper, DM. 36. [REVIEW] The Classical Review 20 (01):15-17.score: 15.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000