Abstract
We investigate the possibility of extending the non-functionally complete logic of a collection of Boolean connectives by the addition of further Boolean connectives that make the resulting set of connectives functionally complete. More precisely, we will be interested in checking whether an axiomatization for Classical Propositional Logic may be produced by merging Hilbert-style calculi for two disjoint incomplete fragments of it. We will prove that the answer to that problem is a negative one, unless one of the components includes only top-like connectives.
This research was done under the scope of R&D Unit 50008, financed by the applicable financial framework (FCT/MEC through national funds and when applicable co-funded by FEDER/PT2020), and is part of the MoSH initiative of SQIG at Instituto de Telecomunicações. Sérgio Marcelino acknowledges the FCT postdoc grant SFRH/BPD/76513/2011. João Marcos acknowledges partial support by CNPq and by the Humboldt Foundation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Beyesrdorff, O., Meier, A., Thomas, M., Vollmer, H.: The complexity of propositional implication. Inf. Process. Lett. 109, 1071–1077 (2009)
Caleiro, C., Carnielli, W., Rasga, J., Sernadas, C.: Fibring of logics as a universal construction. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 13, 2nd edn, pp. 123–187. Kluwer, Dordrecht (2005)
Caleiro, C., Ramos, J.: From fibring to cryptofibring: a solution to the collapsing problem. Logica Universalis 1(1), 71–92 (2007)
Humberstone, L.: The Connectives. MIT Press, Cambridge (2011)
Lau, D.: Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory. Springer, New York (2006). doi:10.1007/3-540-36023-9
Marcelino, S., Caleiro, C.: Decidability and complexity of fibred logics without shared connectives. Logic J. IGPL 24(5), 673–707 (2016)
Marcelino, S., Caleiro, C.: On the characterization of fibred logics, with applications to conservativity and finite-valuedness. J. Logic Comput. (2016). doi:10.1093/logcom/exw023
Post, E.L.: On the Two-Valued Iterative Systems of Mathematical Logic. Princeton University Press, Princeton (1941)
Rautenberg, W.: 2-element matrices. Studia Logica 40(4), 315–353 (1981)
Reith, S., Vollmer, H.: Optimal satisfiability for propositional calculi and constraint satisfaction problems. Inf. Comput. 186(1), 1–19 (2003)
Shoesmith, D., Smiley, T.: Multiple-Conclusion Logic. Cambridge University Press, Cambridge (1978)
Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logics. J. ACM 32(3), 733–749 (1985)
Wójcicki, R.: Theory of Logical Calculi. Kluwer, Dordrecht (1988)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Caleiro, C., Marcelino, S., Marcos, J. (2017). Merging Fragments of Classical Logic. In: Dixon, C., Finger, M. (eds) Frontiers of Combining Systems. FroCoS 2017. Lecture Notes in Computer Science(), vol 10483. Springer, Cham. https://doi.org/10.1007/978-3-319-66167-4_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-66167-4_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66166-7
Online ISBN: 978-3-319-66167-4
eBook Packages: Computer ScienceComputer Science (R0)