Advanced search
1 file | 234.64 KB Add to list

Nice embedding in classical logic

Peter Verdée (UGent) and Diderik Batens (UGent)
(2016) STUDIA LOGICA. 104(1). p.47-78
Author
Organization
Abstract
It is shown that a set of semi-recursive logics, including many fragments of \sys{CL} (Classical Logic), can be embedded within \sys{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 \sys{CL} that are goal directed with respect to \sys{CL} are turned into partial decision methods that are goal directed with respect to the embedded logics.
Keywords
embedding, bi-valued semantics, translations, gluts and gaps, classical logic

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 234.64 KB

Citation

Please use this url to cite or link to this publication:

MLA
Verdée, Peter, and Diderik Batens. “Nice Embedding in Classical Logic.” STUDIA LOGICA 104.1 (2016): 47–78. Print.
APA
Verdée, P., & Batens, D. (2016). Nice embedding in classical logic. STUDIA LOGICA, 104(1), 47–78.
Chicago author-date
Verdée, Peter, and Diderik Batens. 2016. “Nice Embedding in Classical Logic.” Studia Logica 104 (1): 47–78.
Chicago author-date (all authors)
Verdée, Peter, and Diderik Batens. 2016. “Nice Embedding in Classical Logic.” Studia Logica 104 (1): 47–78.
Vancouver
1.
Verdée P, Batens D. Nice embedding in classical logic. STUDIA LOGICA. 2016;104(1):47–78.
IEEE
[1]
P. Verdée and D. Batens, “Nice embedding in classical logic,” STUDIA LOGICA, vol. 104, no. 1, pp. 47–78, 2016.
@article{8033286,
  abstract     = {It is shown that a set of semi-recursive logics, including many fragments of \sys{CL} (Classical Logic), can be embedded within \sys{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 \sys{CL} that are goal directed with respect to \sys{CL} are turned into partial decision methods that are goal directed with respect to the embedded logics.},
  author       = {Verdée, Peter and Batens, Diderik},
  issn         = {0039-3215},
  journal      = {STUDIA LOGICA},
  keywords     = {embedding,bi-valued semantics,translations,gluts and gaps,classical logic},
  language     = {eng},
  number       = {1},
  pages        = {47--78},
  title        = {Nice embedding in classical logic},
  url          = {http://dx.doi.org/10.1007/s11225-015-9622-3},
  volume       = {104},
  year         = {2016},
}

Altmetric
View in Altmetric
Web of Science
Times cited: