Remark on a finite axiomatization of finite intermediate propositional logics
作者:
D. Skvortsov,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1999)
卷期:
Volume 9,
issue 2-3
页码: 381-386
ISSN:1166-3081
年代: 1999
DOI:10.1080/11663081.1999.10510973
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
A simple method of axiomatizing every finite intermediate propositional logic by a finite set of axioms with the minimal number of variables is proposed. The method is based on Jankov's characteristic formulas.
点击下载:
PDF (269KB)
返 回