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

1000+ found
Order:
  1.  21
    Gabbay Dm & Guenthner F. (2002). Handbook of Philosophical Logic. History and Philosophy of Logic 23 (4):289-291.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  2. Dov M. Gabbay (2006). Guido Boella Dov M. Gabbay Leendert van der Torre Serena Villata. Studia Logica 82:1-59.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  3. Michael Gabbay, Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.
    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 (...)
     
    Export citation  
     
    My bibliography  
  4. Dov M. Gabbay, Hans Jürgen Ohlbach & U. Reyle (1999). Logic, Language, and Reasoning Essays in Honour of Dov Gabbay.
     
    Export citation  
     
    My bibliography  
  5.  1
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. 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.
     
    Export citation  
     
    My bibliography  
  7.  19
    Satoko Titani, Heiji Kodera & Hiroshi Aoyama (2013). Systems of Quantum Logic. Studia Logica 101 (1):193-217.
    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)  
     
    Export citation  
     
    My bibliography  
  8.  12
    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.
    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)  
     
    Export citation  
     
    My bibliography   5 citations  
  9.  5
    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.
    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)  
     
    Export citation  
     
    My bibliography  
  10.  1
    Jeroen P. Goudsmit & Rosalie Iemhoff (2014). On Unification and Admissible Rules in Gabbay–de Jongh Logics. Annals of Pure and Applied Logic 165 (2):652-672.
    In this paper we study the admissible rules of intermediate logics. We establish some general results on extensions of models and sets of formulas. These general results are then employed to provide a basis for the admissible rules of the Gabbay–de Jongh logics and to show that these logics have finitary unification type.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  1
    Maria Concetta Di Maio & Alberto Zanardo (1998). A Gabbay-Rule Free Axiomatization of T× W Validity. Journal of Philosophical Logic 27 (5):435-487.
    The semantical structures called T x W frames were introduced in 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. In the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12.  89
    J. Webster (1997). Book Reviews : Freiheit Als Antwort: Zur Theoloqischen Ethik, by Oswald Bayer. Tubingen: J. C. B. Mohr (Paul Siebeck), 1995. Xv + 351 Pp. Pb. DM 68. [REVIEW] Studies in Christian Ethics 10 (1):101-103.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  13. A. McGrath (1993). Book Review : Uber Liebe Und Herrschaft: Luthers Verstandnis von Intimat Und Autoritat Im Kontext des Zivilisationsprozesses by Hans-Martin Gutmann. Gottingen, Vandenhoech & Ruprecht, 1991. X + 385 Pp. DM 78. Luthers Wirtschaftsethik, by Hans-Jurgen Prien. Gottingen: Vandenhoeck & Ruprecht, 1992. 266pp. DM 38. [REVIEW] Studies in Christian Ethics 6 (2):90-91.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  14.  15
    Amílcar Sernadas (2000). Fibring Logics, Dov M. Gabbay. Journal of Logic, Language and Information 9 (4):511-513.
  15. R. W. Cote (1976). Review Article : Johannes Heinrichs, Die Logik der 'Phänomenologie Des Geistes'. (Bonn: Bouvier Verlag Herbert Grundmann, 1974). Abhandlungen Zur Philosophie, Psychologie Und Pädagogik, Band 89; 559 Pp., Dm 65,-. [REVIEW] Philosophy and Social Criticism 4 (2):209-216.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  16.  49
    C. Hitchock (2000). Review. Causal Asymmetries. DM Hausman. British Journal for the Philosophy of Science 51 (1):175-179.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  17.  55
    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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  48
    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.
  19.  5
    Ian Hodkinson (1997). L. Csirmaz, D. Gabbay, M. De Rijke, Eds., Logic Colloquium '92, Studies in Logic Language, and Information'. Journal of Logic, Language and Information 6 (4):453-457.
  20.  28
    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.
  21.  26
    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-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  24
    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.
  23.  7
    Michael Winterbottom (1993). C. Moreschini (Ed.): Apulei Platonici Madaurensis Opera Quae Supersunt. Vol. III. De Philosophia Libri. (Bibliotheca Scriptorum Graecorum Et Romanorum Teubneriana.) Pp. Xvi + 220. Stuttgart and Leipzig: Teubner, 1991. DM 78. [REVIEW] The Classical Review 43 (02):431-432.
  24.  3
    Anders Søgaard (2007). Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (Eds.), Mathematical Problems From Applied Logic I. Studia Logica 87 (2-3):363-367.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  25.  22
    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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  17
    Hugh Lloyd-Jones (1987). The Fragments of Aeschylus S. Radt: Tragicorum Graecorum Fragmenta, Vol. 3: Aeschylus. (Tragicorum Graecorum Fragmenta.) Pp. 592. Göttingen: Vandenhoeck & Ruprecht, 1985. DM 268. [REVIEW] The Classical Review 37 (02):142-145.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27.  6
    B. A. Sparkes (1978). The Affecter Heide Mommsen: Der Affecter. (Kerarneus Bd. 1.) 2 vols. Pp. xi + 139; xl + Pls. 140 + Beilagen A–Z. Mainz: von Zabern, 1975. Cloth, DM. 160. [REVIEW] The Classical Review 28 (02):324-326.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  16
    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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  6
    Minna Skafte Jensen (1990). Two Studies of Hesiod Richard Hamilton: The Architecture of Hesiodic Poetry. (American Journal of Philology Monographs in Classical Philology, 3.) Pp. Viii+136. Baltimore and London: The Johns Hopkins University Press, 1989. £12.50. Jens-Uwe Schmidt: Adressat Und Paraineseform: Zur Intention von Hesiods 'Werken Und Tagen' (Hypomnemata, 86.) Pp. 143. Göttingen: Vandenhoeck & Ruprecht, 1986. Paper, DM 34. [REVIEW] The Classical Review 40 (02):213-214.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  6
    G. B. Kerferd (1955). Günther Freymuth: Zur Lehre von den Götterbildern in der epikureischen Philosophie. (Deutsche Akademie der Wissenschaften zu Berlin, Institut für hellenistisch-römische Philosophie, Veröffentlichung Nr. 2.) Pp. 43. Berlin: Akademie-Verlag, 1953. Paper, DM. 6.50. [REVIEW] The Classical Review 5 (02):199-200.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  11
    Kenneth Reid Beesley (1982). Evaluative Adjectives as One-Place Predicates Dm Montague Grammar. Journal of Semantics 1 (3-4):195-249.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  20
    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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  6
    D. E. Strong (1975). Hans Ulrich Instinsky: Der Spatrömische Silberschatzfund von Kaiseraugust. (Akad. Mainz, Abh. d. Geistes- u. Sozial wissenschaftlichen Klasse, 1971. 5.) Pp. 18; 3 plates. Wiesbaden: Steiner, 1971. Paper, DM. 6.80. [REVIEW] The Classical Review 25 (01):161-162.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  6
    Ivor Bulmer-Thomas (1963). E. Boer: Heliodori, Ut Dicitur, in Paulum Alexandrinum Commentarium. (Scr. Gr. Et Rom. Bibl. Teubneriana.) Pp. Xvi+182. Leipzig: Teubner, 1962. Cloth, DM. 18.75. [REVIEW] The Classical Review 13 (03):346-347.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  6
    F. H. Stubbings (1957). The Earliest Cultures of Greece Fritz Schachermeyr: Die Ältesten Kulturen Griechenlands. Pp. 300; 16 Plates, 78 Figs., 11 Maps. Stuttgart: Kohlhammer, 1955. Cloth, DM. 18. [REVIEW] The Classical Review 7 (02):139-141.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  12
    Geert-Jan M. Kruijff (1998). Labelled Deductive Systems, Volume 1, Dov M. Gabbay. Journal of Logic, Language and Information 7 (4):502-506.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  37.  18
    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-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  18
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  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-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  18
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  3
    A. S. Gratwick (1972). Disiecti Membra Terenti Eckard Lefèvre: Die Expositionstechnik in den Komödien des Terenz. (Libelli, ccii.) Pp. 117. Darmstadt: Wissenschaftliche Buchgesellschaft, 1969. Cloth, DM. 17.20. [REVIEW] The Classical Review 22 (01):29-32.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  17
    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-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  16
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  17
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  16
    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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  5
    Helen King (1988). J.-H. Kühn, U. Fleischer: Index Hippocraticus, Fasc. II E–K. Pp. 263 (Numbered 201–464). Göttingen: Vandenhoeck and Ruprecht, 1987. Paper, DM 168. [REVIEW] The Classical Review 38 (02):402-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  5
    Ceri Davies (1984). Marvin Spevack, J. W. Binns (General Edd.): Renaissance Latin Drama in England. (First Series, Vols. 1–4.) 4 Vols. Pp. 74, 203, 141, 117. Hildesheim and New York: Georg Olms, 1981. Paper, DM. 44 Per Volume. [REVIEW] The Classical Review 34 (02):362-363.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  5
    P. Ruth Taylor-Briggs (1994). Valerius Flaccus VII ( bis) Annamaria Taliercio: C. Valerio Flacco, Argonautiche, Libro VII: Introduzione, Testo e Commento. (Scriptores Latini, 19.) Pp. 176. Rome: Gruppo Editoriale Internazionale, 1992. Paper. Hubert Stadler: Valerius Flaccus, Argonautica VII: Ein Kommentar. (Spudasmata, 49.) Pp. xiv+252. Hildesheim, Zurich, New York: Georg Olms, 1993. Paper, DM 49.80. [REVIEW] The Classical Review 44 (02):280-282.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  5
    R. I. Winton (1994). Claudia Kemper: Göttliche Allmacht und menschliche Verantwortung: Sittlicher Wert bei archaischen Dichtern der Griechen. (Bochumer Altertumswissenschaftliches Colloquium, 14.) Pp. 183. Trier: Wissenschaftlicher Verlag, 1993. Paper, DM 36.50. [REVIEW] The Classical Review 44 (02):397-398.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  13
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000