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 (...)
     
    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.  2
    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.  3
    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  
  10.  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  
  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.  90
    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. 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  
  15.  15
    Amílcar Sernadas (2000). Fibring Logics, Dov M. Gabbay. Journal of Logic, Language and Information 9 (4):511-513.
  16.  54
    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.  59
    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.  6
    J. M. Cook (1973). Friedrich Hiller: Formgeschichtliche Untersuchungen zur griechischen Statue des späten 5. Jahrhunderts v. Chr. Pp. x+78; 16 pls., 12 pp. of drawings. Mainz: von Zabern, 1971. Cloth, DM. 58. [REVIEW] The Classical Review 23 (02):290-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  6
    G. D. Kilpatrick (1977). A. Locher: Marii Victorini Afri Commentarii in Epistulas Pauli: Ad Galatas, Ad Philippenses, Ad Ephesios. Pp. Xvi + 208; 1 Facsimile. Leipzig: Teubner, 1972. Cloth, DM. 30. [REVIEW] The Classical Review 27 (01):118-119.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20.  56
    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.
  21.  5
    M. J. Alden (1991). Excavations on Keos John C. Overbeck: Keos VII. Ayia Irini: Period IV. Part I: The Stratigraphy and the Find Deposits. With a Chapter on the Cemeteries and Graves by Gatewood Folgar Overbeck. Pp. Xviii + 231; 104 Plates. Mainz: Von Zabern, 1989. DM 160. [REVIEW] The Classical Review 41 (01):169-171.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  5
    Leofranc Holford-Strevens (1991). The New Fronto Michael P. J. Van den Hout (Ed.): M. Cornelii Frontonis Epistulae. Schedis Tam Editis Quam Ineditis Edmundi Hauleri Usus Iterum Edidit. (Bibl. Teubneriana.) Pp. Xcvi + 296. Leipzig: Teubner, 1988. 98 DM. [REVIEW] The Classical Review 41 (01):76-80.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  5
    J. C. B. Lowe (1985). A. Primmer: Handlungsgliederung in Nea und Palliata: Dis exapaton und Bacchides. (Österreichische Akademie der Wissenschaften, philosophisch-historische Klasse, Sitzungsberichte, 441.) Pp. 109. Vienna: Verlag der österreichischen Akademie der Wissenschaften, 1984. Paper, öS. 168.–/DM. 24. [REVIEW] The Classical Review 35 (02):396-397.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  5
    R. T. Wallis (1972). Werner Beierwaltes (ed.): Platonismus in der Philosophie des Mittelalters. (Wege der Forschung, cxcvii.) Pp. xiv + 534. Darmstadt: Wissenschaftliche Buchgesellschaft, 1969. Cloth, DM. 49.90. [REVIEW] The Classical Review 22 (01):119-.
  25.  5
    Oswyn Murray (1966). Ozymandias, King of Kings Heinrich Dörrie: Der Königskult des Antiochos von Kommagene im Lichte neuer Inschriften-Funde. (Abh. d. Akad. d. Wiss. in Göttingen, Phil.- Hist. Kl., iii. 60.) Pp. 236. Göttingen: Vandenhoeck & Ruprecht, 1964. Paper, DM. 32. [REVIEW] The Classical Review 16 (1):105-108.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  34
    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.
  27.  4
    J. Neville Birdsall (1975). Dieter Hagedorn: Der Hiobkommentar des Arianers Julian. (Patristische Texte Und Studien, 14.) Pp. Xc+409. Berlin: De Gruyter, 1973. Cloth, DM.92. [REVIEW] The Classical Review 25 (02):330-331.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  4
    John Boardman (1987). Norbert Eschbach: Statuen auf panathenäischen Preisamphoren des 4. Jhs. v. Chr. Pp. xxiv+182; 99 figs., 43 plates. Mainz: von Zabern, 1986. DM 98. [REVIEW] The Classical Review 37 (02):324-325.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  4
    John Boardman (1971). Roland Hampe: Kretische Löwenschale des siebten Jahrhunderts v. Chr. (Sitz. d. Heidelb. Akad., Phil.-Hist. Kl., 1969. 3.) Pp. 44; 22 pls. Heidelberg: Winter, 1969. Paper, DM. 16.80. [REVIEW] The Classical Review 21 (02):301-.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  4
    John Boardman (1977). V. E. G. Kenna and E. Thomas: Nordamerika II, Kleinere Sammlungen. (Corpus der minoischen und mykenischen Siegel XIII.) Pp. xv + 176; over 500 illustrations. Berlin: Gebr. Mann Verlag, 1974. Cloth, DM. 95. [REVIEW] The Classical Review 27 (02):304-.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  4
    G. W. Bowersock (1991). Engelbert Winter: Die sāsānidisch-römischen Friedensverträge des 3. Jahrhunderts n. Chr. – ein Beitrag zum Verständnis der außenpolitischen Beziehungen zwischen den beiden Großimächten. Pp. 344. (European University Studies, III. 350.) Frankfurt, Berne, New York and Paris: Peter Lang, 1988. DM 68. [REVIEW] The Classical Review 41 (01):257-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  4
    John Briscoe (1977). Schachermeyr's Kleine Schriften Fritz Schachermeyr: Forschungen und Betrachtungen zur griechischen und römischen Geschichte. Pp. vii + 456. Vienna: Österreichische Akademie der Wissenschaften, 1974. Cloth, DM. 80. [REVIEW] The Classical Review 27 (01):68-69.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  4
    Robert Browning (1962). Jacques Moreau: Excerpta Valesiana. Pp. Xx+33. Leipzig: Teubner, 1961. Boards, DM. 6. The Classical Review 12 (03):314-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  4
    Olwen Brogan (1953). Walther John: Die Örtlichkeit der Varusschlacht bei Tacitus. Pp. 30. Göttingen: Musterschmidt Wissenschaftlicher Verlag, 1950. Paper, DM. 1.50. [REVIEW] The Classical Review 3 (3-4):213-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  4
    A. R. Burn (1955). Hermann Bengtson und Vladimir Milojčič: Grosser Historischer Weltatlas. I Teil: Vorgeschichte und Altertum. (1)Kartenwerk. Pp. viii + 48 + 15. (2)Erläuterungen. Pp. ii + 124. Munich: Bayerischer Schulbuch-Verlag, 1953. Boards, DM. (1) 6.50, (2) 4.80. [REVIEW] The Classical Review 5 (01):120-121.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  4
    W. A. Camps (1972). Walter Wimmel: Zur Frage von Vergils dichterischen Technik in der Aeneismitte. Pp. 21. Marburg: N. G. Elwert, 1969. Paper, DM. 3.50. [REVIEW] The Classical Review 22 (01):108-109.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  4
    N. E. Collinge (1964). Me Constare Mihi Scis Carl Becker: Das Spätwerk des Horaz. Pp. 257. Göttingen: Vandenhoeck & Ruprecht, 1963. Cloth, DM. 19.80. [REVIEW] The Classical Review 14 (02):163-165.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  4
    R. M. Cook (1971). Adolf Greifenhagen: Frühlukanischer Kolonettenkrater mit Darstellung der Herakliden. (123. Winckelmanns-programm.) Pp. 26; 3 plates, 6 figs. Berlin: de Gruyter, 1969. Paper, DM.24. [REVIEW] The Classical Review 21 (03):465-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  4
    R. M. Cook (1958). Herbert Koch: Von Ionischer Baukunst. Pp. 23; 33 Figs. Köln: Böhlau, 1956. Stiff Paper, DM. 4.80. The Classical Review 8 (3-4):299-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  4
    R. M. Cook (1951). Heinz Kähler: Wandlungen der antiken Form. Pp. 80; 48 plates, 11 diagrams in text. Münich: Münchner Verlag, 1949. Cloth, DM. 18.00. [REVIEW] The Classical Review 1 (3-4):243-244.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  4
    R. M. Cook (1969). Klaus P. Stähler: Eine unbekannte Pelike des Eucharidesmalers. (Münsterche Forschungen, 17.) Pp. viii+70; 21 plates. Cologne: Böhlau, 1967. Cloth, DM. 18. [REVIEW] The Classical Review 19 (02):247-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  4
    R. M. Cook (1968). Roland Hampe, Hildegund Gropengiesser: Werke der Kunst in Heidelberg, ii. (Aus der Sammlung des Archäologischen Institutes der Universität Heidelberg.) Pp. 1165; 36 plates. Berlin: Springer, 1967. Cloth, DM. 24. [REVIEW] The Classical Review 18 (02):247-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  4
    J. J. Coulton (1980). W. Heyder, A. Mallwitz: Das Kabirenheiligtum bet Theben, II. Die Bauten im Kabirenheiligtum bei Theben. Pp. xii + 72; 30 figures, 33 plates, 3 folding plans. Berlin: Walter de Gruyter, 1978. DM. 130. [REVIEW] The Classical Review 30 (02):305-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  4
    G. E. M. De Ste Croix (1974). Bibliographie zur antiken Sklaverei. In Verbindung mit der Kommission für Geschichte des Altertums der Akademie der Wissenschaften und der Literatur (Mainz) herausgegeben von Joseph Vogt. Pp. xix+181. Bochum: Brockmeyer, 1971. Paper, DM. 13.80. [REVIEW] The Classical Review 24 (2):304.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  4
    Ceri Davies (1986). Marvin Spevack, J. W. Binns (Gen. Edd.): Renaissance Latin Drama in England. (First Series, Vols. 7, 9, 11, 12, 13.) 5 Vols. Pp. 120, 187, 296, 194, 182. Hildesheim and New York: Georg Olms, 1982–1983. Paper, DM. 44 Per Volume. [REVIEW] The Classical Review 36 (02):356-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  4
    J. A. Davison (1951). Smbola Coloniensia Symbola Coloniensia Iosepho Kroll Sexagenario a.d. vi Id. Nov. a. MCMIL oblate. Pp. vi + 172. Cologne: Pick, 1949. Paper, DM. 14.00. [REVIEW] The Classical Review 1 (02):93-95.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  4
    L. Deitz (1994). Daniel W. Conway, Rudolf Rehn (edd.): Nietzsche und die antike Philosophic. (Bochumer Altertumswissenschaftliches Colloquium, 11.) Pp. 272. Trier: Wissenschaftlicher Verlag, 1992. Paper, DM 62. [REVIEW] The Classical Review 44 (01):220-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  4
    James Diggle (1994). Griechische Verslehre C. M. J. Sicking: Griechische Verslehre. (Handbuchder Altertumswissenschaft, II.4.) Pp. x+246. Munich: C. H. Beck, 1993. Cased, DM 178. [REVIEW] The Classical Review 44 (02):324-325.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  4
    K. J. Dover (1962). Otto Luschnat: Thucydidis Historiae. Vol. i (libri i–ii). Editio altera correctior. Pp. xxvi+213. Leipzig: Teubner, 1960. Cloth, DM. 8.40. [REVIEW] The Classical Review 12 (01):93-.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  4
    G. Eatough (1989). Renaissance Latin Drama in England E. F. J. Tucker: George Ruggle, Ignoramus. (Renaissance Latin Drama in England, Second Series, 1.) Pp. Iv + 226. Hildesheim: Georg Olms, 1987. Paper, DM 98. Thomas W. Best: Cancer, Edmund Stubbe, Fraus Honesta. (Renaissance Latin Drama in England, Second Series, 2.) Pp. Iv + 294. Hildesheim: Georg Olms, 1987. Paper, DM 118. Susan Brock: Walter Hawkesworth, Leander, Labyrinthus. (Renaissance Latin Drama in England, Second Series, 3.) Pp. Ii+192. Hildesheim: Georg Olms, 1987. Paper, DM 138. John C. Coldewey, Brian F. Copenhaver: Thomas Watson, Antigone; William Alabaster, Roxana; Peter Mease, Adrastus Parentans Sive Vindicta. (Renaissance Latin Drama in England, Second Series, 4.) Pp. Iv+178. Hildesheim: Georg Olms, 1987. Paper, DM 98. [REVIEW] The Classical Review 39 (01):129-131.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000