Matrika - Janez Ignacij Jereb: Razširitev peirceovih alfa grafov

Izbrane teme sodobne fizike in matematike

Razširitev peirceovih alfa grafov

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.

An extension of peirce’s alpha graphs

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.

© 2025 Fakulteta za matematiko in fiziko Univerze v Ljubljani

Članke, objavljene pred septembrom 2025, lahko obiskovalci berejo, brskajo in/ali prenesejo za osebno in nekomercialno uporabo. Te vsebine je prepovedano reproducirati, spreminjati, prilagajati, objavljati ali prodajati brez pisnega soglasja avtorja članka in nosilca avtorskih pravic v citatu. Članki, objavljeni septembra 2025 in kasneje, so objavljeni pod licenco CC BY 4.0 oziroma izjemoma CC BY SA 4.0. Informacije o licenci so navedene v člankih.

For articles published before September 2025, readers may view, browse, and/or download material for temporary copying purposes only, provided these uses are for noncommercial personal purposes. That material may not be further reproduced, distributed, modified, adapted, published, or sold in whole or part, without prior written permission frm the author and copyright owner as cited. Articles published in September 2025 and later are instead provided under the terms of the CC BY 4.0 or CC BY SA 4.0 licenses. License information is available in each article.