Equality of consequence relations in finite-valued logical matrices
In this paper the procedure is presented that allows to determine in finite number of steps if consequence relations in two finite-valued logical matrices for propostional language L are equal.
1974 ◽
Vol 32
◽
pp. 330-331
2019 ◽
Vol 139
(4)
◽
pp. 402-408
2005 ◽
Vol 3
(3)
◽
pp. 285-296
◽
Keyword(s):
Keyword(s):
1995 ◽
Vol 85
(1)
◽
pp. 149-160
◽
2020 ◽
Vol 28
(5)
◽
pp. 727-738
Keyword(s):