Hasil untuk "Logic"

G. Birkhoff, J. Neumann

P. Flach

T. G.

G. Deleuze, Daniel W. Smith

Michael Jubien, W. Quine

P. Cousot, R. Cousot

J. Meyer, W. Hoek

J. Castro

D. Miller

H. Andréka, I. Németi, J. Benthem

M. Gelfond, V. Lifschitz

M. Gelfond, V. Lifschitz

Alexander V. Gheorghiu

Sandqvist's base-extension semantics (B-eS) for intuitionistic sentential logic grounds meaning relative to bases (rather than, say, models), which are arbitrary sets of permitted inferences over sentences. While his soundness proof is standard, his completeness proof, is quite unusual. It closely parallels a method introduced much earlier by Mints, who developed a resolution-based approach to intuitionistic logic using a systematic translation of formulas into sentential counterparts. In this short note, we highlight the connection between these two approaches and show that the soundness and completeness of B-eS follow directly from Mints' theorem. While the result is modest, it reinforces the relevance of proof-search to proof-theoretic semantics and suggests that resolution methods have a deeper conceptual role in constructive reasoning than is often acknowledged.

ZHANG Cong, LONG Hualou, FENG Dedong

[Objective] This study aims to reveal the the theoretical logic and implementation path of recessive rural residential land use transition from the perspective of value co-creation, providing references for promoting rural residential land redevelopment. [Methods] This study employed theoretical analysis and case study methods, based on relevant theories of value co-creation and land use transition, constructing a theoretical analysis framework for realizing recessive rural residential land use transition through value co-creation. The case of Yiwu City, Zhejiang Province, was used for illustration. [Results] (1) Value co-creation of ural residential land follows the process model of “value consensus-value execution-value win-win” and the operational paradigm of “subject interaction - capacity embedding - benefit sharing”, driving the “element integration - structure reorganization - function optimization” of rural residential land use system, resulting in the dynamic evolution of diverse values such as residential security, economic property, production and operation, ecological protection, and cultural inheritance, and achieving the recessive rural residential land use transition. (2) Yiwu’s practice path of guiding multiple stakeholders to interact collaboratively, constructing “value consensus” for rural residential land, driving with multiple forces, and implementing “value execution” for rural residential land through multi-dimensional rule interaction is a successful model for realizing the recessive rural residential land use transformation through value co-creation. (3) Through the practice of value co-creation, Yiwu has achieved a transformation of the functional value of rural residential land from residential security orientation to economic property orientation, and then to a comprehensive and coordinated approach that encompasses residential security, production and operation, economic assets, and ecological protection, etc. [Conclusion] Guiding recessive rural residential land use transformation through value co-creation is feasible. In the future, we should aim at the rural transformation needs and changes in stakeholder demands, identify the dominant subjects of value consensus, the core forces of value execution, and the key rules of value win-win, and promote recessive transition and redevelopment of rural residential land use according to local conditions, enhancing the scientific basis of decision-making.

A. A. Salama, Mohamed Mokhtar El-Muradani, Huda E. Khalid et al.

Biometrical Portfolio Approaches Treating risk in MIS primarily in terms of probability scoring methods. Therefore, the objective of this paper is to analyze the application of neutrosophic, a more sophisticated multi-valued logic that marries truthiness, falsity and indeterminacy, to devise enhanced risk management approaches for use in Management Information Systems (MIS). We showcase its effectiveness through case studies in project investment, credit scoring and supply chain disruptions. Neutrosophic Logic helps mitigate some drivers' institutional uncertainties through the assignment of various degrees of membership, revealing latent risks while leading into more advanced risk profiling and guiding the principle of flexible mitigation strategies. We explore the pros and cons of such an approach their merits to this review being maximizing the responsiveness of systems to current MIS risk approaches vulnerabilities and fostering more resilient risk management operationalization of MIS.

Yang Cui, Kaichao Liu

The adaptive fuzzy fault-tolerant formation control of nonlinear high-order fully actuated multi-agent systems is studied in this paper, which contains time-varying delays and nonlinear non-affine faults. In contrast to the state-space approach, the proposed control method is based on the fully actuated system approach, which does not require converting a high-order system into a first-order one but directly designs controllers for high-order nonlinear multi-agent systems. The time-varying delays of the systems can be solved using the finite covering lemma and fuzzy logic systems. Compared with the traditional Lyapunov–Krasovskii functional method, the proposed control methodology relaxes the constraint of bounded derivatives for time-varying delays. The problem of algebraic loop in controller design caused by nonlinear non-affine faults is avoided using a Butterworth low-pass filter. Based on the Lyapunov stability theory, the proposed controller methodology is demonstrated to ensure the stability of the closed-loop system, and all followers can keep ideal formation with the leader. Finally, the validity of the theoretical results is demonstrated through three simulation examples, and the design steps of the controller for the simulation examples are reduced by fifty percent compared to the state-space method.

I. Amlani, A. Orlov, Géza Tóth et al.

Simone Arcagni

The concept of the Metaverse, originating from Neal Stephenson’s 1992 novel Snow Crash, has transitioned from a speculative fiction idea into a complex cultural and technological reality. This paper explores the evolution of the Metaverse as both a digital twin of the physical world and a new ‘cultural logic’ permeating various sectors such as gaming, education, and commerce. By integrating immersive technologies such as virtual reality, the Metaverse offers a blended “phygital” environment where users engage in activities ranging from social interactions to commercial transactions, seamlessly merging physical and digital realities. This study delves into how foremost technology leaders have influenced the Metaverse’s trajectory, focusing on transforming it from a gaming interface to a broad digital ecosystem. We analyze the role of blockchain technology in facilitating a network of interconnected spaces that allow for the preservation of digital identities and assets across platforms, highlighting the challenges and potential of achieving interoperability. Ultimately, this paper presents the Metaverse as a paradigm shift in digital interaction, suggesting future directions where digital and physical realities might further converge. Through a comprehensive review of technological advancements and cultural shifts, we discuss the implications of this convergence for future digital interaction frameworks and societal norms.

F. Smarandache

P. O'Hearn, D. Pym