Unification in intuitionistic logic

Journal of Symbolic Logic

Volumn 64, Issue 2, 1999, Pages 859-880

  Ghilardi, Silvio ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

Admisssible inference rules; E unification; Exact formulas; Projective Heyting algebras

Indexed keywords

EID: 0033433831     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586506     Document Type: Article

References (23)

1. F. BAADER and J. H. SIEKMANN, Unification theory, Handbook of logic in artificial intelligence and logic programming (D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors), Oxford University Press, 1993, pp. 41-125.
2. R. BALBES and A. HORN, Injective and projective Heyting algebras, Transactions of the American Mathematical Society, vol. 148 (1970), pp. 549-559.
3. D. DE JONGH, Formulas of one propositional variable in intuitionistic arithmetic, The L. E. J. Brouwer centenary symposium (A. Troelstra and D. van Dalen, editors), North-Holland, 1982, pp. 51-64.
4. D. DE JONGH and A. VISSER, Embeddings of Heyting algebras, Logic: from foundations to applications (W. Hodges, M. Hyland, C. Steinhorn, and J. Truss, editors), Clarendon Press, Oxford, 1996, pp. 187-213.
5. DE JONGH D. and L. A. CHAGROVA, The decidability of dependency in intuitionistic propositional logic, this JOURNAL, vol. 60 (1995), pp. 498-504.
6. K. FINE, Logics containing K4, Part I, this JOURNAL, vol. 34 (1974), pp. 31-42.
7. _, Logics containing K4, Part II, this JOURNAL, vol. 50 (1985), pp. 619-651.
8. D. M. GABBAY, Semantical investigations in Heyting intuitionistic logic, Sinthese Library, no. 148, Reidel, 1981.
9. S. GHILARDI, E-unification in some varieties of Heyting algebras, in preparation.
10. _, Free Heyting algebras as bi-Heyting algebras, Mathematical Reports of the Academy of Sciences of Canada, vol. XIV (1992), no. 6, pp. 240-244.
11. _, Unification and projecririty in propositional logic, Quaderno n. 58/96, Dipartimento di Matematica, Universitá degli Studi. Milano, 1996.
12. _, Unification through projectivity, Journal of Logic and Computation, vol. 7 (1997), no. 6, pp. 733-752.
13. S. GHILARDI and M. ZAWADOWSKI, A sheaf representation and duality for finitely presented Heyting algebras, this JOURNAL, vol. 60 (1995), no. 3, pp. 911-939.
14. U. MARTIN and T. NIPKOW, Boolean unification - the story so far, Journal of Symbolic Computation, vol. 7 (1989), pp. 275-293.
15. A. M. PITTS, On an interpretation of second order quantification in first order intuitionistic propositional logic, this JOURNAL, vol. 57 (1992), no. 1, pp. 33-52.
16. V. V. RYBAKON, Equations in a free topoboolean algebra and substitution problem. Soviet Math, Dokl., vol. 33 (1986), no. 2, pp. 428-431.
17. _, Rules of inference with parameters for intuitionistic logic, this JOURNAL, vol. 57 (1992), no. 3, pp. 912-923.
18. _. The universal theory of the free pseudo-Boolean algebra in extended signature, Contemporary Mathematics, vol. 131 (1992), no. 3, pp. 645-656.
19. J. SIEKMANN, Unification theory, Journal of Symbolic Computation, vol. 7 (1989), pp. 207-274.
20. W. SNYDER, A proof theory for general unification, Birkhäuser, 1991.
21. A. URQUHART, Free Heyting algebras, Algebra Universalis, vol. 3 (1973), pp. 94-97.
22. D. VAN DALEN, Intuitionistic logic, Handbook of philosophical logic (Gabbay and Günther, editors), vol. III, Reidel, 1986, pp. 225-339.
23. A. VISSER, Bisimulations, model descriptions and propositional quantifiers, Logic Group Preprint Series 161, Department of Philosophy, Utrecht University, Utrecht, 1996.