Abstract
A Rasiowa-Sikorski proof system is presented for an elementary set theory which can act as a target language for translating propositional modal logics. The proposed system permits a modular analysis of (modal) axioms in terms of deductive rules for the relational apparatus. Such an analysis is possible even in the case when the starting modal logic does not possess a first-order correspondent. Moreover, the formalism enables a fine-tunable and uniform analysis of modal deductions in a simple and purely set-theoretic language.
Keywords
Work partially supported by MURST/MIUR project Aggregate- and number-reasoning for computing: from decision algorithms to constraint programming with multisets, sets, and maps. This research benefited from collaborations fostered by the European action COST n. 274 (TARSKI, see www.tarski.org).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van Benthem, J.F.A.K., D’Agostino, G., Montanari, A., Policriti, A.: Modal deduction in second-order logic and set theory-I. Journal of Logic and Computation 7(2), 251–265 (1997)
Cantone, D., Omodeo, E.G., Policriti, A.: Set theory for computing. from decision procedures to declarative programming with sets. Monographs in Computer Science. Springer, Heidelberg (2001)
D’Agostino, G., Montanari, A., Policriti, A.: A set-theoretic translation method for polymodal logics. Journal of Automated Reasoning 3(15), 317–337 (1995)
Düntsch, I., Orłowska, E.: A proof system for contact relation algebras. Journal of Philosophical Logic (29), 241–262 (2000)
Frias, M., Orłowska, E.: A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Logique et Analyse (150-151-152), 239–284 (1995)
Frias, M., Orłowska, E.: Equational reasoning in nonclassical logics. Journal of Applied Non-Classical Logics 8(1-2), 27–66 (1998)
Formisano, A., Omodeo, E.G., Policriti, A.: Three-variable statements of set-pairing (2003) (submitted)
Jech, T.J.: Set theory. Springer, New York (1978)
MacCaull, W., Orłowska, E.: Correspondence results for relational proof systems with application to the Lambek calculus. Studia Logica 71, 279–304 (2002)
Rasiowa, H., Sikorski, R.: The mathematics of metamathematics. Polish Scientific Publishers, Warsaw (1963)
Demri, S., Orłowska, E.: Logical analysis of demonic nondeterministic programs. Theoretical Computer Science (166), 173–202 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Omodeo, E., Orłowska, E., Policriti, A. (2004). Rasiowa-Sikorski Style Relational Elementary Set Theory. In: Berghammer, R., Möller, B., Struth, G. (eds) Relational and Kleene-Algebraic Methods in Computer Science. RelMiCS 2003. Lecture Notes in Computer Science, vol 3051. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24771-5_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-24771-5_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22145-6
Online ISBN: 978-3-540-24771-5
eBook Packages: Springer Book Archive