Research on group type theory and its functorial semantic models in category logic.

Tang JG, Aishan Y, Liu JY, Peng JY

Open source

DOI
10.1371/journal.pone.0326301
Published
2025
Container
PloS one
Publisher
Not recorded
Open access
yes

Credibility signals

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

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.1371/journal.pone.0326301,
  title = {Research on group type theory and its functorial semantic models in category logic.},
  author = {Tang JG and Aishan Y and Liu JY and Peng JY},
  year = {2025},
  journal = {PloS one},
  doi = {10.1371/journal.pone.0326301},
  url = {https://doi.org/10.1371/journal.pone.0326301}
}

RIS

TY  - JOUR
TI  - Research on group type theory and its functorial semantic models in category logic.
AU  - Tang JG
AU  - Aishan Y
AU  - Liu JY
AU  - Peng JY
PY  - 2025
JO  - PloS one
DO  - 10.1371/journal.pone.0326301
UR  - https://doi.org/10.1371/journal.pone.0326301
ER  - 

APA

JG, T., Y, A., JY, L., & JY, P. (2025). Research on group type theory and its functorial semantic models in category logic.. PloS one. https://doi.org/10.1371/journal.pone.0326301

Source records