Logic - Science topic

This essay reshapes our understanding of the origin and trajectory of the phenomenology of feelings. In contrast to accepted interpretations, I show that Husserl's 1896 manuscript, "Approval, Value, and Evidence"-and not his 1901 Logical Investigations-is the foundation of his subsequent phenomenology of feelings, as it is found in Lectures on Ethi...

Explainable artificial intelligence (XAI) refers to machine learning techniques, or general methods in artificial intelligence, for which the underlying decision logic and outcomes can be explained. It addresses the tradeoff between powerful but opaque machine learning models by shedding light into the black boxes. Thus, XAI are applicable only for...

El tema tratado por Neal DeRoo es la lógica que enmarca lo político en el ámbito de la experiencia. Esta lógica tiene sus raíces en la experiencia personal, entendiéndola como un punto de partida transformable. Tanto las condiciones materiales como las condiciones sociales modifican la manera en la que una persona experimenta el mundo. Asimismo, la...

This chapter develops a typology of B2B platform business models. B2B platforms can be divided into three types depending on the nature of the platform market structures they enable. (1) The product-service platformizer business model creates a platform-like interface on top of a product or service and helps bring in production-side complements to...

Starting January 2020 for the period of two years, many Indian industries were adversely affected because of the pandemic. The severity of the impact had varied from industry to industry. The study attemptsunderstand the severity of the damage it has caused to the airline industry with the purpose to comprehend how the industry was coping up with t...

AMEA Folklor İnstitutu, aparıcı elmi işçi Filologiya üzrə fəlsəfə doktoru, dosent nigar.qasanova.80@mail.ru Heydər Əliyev və dil siyasəti Açar sözlər: Ümummilli lider, dil siyasəti, ana dili, dilin inkişafı, sərəncam. XÜLASƏ Xalqını, millətini sevən insan ana dilini mükəmməl bilən, bu dili sevərək bu dildə danışan insandır. Dili, bu dildə danışan i...

If you believe in the existence of an infinitely good, -knowing, and -powerful deity (“God”), how do you explain the reality of evil—including the inexpressible suffering and death of innocents? Wouldn’t God be forced to vanquish such suffering due to God’s very nature? Alvin Plantinga has argued, convincingly, that if the possibility of ultimate g...

Quantum mechanics (QM) can be understood as a set of rules that forms the basis for developing all quantum theories. One of these theories is quantum computation (QC), i.e., computation based on QM logic. It is believed that QC provides paths to the problem solution that may not be possible for classical computers. Therefore, it has received attent...

Adiabatic quantum-flux-parametron (AQFP) logic is a superconductor logic family whose energy efficiency approaches theoretical limits. Because AQFP logic gates depend on a polyphase excitation current to perform their computation, gate fanins must arrive at the appropriate excitation phase. Such a technology constraint has conventionally been treat...

The number of multimodal agents aimed at children with or without neurodevelopmental disorders (NDD) has increased tremendously during the last decade. As this expands, so does research into methods, tools, and metrics that can reliably assess their impact. Traditionally, the majority of UX Research tools have been produced for an adult audience, w...

The concepts of network nodes implementation and quantum computing based on photon qudits are technically in the early stages of development, well behind qubit techniques. Photonic qubit and qudit technologies are strongly correlated. Photonic qubit techniques received a development impulse from photonic PIC integrated circuits and significant prog...

Continuous variable quantum key distribution (CV-QKD) allows the distribution of symmetric keys in a secure manner. CV-QKD systems can extract keys at its maximum rate when using Gaussian modulation (GM). Nonetheless, GM demands high-capacity random number sources and tends to be very hard to approach in practice. To circumvent these disadvantages,...

This article analyzes the functional aspects of the dispute phenomenon as a developing intellectual phenomenon passing through the stages of its emergence, formation and development. Based on the analysis of the formulation of a scientific discussion in modern logic and epistemology, the article substantiates the cognitive, practical and debatable...

The word "grounding" is nowadays the object of a large and flourishing philosophical debate. However, without further specification, this expression is ambiguous between (at least) two different perspectives: a metaphysical perspective according to which existent items are ordered in a hierarchy where some items ground other; a scientific perspecti...

A Inteligência Artificial (IA) tem sido utilizada para melhorar rotinas diárias e ajudar no processo criativo. No campo jurídico, a IA ainda é pouco utilizada, mas tem grande potencial para transformar as atividades diária dos profissionais. O ChatGPT é uma ferramenta baseada em IA generativa que pode criar conteúdo e tem sido utilizada em várias á...

