{"?xml":{"@version":"1.0"},"edm:RDF":{"@xmlns:dc":"http://purl.org/dc/elements/1.1/","@xmlns:edm":"http://www.europeana.eu/schemas/edm/","@xmlns:wgs84_pos":"http://www.w3.org/2003/01/geo/wgs84_pos","@xmlns:foaf":"http://xmlns.com/foaf/0.1/","@xmlns:rdaGr2":"http://rdvocab.info/ElementsGr2","@xmlns:oai":"http://www.openarchives.org/OAI/2.0/","@xmlns:owl":"http://www.w3.org/2002/07/owl#","@xmlns:rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","@xmlns:ore":"http://www.openarchives.org/ore/terms/","@xmlns:skos":"http://www.w3.org/2004/02/skos/core#","@xmlns:dcterms":"http://purl.org/dc/terms/","edm:WebResource":[{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:DOC-TQIC9C61/f8d6e02c-f15f-4661-adf8-0c094f7a1525/PDF","dcterms:extent":"1153 KB"},{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:DOC-TQIC9C61/ed235054-b5ca-48f8-ae86-20edd7758730/TEXT","dcterms:extent":"0 KB"}],"edm:ProvidedCHO":{"@rdf:about":"URN:NBN:SI:DOC-TQIC9C61","dcterms:issued":"2025","dc:creator":"Jereb, Janez Ignacij","dc:format":[{"@xml:lang":"sl","#text":"letnik:12"},{"@xml:lang":"sl","#text":"15 str."},{"@xml:lang":"sl","#text":"številka:2"}],"dc:identifier":["ISSN:2385-8567","COBISSID_HOST:250798851","URN:URN:NBN:SI:doc-TQIC9C61"],"dc:language":"sl","dc:publisher":{"@xml:lang":"sl","#text":"Založba Fakultete za matematiko in fiziko Univerze v Ljubljani"},"dc:source":{"@xml:lang":"sl","#text":"Matrika"},"dc:subject":[{"@xml:lang":"sl","#text":"alfa grafi"},{"@xml:lang":"en","#text":"logic"},{"@xml:lang":"sl","#text":"logika"},{"@xml:lang":"en","#text":"Peirce alpha graphs"},{"@xml:lang":"sl","#text":"Peirceov alfa sistem"}],"dc:title":{"@xml:lang":"sl","#text":"Razširitev Peirceovih alfa grafov|"},"dc:description":[{"@xml:lang":"sl","#text":"In this work, Peirce’s alpha graphs are examined along with their proofs of soundness and completeness. An extension is introduced, which is used to construct and prove the soundness of diagrammatic Rational Pavelka Logic and diagrammatic propositional linear logic. With the help of a computer, several three-valued logics were found to be useful in applying this generalization"},{"@xml:lang":"sl","#text":"V tem delu je predstavljen Peirceov alfa sistem skupaj z dokazoma njegovega zdravja in polnosti. Uvedena je razširitev, ki je uporabljena za sestavo in dokaz zdravja diagramatične racionalne Pavelkove logike ter diagramatične izjavne linearne logike. S pomočjo računalnika je bilo odkritih nekaj trovrednostnih logik, primernih za uporabo te razširitve"}],"edm:type":"TEXT","dc:type":[{"@xml:lang":"sl","#text":"znanstveno časopisje"},{"@xml:lang":"en","#text":"journals"},{"@rdf:resource":"http://www.wikidata.org/entity/Q361785"}]},"ore:Aggregation":{"@rdf:about":"http://www.dlib.si/?URN=URN:NBN:SI:DOC-TQIC9C61","edm:aggregatedCHO":{"@rdf:resource":"URN:NBN:SI:DOC-TQIC9C61"},"edm:isShownBy":{"@rdf:resource":"http://www.dlib.si/stream/URN:NBN:SI:DOC-TQIC9C61/f8d6e02c-f15f-4661-adf8-0c094f7a1525/PDF"},"edm:rights":{"@rdf:resource":"http://creativecommons.org/licenses/by/4.0/"},"edm:provider":"Slovenian National E-content Aggregator","edm:intermediateProvider":{"@xml:lang":"en","#text":"National and University Library of Slovenia"},"edm:dataProvider":{"@xml:lang":"sl","#text":"Univerza v Ljubljani, Fakulteta za matematiko in fiziko"},"edm:object":{"@rdf:resource":"http://www.dlib.si/streamdb/URN:NBN:SI:DOC-TQIC9C61/maxi/edm"},"edm:isShownAt":{"@rdf:resource":"http://www.dlib.si/details/URN:NBN:SI:DOC-TQIC9C61"}}}}