Repository | Book | Chapter
(2015) The road to universal logic II, Basel, Birkhäuser.
Deciding theoremhood in fibred logics without shared connectives
Sérgio Marcelino, Carlos Caleiro, Pedro Baltazar
pp. 387-406
Fibring is a powerful mechanism for combining logics, and an essential tool for designing and understanding complex logical systems. Abstract results about the semantics and proof theory of fibered logics have been extensively developed, including general soundness and completeness preservation results. Decidability, however, a key ingredient for the automated support of the fibered logic, has not deserved similar attention.In this chapter, we address the problem of deciding theoremhood in fibered logics without shared connectives. Namely, under this assumption, we provide a full characterization of the mixed patterns of reasoning that leads to theorems in the fibered logic, and uses it to prove a general decidability preservation result. The complexity of the decision procedure we obtain is also analyzed.
Publication details
DOI: 10.1007/978-3-319-15368-1_18
Full citation:
Marcelino, S. , Caleiro, C. , Baltazar, P. (2015)., Deciding theoremhood in fibred logics without shared connectives, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, pp. 387-406.
This document is unfortunately not available for download at the moment.