This article provides a logical and epistemological analysis of tricks and manipulative (speculative) techniques used as a tactic in disputes. Although it is not possible to classify tricks according to one specific feature, according to the mutual correlation of the method of manipulation and argumentation in the tactical structure of the art of a...

Most previous 3D IC research focused on "stacking" traditional 2D silicon layers, so the interconnect reduction is limited to inter-block delays. In this paper, we propose techniques that enable efficient exploration of the 3D design space where each logical block can span more than one silicon layers. Although further power and performance improve...

The marketing mix is a fundamental concept within marketing theory that has a significant impact on a company's competitive positioning and facilitates the effective management and differentiation of marketing operations from other organizational functions. Additionally, this part of the marketing manager's role underscores the need to effectively...

Background: Aristotle's Understanding of the Law of Contradiction has long been regarded as a cornerstone of classical logic, philosophy and science as such. It asserts that contradictory propositions, properties, events et cetera cannot both be true at the same time and in the same sense. This principle has underpinned Western philosophical reason...

A Tecnologia da Informação (TI) e a computação são áreas em contínuo crescimento, onde a procura por cursos na área de tecnologia da informação não reflete a crescente demanda por profissionais no mercado de trabalho. Destarte, o objetivo deste estudo é propor um modelo teórico que possa ser usado em estudos que buscam compreender os fatores que in...

