Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (bibtex)
by Alexander Steen, Christoph Benzmüller
Reference:
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Alexander Steen, Christoph Benzmüller), In Logic and Logical Philosophy, volume 25, pp. 535-554, 2016.
Bibtex Entry:
@article{J33,
  Author =	 {Steen, Alexander and Benzm{\"u}ller, Christoph},
  Journal =	 {Logic and Logical Philosophy},
  Volume =	 25,
  Pages =	 {535-554},
  Issn =	 {1425-3305},
  Keywords =	 {own, Multi-Valued Logic, Semantic Embedding, Higher Order
                  Logic, ERIH PLUS},
  url =		 {http://christoph-benzmueller.de/papers/J33.pdf},
  doi =		 {10.12775/LLP.2016.021},
  Title =	 {Sweet {SIXTEEN}: Automation via Embedding into
                  Classical Higher-Order Logic},
  Year =	 2016
}
Powered by bibtexbrowser