Lineaarloogika multikategoorsest vaatepunktist

dc.contributor.advisor	Reimaa, Ülo, juhendaja
dc.contributor.advisor	Ahman, Danel, juhendaja
dc.contributor.author	Varjas, Helena
dc.contributor.other	Tartu Ülikool. Matemaatika ja statistika instituut	et
dc.contributor.other	Tartu Ülikool. Loodus- ja täppisteaduste valdkond	et
dc.date.accessioned	2026-06-17T07:00:58Z
dc.date.available	2026-06-17T07:00:58Z
dc.date.issued	2026
dc.description.abstract	Käesolevas bakalaureusetöös tutvustatakse multikategooria, vaba multikategooria ning esitatava multikategooria mõisteid. Veendutakse, et mittekommutatiivne lineaarloogika ilma loogiliste tehtemärkideta moodustab vaba multikategooria signatuuril. Lisaks näidatakse, et mittekommutatiivne lineaarloogika koos oma multiplikatiivse konjunktsiooni tehtemärgiga moodustab esitatava multikategooria.
dc.identifier.uri	https://hdl.handle.net/10062/122288
dc.language.iso	et
dc.publisher	Tartu Ülikool	et
dc.rights.uri	https://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject	lineaarloogika
dc.subject	vabad multikategooriad
dc.subject	esitatavad multikategooriad
dc.subject	linear logic
dc.subject	free multicategories
dc.subject	representable multicategories
dc.subject.other	bakalaureusetööd	et
dc.subject.other	võrguväljaanded
dc.title	Lineaarloogika multikategoorsest vaatepunktist
dc.title.alternative	Linear logic from a multicategorical point of view
dc.type	Thesis	en

Failid

Nüüd näidatakse 1 - 1 1