This study offers a new adjustment to the Advanced Encryption Standard (AES) algorithm with the aim of providing maximum safety. This is achieved by exchanging the (XOR) logic function with a new (Xo) procedure in every add round key cycle. The Xo operation generated an extra six randomly selected control keys determined by six state tables (2, 4,...

Previous literature has explored investment efficiency in terms of executive incentives, supervisory mechanisms, information disclosure, agency conflicts, and managerial capabilities. This study focuses on analysing the power influence of executives in the context of Chinese State-Owned Enterprises (SOEs) from the two hypotheses of “economic man” a...

This publication is a book treating phenomena related to deviations of human integrity and moral from what one needs to be in every day life. Its a work related closely to life and treatchery or deception as an ugly anti value of an unhuman nature of the people we live with. Philosophically seen, its an existentialist-nihilist approach to life with...

Generating samples from the output distribution of a quantum circuit is a ubiquitous task used as a building block of many quantum algorithms. Here we show how to accomplish this task on a noisy quantum processor lacking full-blown error correction for a special class of quantum circuits dominated by Clifford gates. Our approach is based on coheren...

Bad jokes are not simply non-humorous texts. They are texts that are humorous for someone––their author at least––but not for their audience. Bad jokes thus involve a contextual––pragmatic––dimension that is neglected in the semantic theories of humor. In this paper, we propose an approach to humor based on the Aristotelian notion of surprising ent...

Proteinoids are thermal proteins which swell into microspheres in aqueous solution. Ensembles of proteinoids produce electrical spiking activity similar to that of neurons. We introduce a novel method for implementing logical gates in the ensembles of proteinoid microspheres using chronoamperometry. Chronoamperometry is a technique that involves ap...

The article is based on the original letters of the French king Henry III, his mother Catherine de Medicis to the Secretary of State Nicolas de Villeroy in October-November 1586, conserved as part of the collection of Peter Dubrovsky in the Russian National Library. These letters focus on an important episode in the history of the Civil Wars in Fra...

The present essay discusses, anchored in bibliographical research, the relation between university and education in the neoliberal context. It begins with a brief diagnosis of the current era, showing some aspects of the destructive effect of neoliberalism in the social, economic, cultural, and political spheres. Next, it deals with such effects sp...

In this study, we draw on the previous literature that emphasises the relationship between institutional types of higher education and different institutional logics to investigate the impact of the expansion of higher education in Brazil in the last decade on the institutional functioning of higher education organisations. Using Latent Profile Ana...

Computational complexity reduction is at the basis of a new formulation of many-body quantum states according to tensor network ansatz, originally framed in one-dimensional lattices. In order to include long-range entanglement characterizing phase transitions, the multiscale entanglement renormalization ansatz (MERA) defines a sequence of coarse-gr...

Lexical Grammar Manual for communication evolution «Everyday English» has been created as the phrase-book and consists of 3 chapters. 40 lessons of everyday vocabulary and speech etiquette lay solid foundation for it. There is no analogue release anywhere. The phrase-book introduces rules of internationl etiquette to students. There are some phrase...

The significance of the issue lies in the observation that the experience of implementing neoliberal market reforms during the 1990s in Ukraine reveals that disregarding the contributions of Ukrainian scholars led to detrimental consequences for socio-economic transformations. This study focuses on the theories of social change developed by Ukraini...

Property as a legal assemblage works to produce and imagine space according to a dominant set of norms and principles, thereby casting an imagined projection into multiple worlds. This unduly narrows the lens through which governance actors perceive and mediate competing claims to urban space. In this article we engage this feature of property in t...

This paper decision analyctics the evolution of pro-poor development and research on pro-poor practices in China and India, taking rural poverty alleviation in both countries as an example. The research perspective is cast more towards the policy target groups and rural societies to gain a deeper understanding of the institutional and systemic fact...

Large Language Models (LLMs) can be used as repositories of biological and chemical information to generate pharmacological lead compounds. However, for LLMs to focus on specific drug targets typically require experimentation with progressively more refined prompts. Results thus become dependent not just on what is known about the target, but also...

Background. Despite the introduction of accompanied driving and simulator-based training, there is a lack of rigorous understanding of their effectiveness. This research aimed to deepen the understanding of the relationships between personal characteristics, pre-license accompanied driving, self-reported post-licence driving behaviour, and driving...

Throughout history, man has continued to search for meaning in life, trying to comprehend both his world and himself better. Consequently, the human mind has consistently expressed itself in various forms in order to articulate nature more correctly. This stylistic study of Julius Caesar investigates the text from the framework of the reader-respon...

Definition of probability based on the data on automatically happened outcomes, formulated in a recent study by the application of the logic behind concept of empirical probability, has been applied in estimating most likely number of rainy days at each of the four stations in India namely Chennai, Kolkata, Mumbai and New Delhi to be occurred in ea...

Abstact This research paper is dealing with an important doctrinal issue that is the issue of women occupying judging positions The researcher started the discussion by ashort introductory analysis wich identified the judgment in logic it was followed by few evidences about the legitimacy of judging in islam it was followed by few evidences about t...

The starting point of this paper is the empirically determined ability to reason in natural language by employing probable sentences. A sentence is understood to be logically probable if its schema, expressed as a formula in the language of classical propositional calculus, takes the logical value of truth for the majority of Boolean valuations, i....

This paper aims to contribute to the existing body of research on the impact of employee training and development on organizational performance. Despite the extensive empirical research on this topic, the results have been mixed. Therefore, this study proposes a new index, the Training Function Expected Performance (TFEP), which comprises five comp...

An important appeal of strategy-proofness is the robustness that it implies. Under a strategy-proof voting rule, every individual has an optimal strategy independently of the behavior of all other voters, namely truth-telling. In particular, optimal play is robust with respect to the beliefs voters may have about the type and the behavior of the ot...

Floating-point arithmetic is a well-known and extremely efficient way of performing approximate computations over the real numbers. Although it requires some careful considerations, floating-point numbers are nowadays routinely used to prove mathematical theorems. Numerical computations have been applied in the context of formal proofs too, as illu...

Memristor is one of the most promising emerging technologies to solve the von Neumann bottleneck problem due to its non-volatile and binary characteristics. This paper studies the design method of high-efficiency logic circuit based on memristor. First, a multiple-input-multiple-output (MIMO) logic circuit design scheme based on IMPLY and AND logic...

This paper proposes a Reconfigurable In-Memory Advance Computing architecture using a novel 10 SRAM cell. In addition to basic logic operations, the proposed R-InMAC can also implement complex Boolean computing operations such as binary addition/subtraction, binary-to-gray, gray-to-binary conversion, 2’s complement, less/greater than, and increment...

We seek to trace how the assertion–rejection dichotomy arose, as well as in what forms it was realized in logical discourse. From this viewpoint, we observe the approaches to the concept of rejection by Łukasiewicz, Carnap, and Słupecki. We also explore the controversy between rejection and negation. Our main observation is that for a correct under...

The purpose of this paper is to extend the literature on sales force control systems (SFCSs) by showing that they can benefit from Industry 4.0 technologies such as the Internet of Things (IoT), the business model framework, and the marketing analytics to manage salespeople in value-based selling (VBS) approach. Specifically, we suggest that each s...

Skyrmions are a spin texture with topological protection properties, which can be considered as an excellent candidate for the next generation of high-speed, nonvolatile, and low-power consumption spin devices due to their unique dynamic characteristics. However, in practical devices, skyrmions remain in the device after performing specific operati...

Working from the memoir literature of Soviet Gulag survivors, the article explores the curious practice of tukhta as contrived by the toiling zeks of the archipelago. In a labour regime tasked with accumulating surplus, destroying political dissent, and transforming the subjectivity of the imprisoned, tukhta proved to be a tactical means for resist...

Abductive reasoning involves finding the missing premise of an “unsaturated” deductive inference, thereby selecting a possible explanans for a conclusion based on a set of previously accepted premises. In this paper, we explore abductive reasoning from a structural proof-theory perspective. We present a hybrid sequent calculus for classical proposi...

Recent research on algebraic models of quasi-Nelson logic has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a nucleus . Among these various algebraic structures, for which we employ the umbrella term intuitionistic modal...

Industry 5.0 (I5.0) is the next industrial revolution that will leverage human intervention in collaboration with intelligent, logical, and smart machines to attain even more user-preferred and resource-efficient manufacturing and supply chain solutions. The main aim of this article is to study I5.0 technologies in supply chains when these are affe...

This article presents the findings of an integrative systematic review conducted in the field of political ecology, employing the concepts of cycles, territories, and hydrosocial scarcity to analyze water access inequalities and precarious ness. Through a systematic search across four scientific databases, a total of 24 articles published between 2...

I investigated the equivalence between iterative and recursive approaches to any particular solution in terms of time and space complexity. I checked whether we could make any pattern or logic out of that.

Purpose: The main aim of this article was an attempt to assess to what extent suppliers of selected groups of food products, available in discount stores such as Lidl and Biedronka, use non-compulsory sustainability labeling. The additional aim was an attempt to check if the selection of that kind of labeling varies from one group to another. Desig...

The investigative film is part of the documentary films and is considered one of the important films that have a high viewership by the recipient, which is of great importance in transmitting information and contributing to creating awareness of the community through the advertising function performed by the cinematic image, as the researcher addre...

This paper examines the development of trust in interorganisational relationships (IORs) that are embedded in conflicting institutional logics. The study focuses on a recently established customer choice system for domestic elderly care that involves a complex constellation of logics for the parties involved in the IORs to handle. We explore how bo...

The increasing number of clinical texts, such as electronic medical records and discharge summaries, has led to ongoing research on natural language processing in the medical field. Since medical compound words often appear in clinical texts, in-depth semantic analysis and natural language inference tasks for clinical text are challenging. In this...

The institute of legality for traders, including business contracts, business correspondence, and legal proceedings concerning economic cases, appeared in Mesopotamia first since the early dynastic period (ca. 2900–2350 B.C.). This institute became well organized for the period of the third dynasty of Ur (from the 22nd to the 21st century B.C.). Th...

This article presents a case for more rigorous application of complexity science in our efforts to evaluate activity that seeks to bring about transformative change. It builds on the work that is already going on in the evaluation community. Three constructs from complexity science are employed – sensitive dependence, emergence, and social attracto...

Let an iterated essentialist statement be a statement of the form 'It lies in the nature of x1,x2,... that it lies in the nature of y1,y2,... that φ'. Let Iteration be the thesis that there are true iterated essentialist statements. Iteration has recently been disputed by Dasgupta (2014) and Glazier (2017). Both authors take the falsity of Iteratio...

Justin Clarke-Doane offers what purports to be a stand-alone argument, relying on Gödel’s second incompleteness theorem, that if we hold that PA + Con(PA) and PA + ~ Con(PA) are equally true of their intended subjects, then there is no objective fact as to whether PA is consistent. It is shown that the argument is fallacious, although illuminating:...

It is generally accepted that the nutrients found in tree nuts are to blame for their potential impact on human health. Nuts are a wellspring of admission of fiber, and dietary fiber is related to a diminished event of heftiness and cardiovascular sicknesses. The intriguing possibility that consuming nuts may protect human health has been the subje...

Safety-critical infrastructures must operate safely and securely. Fault tree and attack tree analysis are widespread methods used to assess risks in these systems: fault trees (FTs) are required — among others — by the Federal Aviation Administration, the Nuclear Regulatory Commission, in the ISO26262 standard for autonomous driving and for softwar...

The crisis of neoliberalism is the crisis of the West, unable to redirect its course and threatened by internal and external contradictions. The emergence of the postmodernism has generated a new uncritical ethos that relativises Western rights and freedoms. The invasion of capitalist mercantile logic into the school, under the neoliberal paradigm,...

A sufficient condition for an extension of positive logic with strong negation to be characterized by a class of finite trees is given.

The big bang cosmology asserts that our 3+1 D universe (3 spatial dimensions plus the time dimension) is all that exists; there is nothing else. However to obtain the FLRW metric the universe is described as a spherical hyper-surface expanding within a 4+1 D Euclidean space, eternal and infinite. This apparent discrepancy between the narrative and...

The standard semantics of separation logic is restricted to finite heaps. This restriction already gives rise to a logic which does not satisfy compactness, hence it does not allow for an effective, sound and complete axiomatization. In this paper we therefore study both the general model theory and proof theory of the separation logic of finite an...

One of central problems in the theory of conditionals is the construction of a probability space, where conditionals can be interpreted as events and assigned probabilities. The problem has been given a technical formulation by van Fraassen (23), who also discussed in great detail the solution in the form of Stalnaker Bernoulli spaces. These spaces...

We present a sequent calculus for first-order logic with lambda terms and definite descriptions. The theory formalised by this calculus is essentially Russellian, but avoids some of its well known drawbacks and treats definite description as genuine terms. A constructive proof of the cut elimination theorem and a Henkin-style proof of completeness...

We provide a new sequent calculus that enjoys syntactic cut-elimination and strongly terminating backward proof search for the intuitionistic Strong Löb logic $$\textsf{iSL}$$ , an intuitionistic modal logic with a provability interpretation. A novel measure on sequents is used to prove both the termination of the naive backward proof search strate...

We define LE- $$\mathcal {ALC}$$ , a generalization of the description logic $$\mathcal {ALC}$$ based on the propositional logic of general (i.e. not necessarily distributive) lattices, and semantically interpreted on relational structures based on formal contexts from Formal Concept Analysis (FCA). The description logic LE- $$\mathcal {ALC}$$ allo...

We introduce ill-founded sequent calculi for two intuitionistic linear-time temporal logics. Both logics are based on the language of intuitionistic propositional logic with ‘next’ and ‘until’ operators and are evaluated on dynamic Kripke models wherein the intuitionistic and temporal accessibility relations are assumed to satisfy one of two natura...

We define two simple systems of rules, i.e. calculi with a global condition on the order of rule instances in a proof, for the modal logics of shift-reflexive and Euclidean frames respectively. Cut-elimination, and therefore the subformula property, can be derived directly from the cut-elimination property of adjacent logics. We compare our system...

This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic ( $$\mathrm IMLL$$ ). The starting point is a review of Sandqvist’s B-eS for intuitionistic propositional logic (IPL), for which we propose an alternative treatme...

We show that tableau methods for satisfiability in non-classical logics can be supported naturally in SMT solving via the framework of user-propagators. By way of demonstration, we implement the description logic $$\mathcal {ALC}$$ in the Z3 SMT solver and show that working with user-propagators allows us to significantly outperform encodings to fi...

Coherence is a crucial aspect of evaluating text readability and can be assessed through two primary factors when evaluating an essay in a scoring scenario. The first factor is logical coherence, characterized by the appropriate use of discourse connectives and the establishment of logical relationships between sentences. The second factor is the a...

We show how variations of range-restriction and also the Horn property can be passed from inputs to outputs of Craig interpolation in first-order logic. The proof system is clausal tableaux, which stems from first-order ATP. Our results are induced by a restriction of the clausal tableau structure, which can be achieved in general by a proof transf...

As research and practice in corporate governance and risk management evolve, related tools and procedures are also developing in tandem – as is the case with the recent review of the widely adopted and time-tested Three Lines of Defence (TLOD). This new Three Lines Model (TLM) attempts to reflect model criticism and widen the model scope towards in...

The possible utilization of biological nano-logic circuits in the integration and regulation of DNA repair, and its potential use by cells in their rapid sub-second decision making are discussed. Given the advantages of logic type control, one would expect, that if it hadn't arisen initially during the abiotic phase of evolution, it would have aris...

This work describes a new version of a previously published Python package — : a collection of OpenAI Gym environments for guiding saturation-style provers based on the given clause algorithm with reinforcement learning. We contribute usage examples with two different provers: Vampire and iProver. We also have decoupled the proof state representati...

We introduce a Gentzen-style framework, called layered sequent calculi , for modal logic K5 and its extensions KD5, K45, KD45, KB5, and S5 with the goal to investigate the uniform Lyndon interpolation property (ULIP), which implies both the uniform interpolation property and the Lyndon interpolation property. We obtain complexity-optimal decision p...

This work addresses the maximum satisfiability (MaxSAT) problem for a multiset of arbitrary formulas of the language of propositional Łukasiewicz logic over the MV-algebra whose universe is the real interval [0,1]. First, we reduce the MaxSAT problem to the SAT problem over the same algebra. This solution method sets a benchmark for other approache...

The present study endeavors to investigate the effect of promotional offers on shoppers' buying behavior on e-commerce websites. Specifically, it aims to measure the correlation between the two variables by adopting a descriptive research design that relies on a survey method. The survey instrument is used to monitor the trends of 245 purposively s...

h-индекс: взгляд психолога. (С.М.Морозов) Аннатация: В статье рассматривается самый популярный сегодня показатель оценки деятельности ученых-так называемый индекс Хирша, названный так в честь американского физика, впервые высказавшего идею применения этого показателя. Автор статьи рассматривает проблемы, связанные с повсеместным применение этого ин...

Wastewater treatment plants (WWTPs) are large-scale and nonlinear processes with tightly integrated operating units. The application of online optimization-based control strategies, such as model predictive control (MPC), to WWTPs generally faces high computational complexity. This paper proposes an event-triggered approach to address this issue. T...

We study the complexity of the validity/derivability problem for combinations of non-normal modal logics in the form of logic fusions, possibly extended with simple interaction axioms. We first present cut-free sequent calculi for these logic combinations. Then, we introduce hypersequent calculi with invertible rules, and show that they allow for a...

Title: Critical Thinking: A Brief Guide for University Students (2023). This book aims to provide students with critical thinking skills and their applications in all situations, fields, and problems they encounter. The book deals with the logical construction of arguments, identifying common errors in thinking, and analyzing and criticizing deduct...

Given the increasing uncertainty in global supply chains, the consideration of resilience alongside sustainability has become significantly more important in the area of manufacturing strategy. However, the operations and supply chain management literature has witnessed a debate regarding the potential trade-off between these two concepts. This stu...

This paper establishes cut-elimination for $$\mathsf {\mu LL^\infty }$$ , $$\mathsf {\mu LK^\infty }$$ and $$\mathsf {\mu LJ^\infty }$$ , that are non-wellfounded sequent calculi with least and greatest fixed-points, by expanding on prior works by Santocanale and Fortier [20] as well as Baelde et al. [3, 4]. The paper studies a fixed-point encoding...

The analytic technique for proving completeness gives a very operational perspective: build a countermodel to the unproved formula from a failed proof attempt in your calculus. We have to be careful, however, that the proof attempt did not fail because our strategy in finding it was flawed. Overcoming this concern requires designing a prover. We de...

We investigate the satisfiability problem for a fragment of Separation Logic (SL) with inductively defined spatial predicates and permissions. We show that the problem is undecidable in general, but decidable under some restrictions on the rules defining the semantics of the spatial predicates. Furthermore, if the satisfiability of permission formu...

A variety of intuitionistic versions of modal logic $$ K $$ have been proposed in the literature. An apparent misconception is that all these logics coincide on their $$\Box $$ -only (or $$\Diamond $$ -free) fragment, suggesting some robustness of ‘ $$\Box $$ -only intuitionistic modal logic’. However in this work we show that this is not true, by...

The stochastic time-fractional diffusion equation can be accounted for a logical description of models with subdiffusion. This work is dedicated to the study of existence and uniqueness of the solution of stochastic time-fractional diffusion equation perturbed with a nonlinear source term. The method of Faedo–Galerkin approximations is employed in...

In this paper we investigate the Curry-Howard correspondence for constructive modal logic in light of the gap between the proof equivalences enforced by the lambda calculi from the literature and by the recently defined winning strategies for this logic. We define a new lambda-calculus for a minimal constructive modal logic by enriching the calculu...