Naessa Santos Borges Zure, Glaubieny Lourenço Dos Santos, Thallys Rodrigues Félix
et al.
The Brazilian prison system has faced difficulties in guaranteeing the fundamental rights of the population deprived of liberty, including access to oral health. In view of this, the aim of our study was to formulate a theory concerning access to oral health and the influencing factors, grounded in the perspectives of incarcerated men. We carried out a qualitative study with men deprived of liberty, who were serving their sentences in a closed regime in a state prison unit in Minas Gerais (Brazil). The data collection was conducted through semi-structured interviews and processed utilizing Grounded Theory. The categories produced in this qualitative analysis using Grounded Theory were interpreted and organized based on the Patient-Centered Access Conceptual Framework. We conducted interviews with 16 men, and analysis allowed the creation and bringing closer together of the following categories related to the patient: 1) Ability to perceive 2) Ability to seek 3) Ability to reach 4) Ability to pay 5) Ability to engage, and dimensions related to the service offered: 1) Approachability 2) Acceptability 3) Availability and accommodation 4) Affordability 5) Appropriateness. For men deprived of liberty, barriers to accessing oral health result from state negligence, which promotes overcrowding and a lack of qualified professionals. This scenario creates a micropolitics of access, breaking the logic of equity.
The X-ray imaging systems dedicated for X-ray spectroscopy, based on a semiconductor strip sensors have been recently an important research topic. The most important research objective is working towards improvement of the spectroscopic and position resolution features [1]–[3]. In spectroscopic applications the short strip silicon detectors are widely used due to their relatively small capacitance and leakage current. Using strip pitch below 75 μm enables achievement of high spatial resolution. In this work, the analysis and design of the read-out electronics for the short silicon strip detectors are presented. The Charge Sensitive Amplifier (CSA) is optimized for the detector capacitance of about 1.5 pF, and the shaping amplifier default peaking time is about 1 μs (controlled by the sets of switches). To achieve the lowest possible noise level, the sources of noise in a radiation imaging system both internal (related to the frontend electronics itself), as well as external, were considered [4]. We target the noise level below 40 el. rms, considering low power consumption (a few mW) and limited channel area. To increase the speed of incoming hits processing, the continuoustime resistive CSA feedback together with a digital feedback reset are included. The prototype integrated circuit comprises of 8 charge processing channels, biasing circuits, reset and base-line restoration logic, and a calibration circuit.
Abstract This paper presents a novel terahertz (THz) graphene-based tunable metamaterial that operates as a frequency-multiplexed logic device. The structure consists of a gold layer, a dielectric substrate, and an array of graphene resonators formed by two circular ring resonators per unit cell. The metamaterial is simulated and designed in CST Software. The equivalent circuit model (ECM) for the metamaterial is obtained using MATLAB code. Logical input values are set by adjusting the Fermi levels of graphene-based circular resonators, while output logic states are determined by analyzing the reflection spectrum. The proposed device operates within the THz range, enabling the realization of OR, XNOR, and NAND logic gates at three distinct frequencies. Additionally, the working frequencies of these gates can be tuned by modifying the graphene’s Fermi level. The highest extinction ratios (ERs) achieved for the OR, XNOR, and NAND gates are 36.93, 65.66, and 22.38 dB, respectively. Owing to its simple design and versatility, this metamaterial shows strong potential for use in THz digital systems.
Mathematics is often given as an example of the precision and perfection of reasoning. The success achieved through the methods of mathematics has encouraged the use of mathematical techniques in various fields and among thinkers. In particular, the logical axioms, which are the indisputable truths about mathematical concepts, have been applied in the field of law with the success seen in the natural sciences. Logic has often served as a tool for law, helping it achieve its purpose. Lawyers use logical techniques to address deficiencies in legal practice. In this regard, logical techniques are considered to provide mathematical certainty in law. Positivists and natural law theorists approach mathematical certainty differently. While the positivist approach focuses on the purely axiomatic dimension of mathematics, the natural law perspective emphasizes the a priori domain. In this context, we discuss whether the synthetic a priori plane of mathematical propositions is valid for legal rules. By examining the historical development of logic and mathematics, this study explores their influence on the mathematical certainty of law and its relationship with legal concepts and the world of existence. This study also aims to evaluate the ontological domains of mathematics and law from a philosophical perspective. The main objectives of this study are to evaluate the ontological relationship between mathematics and law and to examine the extent to which mathematical precision can be applied in the field of law.
PurposeThis research examines the structure of financial markets by integrating game theory and fuzzy logic. The objective is to develop a differential game model that analyzes competition among financial firms within a specific industry.Design/methodology/approachThis study employs a differential game model, where players set service prices, dynamically influencing market shares and profits over time. The model incorporates two fuzzy criteria—market power (price-variable cost ratio) and product differentiation (Herfindahl-Hirschman index)—to assess market structure. These criteria are applied to data from Tehran Stock Exchange (TSE) industries, specifically banking, insurance, and e-commerce, to evaluate their respective market structures.FindingsThe results indicate that financial industries tend to be closer to perfect competition compared to other market structures. Additionally, a comparative analysis of the status of these industries in relation to each other reveals that the banking and the e-commerce industries exhibit characteristics of monopolistic competition, whereas the insurance industry aligns more closely with perfect competition. This study provides useful insights into player behavior and its implications for financial policy, aiding in market analysis and forecasting.Originality/valueThis research offers a novel approach by integrating game theory and fuzzy logic to analyze the structure of financial markets.
In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a `base' of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, KT , K4, and S4, with $\square$ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between $\square$ and a natural presentation of $\lozenge$. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases.
To improve the comprehensive utilization of regional energy and promote low-carbon development, this study constructs an integrated energy system for typical areas, such as parks, including a new energy power generation system driven by photovoltaic and wind power, heating and cooling energy supply systems for ground-source/air-source heat pumps, water chillers, and energy storage equipment. TRNSYS? software is used to simulate and study the dynamic characteristics of the system under six climate conditions in Beijing, and the game theory is used for intelligent operation, which is then compared with the logic control method. The results show that the logic control method can meet the load demand but cannot realize the efficient operation of the heat pump unit and the charge and discharge balance of the energy storage device. The integrated energy system after optimization via game theory can not only realize flexible energy scheduling and distribution through electric-thermal coordination, but also save the entire energy consumption of the heat pump unit and achieve the goal of regional energy economic benefits. The research presented in this paper provides an important theoretical basis for the intelligent operation of heat pump systems in integrated electric-thermal cooperative grids.
Heating and ventilation. Air conditioning, Low temperature engineering. Cryogenic engineering. Refrigeration
Joanna Siwek, Konrad Pierzyński, Przemysław Siwek
et al.
This paper introduces a novel artificial intelligence model that integrates artificial empathy into the decision-making processes of collaborative agent systems. The existing models of collaborative behaviors, especially in swarm applications, lack the aspect of empathy, known to improve cooperation in human teams. Emphasizing both cognitive and emotional aspects of empathy, the introduced model navigates communication uncertainties and ambiguities, transforming these challenges into opportunities for learning and adaptation in dynamic environments. A significant feature of this model is its handling of imprecision through fuzzy logic, using fuzzy similarity measures in the decision process. The main objective of the presented research is to introduce a new model for improving cooperativeness in multi-agent systems with the use of cognitive empathy. Future research focus on implementing the model on physical platform and optimize the artificial empathy algorithms in the decision-making module.
Introduction. The formation of a ‘cargo frame’ around large cities leads to a change in the composition of the traffic flow on bypass roads, and an increase in the total traffic flow of trucks of various categories. In addition, the active development of suburban areas with residential complexes contributes to an increase in traffic. The totality of the reflected phenomena leads to the emergence of a certain kind of transport problems, primarily associated with a decrease in throughput. Quite often, such problems are observed at regulated intersections, which requires a prompt change in the control mode; for this, the necessary measure is the mandatory consideration of the technical and dynamic parameters of trucks, which are not fully taken into account in the existing reduction factors. In order to establish the degree of influence of these parameters on the change in the main characteristics of the traffic flow, such as the average travel time and average speed, this study was carried out.Methods and materials. When performing the study, the methods of natural observation, statistical analysis and modelling were applied. The necessary materials for the study were devices for automatic collection of traffic flow characteristics, such as video cameras and traffic detectors, Any Logic version 8.0 for modelling, and a package of descriptive statistics in MS Excel.Results. In the course of the study and the experiment, a difference in the main characteristics of the traffic flow when using standard reduction factors and without using them, taking into account the dynamic and technical parameters of trucks was established. At the object of the study, the difference in the value of the average travel time () for various methods of accounting for trucks, observed in the range [-51.5%; 16.8%] and average speed () in the range [20%; 34%] was determined. As a result of mathematical research, functional relationships between the average speed and traffic intensity are determined, taking into account the presence of trucks of various categories, their technical and dynamic parameters. The ways of further research are determined.
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical matrices. Our constructions preserve finite-valuedness in the context of multiple-conclusion logics whereas, unsurprisingly, it may be lost in the context of single-conclusion logics. Besides illustrating our constructions over a wide range of examples, we also develop concrete applications of our semantic characterizations, namely regarding the semantics of strengthening a given many-valued logic with additional axioms, the study of conditions under which a given logic may be seen as a combination of simpler syntactically defined fragments whose calculi can be obtained independently and put together to form a calculus for the whole logic, and also general conditions for decidability to be preserved by the combination mechanism.
We present a proof system for a multimodal logic, based on our previous work on a multimodal Martin-Loef type theory. The specification of modes, modalities, and implications between them is given as a mode theory, i.e. a small 2-category. The logic is extended to a lambda calculus, establishing a Curry-Howard correspondence.
The purpose of this article is to analyze Fakhr-al-din Razi's theological method and the effect of theological teachings on his thought and logic of understanding religion; because among the Ash'arite theologians, the role of Imam Fakhr Razi in terms of methodology in the process of philosophizing theology is prominent and important and has received less attention from researchers. However, among the many issues about this knowledge, reviewing and refining the method of theology and raising methodological discussions about this science is one of the necessary preconditions and rudiments for understanding a coherent theological system. Inferring and analyzing the components of Fakhr's philosophical theology approach, such as: using logic and philosophical tools in explaining doctrinal issues; using the argumentative method in proving religious claims; avoidance of imitation and the dominance of rationality over obedience; and non-reliance on narrative evidence is the most important findings of this study. The method used in this research is the descriptive-analytical method of an inferential type.
Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms. Generalizing concepts like sets of generators in Group Theory, underlying graph of a sketch in Category Theory, sets of individual names in Description Logic and underlying graph-based structure of a software model in Software Engineering, we coin an abstract concept of context. We show how to define, in a category independent way, arbitrary first-order statements in arbitrary contexts. Examples of those statements are defining relations in Group Theory, commutative, limit and colimit diagrams in Category Theory, assertional axioms in Description Logic and constraints in Software Engineering. To validate the appropriateness of the newly proposed abstract framework, we prove that our category independent definitions and constructions give us a very broad spectrum of Institutions of Statements at hand. For any Institution of Statements, a specification (presentation) is given by a context together with a set of first-order statements in that context. Since many of our motivating examples are variants of sketches, we will simply use the term sketch for those specifications. We investigate exhaustively different kinds of arrows between sketches and their interrelations. To pave the way for a future development of category independent deduction calculi for sketches, we define arbitrary first-order sketch conditions and corresponding sketch constraints as a generalization of graph conditions and graph constraints, respectively. Sketch constraints are the crucial conceptual tool to describe and reason about the structure of sketches. We close the paper with some vital observations, insights and ideas related to future deduction calculi for sketches. Moreover, we outline that our universal method to define sketch constraints enables us to establish and to work with conceptual hierarchies of sketches.
A systematic analysis of the main provisions of the logical and methodological problems of legal science and practice developed by A.F. Cherdantsev - Russian jurist, Doctor of Law, Full Professor, Honored Scientist of the Russian Federation is given. The creative contribution to the development of logical legal issues, made by the author, is expressed in underpinning of the new term logical-linguistic phenomena, as well as critical analysis of Russian jurists proposals to treat philosophy of rights and logic of law as independent branches of scientific knowledge. In addition, the author gave reasonable recommendations regarding the logical nature of a number of leading logical and linguistic phenomena: concepts, terms, definitions, norms of law, principles, facts, legal constructions, etc. The article, further, evaluates the research of A.F. Cherdantsev methods of interpretation of law, skillful possession of which, in his opinion, is the key to the successful activity of a lawyer both in the field of legal science and practice. The author's proposals on the composition, structure and content of methods of interpretation of law are supported. Among the main contentions of the author's novelty is his detailed systemic characteristic of the methods of law interpretation, where decisive importance is attached to the analysis of special methodological principles of cognition forming the content of these methods.
This article deals with the determination and comparison of different types of functions of the type-2 interval of fuzzy logic, using a case study on the international financial market. The model is demonstrated on the time series of the leading stock index DJIA of the US market. Type-2 Fuzzy Logic membership features are able to include additional uncertainty resulting from unclear, uncertain or inaccurate financial data that are selected as inputs to the model. Data on the financial situation of companies are prone to inaccuracies or incomplete information, which is why the type-2 fuzzy logic application is most suitable for this type of financial analysis. This paper is primarily focused on comparing and evaluating the performance of different types of type-2 fuzzy membership functions with integrated additional uncertainty. For this purpose, several model situations differing in shape and level or degree of uncertainty of membership functions are constructed. The results of this research show that type-2 fuzzy sets with dual membership functions is a suitable expert system for highly chaotic and unstable international stock markets and achieves higher accuracy with the integration of a certain level of uncertainty compared to type-1 fuzzy logic.
Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as $d$-logics. Unlike logics based on the topological closure operator, $d$-logics have not previously been studied in the framework of dynamical systems, which are pairs $(X,f)$ consisting of a topological space $X$ equipped with a continuous function $f\colon X\to X$. We introduce the logics $\bf{wK4C}$, $\bf{K4C}$ and $\bf{GLC}$ and show that they all have the finite Kripke model property and are sound and complete with respect to the $d$-semantics in this dynamical setting. In particular, we prove that $\bf{wK4C}$ is the $d$-logic of all dynamic topological systems, $\bf{K4C}$ is the $d$-logic of all $T_D$ dynamic topological systems, and $\bf{GLC}$ is the $d$-logic of all dynamic topological systems based on a scattered space. We also prove a general result for the case where $f$ is a homeomorphism, which in particular yields soundness and completeness for the corresponding systems $\bf{wK4H}$, $\bf{K4H}$ and $\bf{GLH}$. The main contribution of this work is the foundation of a general proof method for finite model property and completeness of dynamic topological $d$-logics. Furthermore, our result for $\bf{GLC}$ constitutes the first step towards a proof of completeness for the trimodal topo-temporal language with respect to a finite axiomatisation -- something known to be impossible over the class of all spaces.
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.
Probabilistic logic programming is a major part of statistical relational artificial intelligence, where approaches from logic and probability are brought together to reason about and learn from relational domains in a setting of uncertainty. However, the behaviour of statistical relational representations across variable domain sizes is complex, and scaling inference and learning to large domains remains a significant challenge. In recent years, connections have emerged between domain size dependence, lifted inference and learning from sampled subpopulations. The asymptotic behaviour of statistical relational representations has come under scrutiny, and projectivity was investigated as the strongest form of domain-size dependence, in which query marginals are completely independent of the domain size. In this contribution we show that every probabilistic logic program under the distribution semantics is asymptotically equivalent to an acyclic probabilistic logic program consisting only of determinate clauses over probabilistic facts. We conclude that every probabilistic logic program inducing a projective family of distributions is in fact everywhere equivalent to a program from this fragment, and we investigate the consequences for the projective families of distributions expressible by probabilistic logic programs. To facilitate the application of classical results from finite model theory, we introduce the abstract distribution semantics, defined as an arbitrary logical theory over probabilistic facts. This bridges the gap to the distribution semantics underlying probabilistic logic programming. In this representation, determinate logic programs correspond to quantifier-free theories, making asymptotic quantifier elimination results available for the setting of probabilistic logic programming. This paper is under consideration for acceptance in TPLP.
There are contemporary tendencies to regard the human consciousness as an algorithm, or to reduce the human subjective to organic-natural processes or to see it as a social construction depending on cultural conditions. Such approaches pose a challenge to ethical humanism, as it seems, as if it requires new justification and groundings. How can we grasp and defend the concept of embodied subjectivity of man and its freedom to act? How can we think of its unity including thought, will and feeling, preventing it from getting lost in specialized potentials, and maintaining the person as an alert, responsible and self-founded unit? Furthermore, how is it possible to preserve the meaning of the name of the soul, since the notion of this traditional limit concept of the human subjective has fallen into disuse and likely vanished from the horizon? The essay asks for answer with the help of Hermann Cohen, the great Jewish philosopher of Neo-Kantianism, following the traces of his repeatedly stated, however never written systematic psychology. This first part of investigation confines itself to understand Cohen's early interpretation of Plato as the "primordial cell" of his psychology in order to show how the first three parts of his system of philosophy (Logic, Ethics, Aesthetics) answer to some of the questions and problems the early work had raised, with special attention to Cohens philosophy of religion. Self-movement of soul and its deep connection with the human body could be viewed and grasped from the unity of human culture as well as of the allness of man.