Decision procedures for stratified set-theoretic syllogistics

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Decision procedures for stratified set-theoretic syllogistics

Full text

Pdf (497 KB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 1993 international symposium on Symbolic and algebraic computation table of contents

Kiev, Ukraine

Pages: 105 - 110

Year of Publication: 1993

ISBN:0-89791-604-2

Authors

Domenico Cantone
Vincenzo Cutello

Sponsor

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 12, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/164081.164101 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Can91	D. Cantone, Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators, Journal of Automated Reasoning, v.7 n.2, p.193-230, June 1991
	CC90	D. Cantone , V. Cutello, A decidable fragment of the elementary theory of relations and some applications, Proceedings of the international symposium on Symbolic and algebraic computation, p.24-29, August 20-24, 1990, Tokyo, Japan [doi>10.1145/96877.96887]
	CC93	D. Cantone and V. Cutello. Decision algorithms for elementary topology. I. Topological syllogistic with set and map constructs, connectedness and cardinality comparison. To appear in Comm. Pure Appl. Math., 1993.
	CCS90	Domenico Cantone , Vincenzo Cutello , Jacob T. Schwartz, Decision Problems for Tarski and Presburger Arithmetics Extended With Sets, Proceedings of the 4th Workshop on Computer Science Logic, p.95-109, October 01-05, 1990
	CFO89	Domenico Cantone , Alfredo Ferro , Eugenio Omodeo, Computable set theory, Clarendon Press, New York, NY, 1989
	CFS92	D. Cantone, A. Ferro, and D. Sanfilippo. ETNA: Extensible Theorem prover in NAtural deduction. Technical Report, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo C.N.R., Sottoprogetto Linguaggi di Nuova Concezione, November 1992.
	CFS87	D. Cantone , A. Ferro , J. T. Schwartz, Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator, Journal of Computer and System Sciences, v.34 n.1, p.1-18, Feb. 1987 [doi>10.1016/0022-0000(87)90001-8]
	CO89	D. Cantone and E. Omodeo. Topological syllogistic with continuous and closed functions. Carom. Pure Appl. Math., XLII:1175-1188, 1989.
	Cut91	Vincenzo Cutello, On the satisfiability problem for unquantified classes of formulae involving set-theoretical and topological constructs, New York University, New York, NY, 1991
	FO78	A. Ferro and E.G. Omodeo. An efficient validity test for formulae in extensional two-level syllogistic. Le Matematiche (Catania, Italy), 33:130-137, 1978.
	FOS80	A. Ferro, E. Omodeo, and J.T. Schwartz. Decision procedures for elementary sublanguages of set theory. I. Multilevel syllogis~ tic and some extensions. Comm. Pure Appl. Math., XXXIII:599-608, 1980.
	Jec78	T.J. Jech. Set theory. Academic Press, New York, 1978.