Results 91 to 100 of about 5,025 (226)
Stable Formulas in Intuitionistic Logic
Notre Dame Journal of Formal Logic, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nick Bezhanishvili, Dick de Jongh
openaire +4 more sources
A Hybrid Intuitionistic Logic: Semantics and Decidability
, 2005 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio +5 more
core
Logical rules and the determinacy of meaning
Studies in Logic, Grammar and Rhetoric, 2018 The use of conventional logical connectives either in logic, in mathematics, or in both cannot determine the meanings of those connectives. This is because every model of full conventional set theory can be extended conservatively to a model of ...
McCarty Charles
doaj +1 more source
Advances in Fuzzy Systems, Volume 2026, Issue 1, 2026.This paper addresses critical limitations in the application of intuitionistic fuzzy sets (IFSs) for complex decision‐making problems under uncertainty. While IFSs offer a robust framework for modeling imprecision through membership, nonmembership, and hesitancy degrees, existing methodologies often simplify the multiplication of intuitionistic fuzzy ...
Hanh-Thao Le +2 more
wiley +1 more source
Towards CERes in intuitionistic logic [PDF]
, 2012 Cut-elimination, introduced by Gentzen, plays an important role in automating the analysis of mathematical proofs. The removal of cuts corresponds to the elimination of intermediate statements (lemmas), resulting in an analytic proof.
Woltzenlogel Paleo, Bruno +2 more
core +1 more source
A Multistage Two‐Sided Matching Model in Interval‐Valued Triangular Fuzzy Environments
Complexity, Volume 2026, Issue 1, 2026.In two‐sided matching problems, accurately quantifying preference intensity using precise numerical values remains a significant challenge due to the inherent complexity and fuzziness of real‐world decision‐making. Moreover, existing research rarely considers the staged dynamics of matching processes across multiple time periods. To address these gaps,
Jian-min Qiao +3 more
wiley +1 more source
Intuitionistic Sahlqvist theory for deductive systems [PDF]
Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory of intuitionistic character amenable to arbitrary protoalgebraic deductive ...
Fornasiere, Damiano, Moraschini, Tommaso
core +1 more source
Neutrosophic Sets and Systems [PDF]
, 2013 Neutrosophic Sets and Systems has been created for publications on advanced studies in neutrosophy, neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics that started in 1995 and their applications in any field, such as ...
Smarandache, Florentin (Editor-in-Chief)
core +1 more source
Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics
Bulletin of the Section of LogicNon-monotonic base-extension semantics (nB-eS), a kind of non-monotonic proof-theoretic semantics (nPTS), is known to validate classical logic when its meta-logic is classical.
Antonio Piccolomini d’Aragona
doaj +1 more source
International Journal of Differential Equations, Volume 2026, Issue 1, 2026.In this paper, utilizing the concept of neutrosophic metric spaces proposed by Kirisci and Simsek, we establish a fixed point theorem of Edelstein type within this framework. A numerical example is provided to illustrate the validity of the main result. Furthermore, we present an application to a general SIR‐type epidemic model.
Vishal Gupta +3 more
wiley +1 more source