Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Anderson A.R., Belnap N.D. Jr.: Entailment. The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton (1975)
Arruda, A. I., On the imaginary logic of N. A. Vasil’ev, in A. I. Arruda, N. C. A. da Costa, and R. Chuaqui (eds.), Non-classical Logics, Model Theory and Computability, North-Holland, Amsterdam, 1977, pp. 3–24.
Batens, D., Spoiled for choice?, Journal of Logic and Computation (in print). Doi:10.1093/logcom/ext019, 1913.
Batens, D., Paraconsistent extensional propositional logics, Logique et Analyse 90–91:195–234, 1980.
Batens, D., Inconsistency-adaptive logics, in E. Orłowska (ed.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica Verlag (Springer), Heidelberg, New York, 1999, pp. 445–472.
Batens D.: It might have been Classical Logic. Logique et Analyse 218, 241–279 (2012)
Batens, D., and D. Provijn, Pushing the search paths in the proofs. A study in proof heuristics, Logique et Analyse 173–175:113–134, 2001 (Appeared 2003).
Batens D., De Clercq K., Kurtonina N.: Embedding and interpolation for some paralogics. The propositional case. Reports on Mathematical Logic 33, 29–44 (1999)
Boolos, G. S., J. P. Burgess, and R. J. Jeffrey, Computability and Logic, 4th ed., Cambridge University Press, Cambridge, 2002.
Carnielli, W. A., M. E. Coniglio, and I. M. Loffredo D’Ottaviano, New dimensions on translations between logics, Logica Universalis 3:1–18, 2009.
da Costa N.C.A.: Calculs propositionnels pour les systèmes formels inconsistants. Comptes rendus de l’Académie des sciences de Paris 259, 3790–3792 (1963)
da Costa N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15, 497–510 (1974)
Gabbay D.M., Olivetti N.: Goal-Directed Proof Theory. Kluwer, Dordrecht (2000)
Hughes, G. E., and M. J. Cresswell, An Introduction to Modal Logic, Methuen, London, New York, 1972 (First published 1968).
Jeřábek E.: The ubiquity of conservative translations. The Review of Symbolic Logic 5, 666–678 (2012)
Kleene S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)
Meheus, J., An extremely rich paraconsistent logic and the adaptive logic based on it, in D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem (eds.), Frontiers of Paraconsistent Logic, Research Studies Press, Baldock, 2000, pp. 189–201.
Priest G.: In Contradiction. A Study of the Transconsistent. Nijhoff, Dordrecht (1987)
Rosser J.B., Turquette A.R.: Axiom schemes for m-valued propositional calculi. Journal of Symbolic Logic 10, 61–82 (1945)
Schütte K.: Beweistheorie. Springer, Berlin (1960)
Author information
Authors and Affiliations
Corresponding author
Additional information
During the research of this paper Peter Verdée was a post-doctoral fellow of the Fund for Scientific Research—Flanders at Ghent University and later of FAPESP at the State University of Campinas, SP, Brazil.
Rights and permissions
About this article
Cite this article
Verdée, P., Batens, D. Nice Embedding in Classical Logic. Stud Logica 104, 47–78 (2016). https://doi.org/10.1007/s11225-015-9622-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9622-3