Optimised ExpTime Tableaux for<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M1"><mml:mi>𝒮</mml:mi><mml:mi>ℋ</mml:mi><mml:mi>ℐ</mml:mi><mml:mi>𝒩</mml:mi></mml:math>over Finite Residuated Lattices

Jian Huang, Xinye Zhao, Jianxing Gong

Open source

DOI: 10.1155/2014/702326
Published: 2014
Container: Journal of Applied Mathematics
Publisher: Wiley
Open access: unknown

Credibility signals

uncertain Score 64/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

supportingDOI registered: A matching record was returned by Crossref. Source: Crossref; license: CC0 metadata
supportingDOI resolves: A matching record was returned by Crossref. Source: Crossref; license: CC0 metadata
not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

Cite this work

BibTeX

@article{allodium:10.1155/2014/702326,
  title = {Optimised ExpTime Tableaux for<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M1"><mml:mi>𝒮</mml:mi><mml:mi>ℋ</mml:mi><mml:mi>ℐ</mml:mi><mml:mi>𝒩</mml:mi></mml:math>over Finite Residuated Lattices},
  author = {Jian Huang and Xinye Zhao and Jianxing Gong},
  year = {2014},
  journal = {Journal of Applied Mathematics},
  doi = {10.1155/2014/702326},
  url = {https://doi.org/10.1155/2014/702326}
}

RIS

TY  - JOUR
TI  - Optimised ExpTime Tableaux for<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M1"><mml:mi>𝒮</mml:mi><mml:mi>ℋ</mml:mi><mml:mi>ℐ</mml:mi><mml:mi>𝒩</mml:mi></mml:math>over Finite Residuated Lattices
AU  - Jian Huang
AU  - Xinye Zhao
AU  - Jianxing Gong
PY  - 2014
JO  - Journal of Applied Mathematics
DO  - 10.1155/2014/702326
UR  - https://doi.org/10.1155/2014/702326
ER  -

APA

Huang, J., Zhao, X., & Gong, J. (2014). Optimised ExpTime Tableaux for<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M1"><mml:mi>𝒮</mml:mi><mml:mi>ℋ</mml:mi><mml:mi>ℐ</mml:mi><mml:mi>𝒩</mml:mi></mml:math>over Finite Residuated Lattices. Journal of Applied Mathematics. https://doi.org/10.1155/2014/702326

Source records

crossref · retrieved 2026-11-10T12:44:13.042Z