Nice Embedding in Classical Logic

TitleNice Embedding in Classical Logic
Publication TypeJournal Article
Year of Publication2016
AuthorsVerdée, P, Batens, D
JournalStudia Logica

It is shown that a set of semi-recursive logics, including many fragments of CL (Classical Logic), can be embedded within CL in an interesting way. A logic belongs
to the set iff it has a certain type of semantics, called nice semantics. The set includes
many logics presented in the literature. The embedding reveals structural properties of the embedded logic. The embedding turns finite premise sets into finite premise sets. The partial decision methods for CL that are goal directed with respect to CL are turned into partial decision methods that are goal directed with respect to the embedded logics.

Citation KeyPD:embed
Download PDF (Author PDF)
PDF author (public):