Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

203658

Deciding theoremhood in fibred logics without shared connectives

Sérgio MarcelinoCarlos CaleiroPedro Baltazar

pp. 387-406

Abstract

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

Published in:

Koslow Arnold, Buchsbaum Arthur (2015) The road to universal logic II: Festschrift for the 50th birthday of Jean-Yves Béziau. Basel, Birkhäuser.

Pages: 387-406

DOI: 10.1007/978-3-319-15368-1_18

Full citation:

Marcelino Sérgio, Caleiro Carlos, Baltazar Pedro (2015) „Deciding theoremhood in fibred logics without shared connectives“, In: A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, 387–406.