Optimised exptime tableaux for \(\mathcal{SHJN}\) over finite residuated lattices
DOI10.1155/2014/702326zbMath1404.03023DBLPjournals/jam/HuangZG14OpenAlexW2034414790WikidataQ59054122 ScholiaQ59054122MaRDI QIDQ1714715
Jian Huang, Xinye Zhao, Jianxing Gong
Publication date: 1 February 2019
Published in: Journal of Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2014/702326
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in computer science (03B70) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
This page was built for publication: Optimised exptime tableaux for \(\mathcal{SHJN}\) over finite residuated lattices
