Abstract
In this paper we classify all rigid rooted IPC-frames of depth 3. Among other things we show that these have at most 3 maximal elements. The interest in rigid frames arose from the paper [5]. In this paper quasi-characterizing inference rules were discussed. These rules are built on the pattern of Jankov-formulas of finite rooted frames but a Jankov-formula of the form ϕ→p is transformed into a quasi-characterizing rule ϕ/p. Such a rule is called self-admissible if it is admissible in the logic generated by the frame corresponding to the rule itself. The important results of [5] are that self-admissible rules are admissible in IPC itself, and that such a quasi-characterizing inference rule is self-admissible iff the frame it derives from is not rigid. The classification of rigid frames thus becomes of interest.
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
Bezhanishvili, N.: Lattices of Intermediate and Cylindric Modal Logics, PhD thesis, ILLC, Universiteit van Amsterdam (2006)
Chagrov, A., Zakharyaschev, M.: Modal Logic, p. 605. Clarendon Press, Oxford (1997)
de Jongh, D.: Investigations on the Intuitionistic Propositional Calculus, PhD thesis, University of Wisconsin (1968)
de Jongh, D., Troelstra, A.: On the connection of partially ordered sets with some pseudo-Boolean algebras. Indagationes Mathematicae 28, 317–329 (1966)
Rybakov, V.V., Terziler, M., Gencer, C.: Description of Self-Admissible Quasi-Characterizing Inference Rules. Studia Logica 65, 417–428 (2000)
Rybakov, V.V., Oner, T.: The Structure of the Rigid Frames of Restricted Depth 2. Bulletin Section Logic 27(4), 172–181 (1998)
Rybakov, V.V.: Admissibility of Logical Inference Rules, Studies in Logic and Foundations of Mathematics, vol. 136, p. 617. Elsevier, Amsterdam (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oner, T., de Jongh, D. (2009). The Structure of Rigid Frames of Depth 3 Only. In: Bosch, P., Gabelaia, D., Lang, J. (eds) Logic, Language, and Computation. TbiLLC 2007. Lecture Notes in Computer Science(), vol 5422. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00665-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-00665-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00664-7
Online ISBN: 978-3-642-00665-4
eBook Packages: Computer ScienceComputer Science (R0)