From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!ois.db.toronto.edu!bonner Thu Feb 20 15:20:51 EST 1992
Article 3740 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca sci.logic:937 comp.ai.philosophy:3740
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!news-server.csri.toronto.edu!ois.db.toronto.edu!bonner
Newsgroups: sci.logic,comp.ai.philosophy
>From: bonner@db.toronto.edu (Anthony Bonner)
Subject: Decidability of Propositional Intuitionistic Logic
Message-ID: <92Feb14.143043est.16830@ois.db.toronto.edu>
cc: chomicki@harris.cis.ksu.edu
Date: 14 Feb 92 19:31:36 GMT
Lines: 36



A few days ago there was a query on this newsgroup asking references
to decidability of propositional intuitionistic logic.  The following
references might be of help.  These results refer not to the
propositional logic, however, but to fragments of the predicate logic.
Not only are the various fragments shown to be decidable, but the
exact complexity classes are established.



[1]A.J. Bonner. Hypothetical Datalog: Complexity and Expressibility. Theoret-
   ical Computer Science (TCS), 76:3-51, 1990. Special issue on the 2nd Inter-
   national Conference on Database Theory (ICDT). Also appears, in abridged
   form, in volume 326 of Lecture Notes in Computer Science, pages 144-160.
   Springer Verlag, 1988.

[2]A.J. Bonner, L.T. McCarty, and K. Vadaparty. Expressing Database Queries
   with Intuitionistic Logic. In Proceedings of the North American Conference
   on Logic Programming (NACLP), pages 831-850, Cleveland, Ohio, October
   16-20 1989.

[3]A.J. Bonner.  Hypothetical Datalog:  Negation and Linear Recursion.  In
   Proceedings of the ACM Symposium on the Principles of Database Systems
   (PODS), pages 286-300, Philadelphia, PA, March 1989.

[4]A.J. Bonner. A Logic for Hypothetical Reasoning. In Proceedings of the Sev-
   enth National Conference on Artificial Intelligence, Saint Paul, Minnesota,
   August 21-26 1988. American Association for Artificial Intelligence (AAAI).

[5]A.J. Bonner and L.T. McCarty. Adding Negation-as-Failure to Intuitionistic
   Logic Programming. In Proceedings of the North American Conference on
   Logic Programming (NACLP), pages 681-703, Austin, Texas, Oct 29-Nov 1
   1990.




