1153 KB0 KB201420262025Jereb, Janez Ignacijletnik:1215 str.številka:2ISSN:2385-8567COBISSID_HOST:250798851URN:URN:NBN:SI:doc-TQIC9C61slZaložba Fakultete za matematiko in fiziko Univerze v LjubljaniMatrikaalfa grafilogiclogikaPeirce alpha graphsPeirceov alfa sistemRazširitev Peirceovih alfa grafov|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 generalizationV 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širitveTEXTznanstveno časopisjejournalsSlovenian National E-content AggregatorNational and University Library of SloveniaUniverza v Ljubljani, Fakulteta za matematiko in fiziko