<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=174150"><dc:title>Eliminacija rezov v linearni logiki</dc:title><dc:creator>Koltaj,	Jona	(Avtor)
	</dc:creator><dc:creator>Bauer,	Andrej	(Mentor)
	</dc:creator><dc:subject>sekventni račun</dc:subject><dc:subject>linearna logika</dc:subject><dc:subject>eliminacija rezov</dc:subject><dc:description>Vpeljemo sekventni račun, njegova strukturna pravila ter logični pravili za veznik $\land$, nato pa se omejimo na linearno logiko ter veznik $\land$ razdelimo na dva. Vpeljemo še vse ostale veznike v linearni logiki ter razložimo njihov pomen, nato vpeljemo pravilo reza. Formuliramo izrek o eliminaciji reza, nato vsakemu rezu pripišemo mero, imenovano stopnja, in izrek dokažemo z dvojno indukcijo, zunanjo na številu rezov v drevesu izpeljave, notranjo na stopnji reza. Znotraj indukcije ločimo primere glede vrsto reza in rezani veznik. Definiramo glavni rez in mu znižamo stopnjo za vsak veznik posebej, pri eksponentih pa definiramo še posplošeni rez in mu nato znižamo stopnjo. Rezu (in posplošenemu rezu) znižamo stopnjo tudi, ko ni glaven, nato pa se lotimo še baze indukcije, s čimer zaključimo dokaz izreka.</dc:description><dc:date>2025</dc:date><dc:date>2025-09-28 08:15:04</dc:date><dc:type>Delo diplomskega seminarja/zaključno seminarsko delo/naloga</dc:type><dc:identifier>174150</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>