💻 Category

cs.LO

1086 पेपर

🔢 mathematics

Definability of Functional Properties in the Basic Modal-Temporal Language over Ordered Frames

यह शोधपत्र विभिन्न क्रमबद्ध ढांचों (ordered frames) पर एक बुनियादी मोडल-टेम्पोरल भाषा की अभिव्यंजक शक्ति का विश्लेषण करता है, यह प्रदर्शित करते हुए कि जबकि यह भाषा अनियंत्रित कार्यात्मक बहुलता (uncontrolled functional multiplicity) के कारण सामान्य मल्टीफ्लो सेटिंग्स में कार्यात्मक गुणों को परिभाषित करने में संघर्ष करती है, न्यूनतम कार्यात्मक ढांचों या समान डोमेन तक अर्थशास्त्र (semantics) को सीमित करना परिभाषा क्षमता को महत्वपूर्ण रूप से बढ़ाता है, हालांकि गैर-रैखिक क्रमों में कनेक्टिविटी का अभाव एक मौलिक बाधा बना रहता है।

Alfredo Burrieza2026-07-02
🤖 AI

Theoria: Rewrite-Acceptability Verification over Informal Reasoning States

यह शोध पत्र 'थियोरिया' (Theoria) का परिचय देता है, जो एक ऐसा सत्यापन आर्किटेक्चर है जो समाधानों को स्पष्ट औचित्यों के साथ ऑडिट योग्य, टाइप किए गए स्टेट ट्रांज़िशन (state transitions) में पुनर्गठित करके एआई उत्तरों की विश्वसनीयता को बढ़ाता है, जिससे यह छिपे हुए आधारों और काल्पनिक उद्धरणों का पता लगाने में समग्र एलएलएम (LLM) जजों से बेहतर प्रदर्शन करता है और विशेषज्ञ-स्तरीय समस्याओं पर उच्च सटीकता बनाए रखता है।

Ben Slivinski, Michael Saldivar2026-07-02
💻 computer science

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory

यह शोध पत्र होमोटॉपी टाइप थ्योरी (Homotopy Type Theory) में गैर-वेल-फाउंडेड (non-well-founded) भौतिक समुच्चयों के ऐसे मॉडल निर्मित करता है जो M-टाइप्स (M-types) और टर्मिनल को-अलिफब्रा (terminal coalgebras) के माध्यम से स्कॉट (Scott) और एसेल (Acel) के एंटी-फाउंडेशन अभिगृहीतों (Anti-Foundation Axioms) को संतुष्ट करते हैं, यूनिलिवैलेंट मटेरियल सेट थ्योरी (Univalent Material Set Theory) के भीतर इन अभिगृहीतों को उच्च प्रकार स्तरों (higher type levels) तक विस्तारित करता है, और M-टाइप आइडेंटिटी टाइप्स (M-type identity types) का एक अभिलक्षण प्रदान करता है, जिसके सभी परिणाम अगडा (Agda) में औपचारिक रूप से प्रस्तुत किए गए हैं।

Hakon Robbestad Gylterud, Elisabeth Stenholm, Niccolò Veltri2026-07-01
💻 computer science

Reflexive graph lenses in univalent foundations

यह शोधपत्र रिफ्लेक्सिव ग्राफ लेंसों (reflexive graph lenses) को एक नए मध्यवर्ती एब्स्ट्रैक्शन के रूप में प्रस्तुत करता है जो यूनिवालेंट फाउंडेशन्स (univalent foundations) के भीतर जटिल संरचनाओं के लिए आइडेंटिटी टाइप्स (identity types) के लक्षण वर्णन को सरल बनाता है, केस स्टडीज के माध्यम से उनकी उपयोगिता प्रदर्शित करता है और रिफ्लेक्सिव ग्राफ फाइब्रेशन्स (reflexive graph fibrations) एवं यूनिवालेंट रिफ्लेक्सिव ग्राफ लेंसों के बीच एक समतुल्यता स्थापित करता है।

Jonathan Sterling2026-07-01
💻 computer science

The Bright Side of Timed Opacity

यह शोध पत्र फुल और वीक ओपैसिटी वेरिएंट्स की इंटर-रिड्यूसिबिलिटी को सिद्ध करके, टाइमड ऑटोमेटा के कई सबक्लासेस के लिए डैसिडेबिलिटी (decidability) स्थापित करके, और सीमित हमलावर अवलोकनों पर आधारित ओपैसिटी की एक नई परिभाषा पेश करके टाइमड ओपैसिटी के अध्ययन को आगे बढ़ाता है जो संपूर्ण टाइमड ऑटोमेटा क्लास के लिए डैसिडेबिलिटी सुनिश्चित करती है।

Étienne André, Sarah Dépernet, Engel Lefaucheux2026-07-01
🔢 mathematics

Non-Cartesian Guarded Recursion with Daggers

यह शोध पत्र डैगर रिग श्रेणियों (dagger rig categories) के भीतर एक उपयुक्त श्रेणीगत मॉडल (categorical model) का निर्माण करके गार्डेड रिकर्शन (guarded recursion) के ढांचे को रिवर्सिबल प्रोग्रामिंग तक विस्तारित करता है, जिससे सिमेट्रिक पैटर्न मैचिंग (symmetric pattern matching) जैसी विशेषताओं वाले उच्च-क्रम रिवर्सिबल भाषाओं (higher-order reversible languages) का औपचारिककरण सक्षम होता है।

Louis Lemonnier2026-07-01
🔢 mathematics

Itegories

यह शोध पत्र "itegories" का सिद्धांत विकसित करता है, जो क्लीन वांड्स (Kleene wands) से सुसज्जित रेस्ट्रिक्शन कैटेगरीज़ (restriction categories) हैं, यह प्रदर्शित करते हुए कि कैसे ये ऑपरेटर्स उन सेटिंग्स में ट्रेस-आधारित इटरेशन (trace-based iteration) के एक सुदृढ़ विकल्प के रूप में कार्य करते हैं जहाँ कोप्रोडक्ट्स (coproducts) का अभाव होता है और एक्सटेंसिव रेस्ट्रिक्शन कैटेगरीज़ (extensive restriction categories) में मानक इटरेशन के साथ अपनी समानता स्थापित करते हैं।

Robin Cockett, Jean-Simon Pacaud Lemay2026-07-01
💻 computer science

Language-based Security and Time-inserting Supervisor

यह शोध पत्र भाषा-आधारित सुरक्षा गुणों को परिभाषित करने के लिए बीजगणितीय विधियों का उपयोग करता है और एक समय-प्रविष्टि (time-inserting) पर्यवेक्षक प्रस्तावित करता है जो, पर्यवेक्षक और हमलावर दोनों के लिए आंशिक सूचना की स्थितियों के तहत, अवांछित कार्यों को अक्षम करके या समयबद्ध घटनाओं को सम्मिलित करके प्रक्रिया सुरक्षा सुनिश्चित करता है, साथ ही ऐसे पर्यवेक्षक के अस्तित्व और सीमाओं का विश्लेषण भी करता है।

Damas P. Gruska2026-07-01
💻 computer science

Computation by infinite descent made explicit

यह शोधपत्र प्रमाणों की गणनात्मकता (computability) और सामान्यीकरण (normalization) को प्रदर्शित करने के लिए स्पष्ट ऑर्डिनल एनोटेशन (ordinal annotations) के साथ सहज ज्ञान युक्त तर्क (intuitionistic logic) के लिए एक गैर-वेल-फाउंडेड (non-wellfounded) प्रमाण प्रणाली प्रस्तुत करता है, जो अंततः एक श्रेणीगत मॉडल (categorical model) स्थापित करता है जहाँ न्यूनतम (least) और अधिकतम (greatest) फिक्‌सपॉइंट्स, प्रारंभिक बीजगणित (initial algebras) और अंतिम को-बीजगणित (final coalgebras) के अनुरूप होते हैं।

Sebastian Enqvist2026-07-01
🔢 mathematics

A Semantics for Belief in Simplicial Complexes

यह शोधपत्र सिम्पलीशियल कॉम्प्लेक्स (simplicial complexes) का उपयोग करके विश्वास के लिए एक नवीन अर्थविज्ञान प्रस्तुत करता है जो मानक KD45 स्थितियों के तहत विश्वास को ज्ञान से सफलतापूर्वक अलग करता है, रिलेशनल मॉडलों के साथ एक सत्य-संरक्षण संबंधी पत्राचार स्थापित करता है, और एक सरल स्वयंसिद्धीकरण प्रदान करता है।

Adam Bjorndahl (Carnegie Mellon University), Philip Sink (Caregie Mellon University)2026-07-01