Encoding two-valued non-classical logics in classic logic

Nonnengart, Andreas; Ohlbach, Hans Jürgen; Gabbay, Dov M.

Local TagsRelease HistoryDetailsSummary

Encoding two-valued non-classical logics in classic logic

Nonnengart, A., Ohlbach, H. J., & Gabbay, D. M. (2001). Encoding two-valued non-classical logics in classic logic. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1403-1486). Amsterdam, the Netherlands: Elsevier.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3218-0 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3219-E

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Nonnengart, Andreas¹, Author
Ohlbach, Hans Jürgen¹, Author
Gabbay, Dov M., Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 2001

Publication Status: Issued

Pages: -

Publishing info: Amsterdam, the Netherlands : Elsevier

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519743
Other: Local-ID: C1256104005ECAFC-C7B54EC0C6CD4AEAC125675F002AD10F-NonnengartOhlbachGabbay2001

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Handbook of Automated Reasoning

Source Genre: Book

Creator(s):
Robinson, Alan, Editor
Voronkov, Andrei¹, Editor

Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Publ. Info: Amsterdam, the Netherlands : Elsevier

Pages: - Volume / Issue: 2 Sequence Number: - Start / End Page: 1403 - 1486 Identifier: -