一个真值函项偶然逻辑的希尔伯特演算系统

一个真值函项偶然逻辑的希尔伯特演算系统

如果一个命题在经典命题逻辑中既不是一个重言式也不是一个矛盾式,则称它是真值函项偶然的.真值函项偶然逻辑即是为了刻画所有真值函项偶然的命题.本文将给出一个关于真值函项偶然逻辑的可靠且完全的希尔伯特演算.在此演算中,通过演绎所得到的公式要么是偶然公理,要么是由偶然规则推出的....

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:逻辑学研究 2021, Vol.14 (3), p.24-36
Hauptverfasser: 梁飞, 田中旭, 杨新宇
Format: Artikel
Sprache:chi
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:如果一个命题在经典命题逻辑中既不是一个重言式也不是一个矛盾式,则称它是真值函项偶然的.真值函项偶然逻辑即是为了刻画所有真值函项偶然的命题.本文将给出一个关于真值函项偶然逻辑的可靠且完全的希尔伯特演算.在此演算中,通过演绎所得到的公式要么是偶然公理,要么是由偶然规则推出的.
ISSN:1674-3202
DOI:10.3969/j.issn.1674-3202.2021.03.002