Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/26069
Title: Конструктивная пропозициональная логика с непарадоксальной импликацией
Other Titles: Constructive propositional logic with implication unparadoxical
Authors: Сметанин, Ю. М.
Smetanin, Yu. M.
Keywords: syllogistics
syllogistic orthogonal basis
conference materials
материалы конференций
пропозициональная логика
силлогистика
онтология
ортогональный базис силлогистики
ontology modeling
Issue Date: 2014
Publisher: БГУИР
Citation: Сметанин, Ю. М. Конструктивная пропозициональная логика с непарадоксальной импликацией / Ю. М. Сметанин // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года) / редкол.: В. В. Голенков (отв. ред.) [и другие]. – Минск : БГУИР, 2014. – С. 257 - 262.
Abstract: В статье рассматривается неклассическая пропозициональная логика, включающая традиционную силлогистику. Показана тесная связь продукционных систем и онтологии, являющейся областью интерпретации правильных формул данной логики. Приведены примеры, имеющие прикладное значение. The article explains the reasons to replace the multisemantic basis of Aristotle in classical logic and traditional syllogistic. In return it is suggested looking at mono-semantic basis, isomorphic to relationship "equivalent", "entailing", "independent", which happen between random events in probability theory.
URI: https://libeldoc.bsuir.by/handle/123456789/26069
Appears in Collections:OSTIS-2014

Files in This Item:
File Description SizeFormat 
Smetanin_Konstruktivnaya.PDF865,85 kBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.