Some Operators in Kripke Models with an Involution
作者:
A. Galli,
M. Sagastume,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1999)
卷期:
Volume 9,
issue 1
页码: 107-120
ISSN:1166-3081
年代: 1999
DOI:10.1080/11663081.1999.10510959
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
In an unpublished paper(see [9]), we prove the equivalence between validity in 3L-models and algebraic validity in 3-valued Lukasiewicz algebras. R. Cignoli and M. Sagastume de Gallego present in [4] an intrinsic definition of the operators s, for i = 1,…,4 of a 5-valued Lukasiewicz algebra.
点击下载:
PDF (584KB)
返 回