JAIST Repository >
School of Information Science >
JAIST Research Reports >
Research Report - School of Information Science : ISSN 0918-7553 >
IS-RR-1997 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/8377

Title: Hilbert style proof system for BPL
Authors: Suzuki, Yasuhito
Ono, Hiroakira
Issue Date: 1997-10-07
Publisher: 北陸先端科学技術大学院大学情報科学研究科
Magazine name: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
Volume: IS-RR-97-0040F
Start page: 1
End page: 8
Abstract: The contents of this report are based on [2]. In [3], we mentioned properties of Visser's Basic Propositional Logic(BPL) and it's extentions in the semantical point of view, and we remained giving BPL's Hilbert type proof system as an open problem. Here, we will introduce a Hilbert style proof system for BPL. This is an extension of Corsi's system in [1].
URI: http://hdl.handle.net/10119/8377
Material Type: publisher
Appears in Collections:IS-RR-1997

Files in This Item:

File Description SizeFormat
IS-RR-97-0040F.pdf357KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology