Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Ori Lahav. via Non-deterministic Multiple-Valued Matrices. Multiple-Valued Logic and Soft Computing, 21(5-6):575-595, 2013. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Effective Semantics for the Modal Logics K and KT via Non-deterministic MatricesOri Lahav, Yoni Zohar. cade 2022: 468-485 [doi] Non-deterministic Matrices for Semi-canonical Deduction SystemsOri Lahav. ismvl 2012: 79-84 [doi]
The following publications are possibly variants of this publication: