On Theorem proving in Annotated Logics

Local TagsRelease HistoryDetailsSummary

On Theorem proving in Annotated Logics

Lu, M., & Wu, J. (2000). On Theorem proving in Annotated Logics. Journal of Applied Non-Classical Logics, 10(2), 121-143.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-344C-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-344D-A

Genre: Journal Article

show

show

hide

Creators:
Lu, Mi, Author
Wu, Jinzhao¹, Author

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

show

show

hide

Language(s): eng - English

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

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 519686
Other: Local-ID: C1256104005ECAFC-B4111BC69E95E21AC125671700431F09-LuWu1999

Degree: -

show

show

show

show

hide

Title: Journal of Applied Non-Classical Logics

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 10 (2) Sequence Number: - Start / End Page: 121 - 143 Identifier: ISSN: 1166-3081