Non-finite methods of Reconstructions of Non-Classical Propositional Logic Variants based on the Theory of Structures in Control Problems of Complex Systems
The report explores the problem of developing a common base of mathematical support for the problem of modeling control systems for objects of great complexity. The problem of reconstructing variants of propositional logic based on structures whose elements are considered as truth values of formulas...
Gespeichert in:
| Veröffentlicht in: | 2022 15th International Conference Management of large-scale system development (MLSD) S. 1 - 4 |
|---|---|
| 1. Verfasser: | |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
26.09.2022
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | The report explores the problem of developing a common base of mathematical support for the problem of modeling control systems for objects of great complexity. The problem of reconstructing variants of propositional logic based on structures whose elements are considered as truth values of formulas of reconstructed variants of propositional logic is considered. The reconstruction is based on the assumption that there is a homomorphism from the algebra of logic to the algebra of truth values. In the proposed version of the semantic approach to the classification of formal logical calculus as a result of the interaction of various logical moments, this interaction takes the form of an interconnection of algebraic structures on which the values of "judgments" take values, different types of measures on these structures and equivalence relations associated with them. |
|---|---|
| AbstractList | The report explores the problem of developing a common base of mathematical support for the problem of modeling control systems for objects of great complexity. The problem of reconstructing variants of propositional logic based on structures whose elements are considered as truth values of formulas of reconstructed variants of propositional logic is considered. The reconstruction is based on the assumption that there is a homomorphism from the algebra of logic to the algebra of truth values. In the proposed version of the semantic approach to the classification of formal logical calculus as a result of the interaction of various logical moments, this interaction takes the form of an interconnection of algebraic structures on which the values of "judgments" take values, different types of measures on these structures and equivalence relations associated with them. |
| Author | Titov, Andery V. |
| Author_xml | – sequence: 1 givenname: Andery V. surname: Titov fullname: Titov, Andery V. email: a.v.titov@mail.ru organization: Russian University of transport (MIIT),MIPT,Moscow,Russia |
| BookMark | eNotkE1OwzAQhY0ECwqcAAn5Aim2YyfNEoVfKfyIVmwrxxlTS4mnsl2J3oXDkpSu5s2bp2-kNyOnHj0QcsPZnHNW3b42y3uluMznggkxr6pcqkKdkBkvCiWrkvHynPy-oc-s8y4BHSBtsIsULf0Egz6msDPJjWKypmDd6xid0T39CLjF6KbruDX47Qz90sFpnyJtdYSOoqdpA3S1AQz7ibA88HYBInWe1uhTwAOp7WE4_Khx2PbwQ5f7mEbrkpxZ3Ue4Os4Lsnp8WNXPWfP-9FLfNZmTC5GZtlC6FFxKyzvOWmv0ohSM5RYMmE7ZjrcKCmZAVEzmzIoF64oWmB4bEMbmF-T6H-sAYL0NbtBhvz72lf8B8-hpuA |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/MLSD55143.2022.9934565 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| EISBN | 1665497017 9781665497015 |
| EndPage | 4 |
| ExternalDocumentID | 9934565 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IL CBEJK RIE RIL |
| ID | FETCH-LOGICAL-i482-cb65a72144f1d10bfca872003fececd5fd1b5e60ce290430f280d6be0a0172cf3 |
| IEDL.DBID | RIE |
| IngestDate | Thu Jan 18 11:15:07 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i482-cb65a72144f1d10bfca872003fececd5fd1b5e60ce290430f280d6be0a0172cf3 |
| PageCount | 4 |
| ParticipantIDs | ieee_primary_9934565 |
| PublicationCentury | 2000 |
| PublicationDate | 2022-Sept.-26 |
| PublicationDateYYYYMMDD | 2022-09-26 |
| PublicationDate_xml | – month: 09 year: 2022 text: 2022-Sept.-26 day: 26 |
| PublicationDecade | 2020 |
| PublicationTitle | 2022 15th International Conference Management of large-scale system development (MLSD) |
| PublicationTitleAbbrev | MLSD |
| PublicationYear | 2022 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| Score | 1.807838 |
| Snippet | The report explores the problem of developing a common base of mathematical support for the problem of modeling control systems for objects of great... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1 |
| SubjectTerms | Algebra Boolean lattices Brauer algeura homomorphism implicative lattices lattices Linguistics mathematical structures paraconsistent logics Predictive models Process control propositional logic pseudo-Boolean algebra Reliability theory Search problems Semantics |
| Title | Non-finite methods of Reconstructions of Non-Classical Propositional Logic Variants based on the Theory of Structures in Control Problems of Complex Systems |
| URI | https://ieeexplore.ieee.org/document/9934565 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEF7a4sGTSiu-2YNH02bz2uRcLR60FFqkt7KPGQhIItYWf4w_1p1NbBG8eAnJssySXbLzzeab-Ri7jXKrcgE6SCB3F4dZgwKFCqzD5phYpY3WXmxCTqf5clnMOuxulwsDAJ58BkO69f_ybW02dFQ2cr6UAEiXdaWUTa5Wm_QrwmL0_DS_9_7fRX1RNGw7_1JN8U5jcvS_4Y7ZYJ99x2c7v3LCOlD12de0rgIsCSHyRvV5zWvkFD3ua8D6JuropS5p-snQDy_LPZGysuEvLj4m-gsnF2Z5XXGHAnmTpU8W5t7exgXivKz4uCGzkyWSnvFj0C7yCp-8rXc-YIvJw2L8GLTKCkGZOERtdJYqScXSUFgRajQql8RSQzBgbIpW6BSy0EBUUE0wjPLQZhpCRRGjwfiU9aq6gjPGC_cJS2G1EigTiGONDg9iGrt9FDHJ0nPWp4ldvTW1M1btnF783XzJDmntiI8RZVes514XrtmB2X6U6_cbv-Dfr8Gy7g |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3fS8MwEA5zCvqksom_zYOPdmv6u8_TMXErgw3Z22iSOyhIK86Jf4x_rLm0bgi--FLaEC40obnv0u_uY-zWS3SeCJBOAIm5GMzqpChyRxtsjoHOpZLSik3EWZYsFum0xe42uTAAYMln0KNb-y9fV2pNR2V940sJgOyw3TAIPFFnazVpv8JN-5Px7N4iABP3eV6v6f5LN8W6jeHh_wY8Yt1t_h2fbjzLMWtB2WFfWVU6WBBG5LXu84pXyCl-3FaBtU3U0Ypd0gKQoR9mlnkibWXFn02ETAQYTk5M86rkBgfyOk-fLMysvbUJxXlR8kFNZydLJD5jx6B95AU-eVPxvMvmw4f5YOQ02gpOERhMrWQU5jGVS0OhhStR5UlMPDUEBUqHqIUMIXIVeClVBUMvcXUkwc0pZlTon7B2WZVwynhqPuJYaJkLjAPwfYkGEWLom50UMYjCM9ahiV2-1tUzls2cnv_dfMP2R_PJeDl-zJ4u2AGtI7EzvOiStc2rwxXbUx_vxert2i7-NyNstjU |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2022+15th+International+Conference+Management+of+large-scale+system+development+%28MLSD%29&rft.atitle=Non-finite+methods+of+Reconstructions+of+Non-Classical+Propositional+Logic+Variants+based+on+the+Theory+of+Structures+in+Control+Problems+of+Complex+Systems&rft.au=Titov%2C+Andery+V.&rft.date=2022-09-26&rft.pub=IEEE&rft.spage=1&rft.epage=4&rft_id=info:doi/10.1109%2FMLSD55143.2022.9934565&rft.externalDocID=9934565 |