Found: 22

Select item for more details and to access through your institution.

  • Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks.

    Published in:
    Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP), 2023, v. 10, n. 5, p. 909
    By:
    • Gabbay, D. M.;
    • Rozenberg, Gadi
    Publication type:
    Article

  • The attack as intuitionistic negation.

    Published in:
    Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 807, doi. 10.1093/jigpal/jzw012
    By:
    • GABBAY, D.;
    • GABBAY, M.
    Publication type:
    Article

  • Theory of disjunctive attacks, Part I.

    Published in:
    Logic Journal of the IGPL, 2016, v. 24, n. 2, p. 186, doi. 10.1093/jigpal/jzv032
    By:
    • GABBAY, D.;
    • GABBAY, M.
    Publication type:
    Article

  • Logical foundations for bipolar and tripolar argumentation networks: preliminary results.

    Published in:
    Journal of Logic & Computation, 2016, v. 26, n. 1, p. 247, doi. 10.1093/logcom/ext027
    By:
    • GABBAY, D. M.
    Publication type:
    Article

  • The attack as strong negation, part I.

    Published in:
    Logic Journal of the IGPL, 2015, v. 23, n. 6, p. 881, doi. 10.1093/jigpal/jzv033
    By:
    • GABBAY, D.;
    • GABBAY, M.
    Publication type:
    Article

  • Contrary to time conditionals in Talmudic logic.

    Published in:
    Artificial Intelligence & Law, 2012, v. 20, n. 2, p. 145, doi. 10.1007/s10506-012-9123-x
    By:
    • Abraham, M.;
    • Gabbay, D.;
    • Schild, U.
    Publication type:
    Article

  • Obligations and prohibitions in Talmudic deontic logic.

    Published in:
    Artificial Intelligence & Law, 2011, v. 19, n. 2/3, p. 117, doi. 10.1007/s10506-011-9109-0
    By:
    • Abraham, M.;
    • Gabbay, D.;
    • Schild, U.
    Publication type:
    Article

  • Reactive intuitionistic tableaux.

    Published in:
    Synthese, 2011, v. 179, n. 2, p. 253, doi. 10.1007/s11229-010-9781-8
    By:
    • Gabbay, D. M.
    Publication type:
    Article

  • Algorithms in cognition, informatics and logic.

    Published in:
    2010
    By:
    • Gabbay, D.;
    • Siekmann, J.
    Publication type:
    Editorial

  • Editorial.

    Published in:
    Logic Journal of the IGPL, 2005, v. 13, n. 5, p. 491, doi. 10.1093/jigpal/jzi036
    By:
    • Baaz, M.;
    • Ciabattoni, A.;
    • Gabbay, D.;
    • Hájek, P.
    Publication type:
    Article

  • Editorial.

    Published in:
    Logic Journal of the IGPL, 2005, v. 13, n. 4, p. 363, doi. 10.1093/jigpal/jzi029
    By:
    • Baaz, M.;
    • Ciabattoni, A.;
    • Gabbay, D.;
    • Hájek, P.
    Publication type:
    Article

  • Editorial.

    Published in:
    Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 139, doi. 10.1093/jigpal/9.2.139
    By:
    • Cunningham, J;
    • Gabbay, D
    Publication type:
    Article

  • The new logic.

    Published in:
    Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 141, doi. 10.1093/jigpal/9.2.141
    By:
    • Gabbay, D;
    • Woods, J
    Publication type:
    Article

  • Interpolation in practical formal development.

    Published in:
    Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 231, doi. 10.1093/jigpal/9.2.231
    By:
    • Bicarregui, J;
    • Dimitrakos, T;
    • Gabbay, D;
    • Maibaum, T
    Publication type:
    Article

  • More on non-cooperation in dialogue logic.

    Published in:
    Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 305, doi. 10.1093/jigpal/9.2.305
    By:
    • Gabbay, D;
    • Woods, J
    Publication type:
    Article

  • Editorial.

    Published in:
    Journal of Logic & Computation, 2000, v. 10, n. 1, doi. 10.1093/logcom/10.1.1
    By:
    • Gabbay, D;
    • Gabbay, Don;
    • Woods, J;
    • Woods, John
    Publication type:
    Article

  • Cut-free proof systems for logics of weak excluded middle.

    Published in:
    Soft Computing - A Fusion of Foundations, Methodologies & Applications, 1999, v. 2, n. 4, p. 147, doi. 10.1007/s005000050047
    By:
    • Ciabattoni, A.;
    • Gabbay, D. M.;
    • Olivetti, N.
    Publication type:
    Article

  • Soft computing, labelling and granulation.

    Published in:
    Soft Computing - A Fusion of Foundations, Methodologies & Applications, 1998, v. 2, n. 1, p. 12, doi. 10.1007/s005000050026
    By:
    • Gabbay, D. M.
    Publication type:
    Article

  • Editorial.

    Published in:
    Journal of Logic & Computation, 1998, v. 8, n. 1, p. 3, doi. 10.1093/logcom/8.1.3
    By:
    • GABBAY, D. M.
    Publication type:
    Article

  • Editorial.

    Published in:
    Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 1, doi. 10.1093/jigpal/6.1.1
    By:
    • Gabbay, D;
    • de Queiroz, R;
    • Ohlbach, HJ
    Publication type:
    Article

  • Interest group in pure and applied logics (IGPL).

    Published in:
    Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 147, doi. 10.1093/jigpal/6.1.147
    By:
    • Gabbay, D
    Publication type:
    Article

  • Parsing natural language using LDS: a prototype.

    Published in:
    Logic Journal of the IGPL, 1997, v. 5, n. 5, p. 647, doi. 10.1093/jigpal/5.5.647
    By:
    • Finger, M;
    • Kibble, R;
    • Gabbay, D;
    • Kempson, R
    Publication type:
    Article