Home › Entities › research_grant › Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics.

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics.

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. is a science project.

Event research_grant eu_cordis:689176
Press Enter · cited answer in seconds

Key Facts

  • Start time: March 1, 2016[1]
  • End time: February 28, 2019[2]
  • Participant: Methods, Interactions, and Connections in Substructural logics. — participant (P710): University of Salerno[3], Methods, Interactions, and Connections in Substructural logics. — participant (P710): University of Cagliari[4], Methods, Interactions, and Connections in Substructural logics. — participant (P710): University of Milan[5], Methods, Interactions, and Connections in Substructural logics. — participant (P710): Palacký University Olomouc[6], Methods, Interactions, and Connections in Substructural logics. — participant (P710): Institute of Computer Science[7], Methods, Interactions, and Connections in Substructural logics. — participant (P710): TU Wien[8], Methods, Interactions, and Connections in Substructural logics. — participant (P710): University of Barcelona[9], Methods, Interactions, and Connections in Substructural logics. — participant (P710): University of Amsterdam[10], Methods, Interactions, and Connections in Substructural logics. — participant (P710): University of Insubria[11], Methods, Interactions, and Connections in Substructural logics. — participant (P710): Autonomous University of Barcelona[12], eu_cordis_org:999976493[13], eu_cordis_org:998014086[14], Methods, Interactions, and Connections in Substructural logics. — participant (P710): National Scientific and Technical Research Council[15], eu_cordis_org:996485948[16]
  • Short name: SYSMICS[17]
  • Budget: 580,500 euro[18]
  • Funding scheme: Methods, Interactions, and Connections in Substructural logics. — funding scheme (P6195): Horizon 2020[19]

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [1] ↑ . wikidata.org.
  2. [2] ↑ . wikidata.org.
  3. [3] ↑ . wikidata.org.
  4. [4] ↑ . wikidata.org.
  5. [5] ↑ . wikidata.org.
  6. [6] ↑ . wikidata.org.
  7. [7] ↑ . wikidata.org.
  8. [8] ↑ . wikidata.org.
  9. [9] ↑ . wikidata.org.
  10. [10] ↑ . wikidata.org.
  11. [11] ↑ . wikidata.org.
  12. [12] ↑ . wikidata.org.
  13. [13] ↑ . wikidata.org.
  14. [14] ↑ . wikidata.org.
  15. [15] ↑ . wikidata.org.
  16. [16] ↑ . wikidata.org.
  17. [17] ↑ . wikidata.org.
  18. [18] ↑ . wikidata.org.
  19. [19] ↑ . wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics.. Retrieved October 8, 2026, from https://4ort.xyz/entity/syntax-meets-semantics-methods-interactions-and-connections-in-substructural-logics
MLA “Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics..” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Oct. 2026, https://4ort.xyz/entity/syntax-meets-semantics-methods-interactions-and-connections-in-substructural-logics.
BibTeX @misc{4ortxyz_syntax-meets-semantics-methods-interactions-and-connections-in-substructural-logics_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics.}}, year = {2026}, url = {https://4ort.xyz/entity/syntax-meets-semantics-methods-interactions-and-connections-in-substructural-logics}, note = {Accessed: 2026-10-08}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. — https://4ort.xyz/entity/syntax-meets-semantics-methods-interactions-and-connections-in-substructural-logics (retrieved 2026-10-08)

Canonical URL: https://4ort.xyz/entity/syntax-meets-semantics-methods-interactions-and-connections-in-substructural-logics · Last refreshed: