Results 101 to 110 of about 722,619 (215)
Forcing for an Optimal A-Translation
LogicsKripke semantics for intuitionistic predicate logic IQC is often viewed as a forcing relation between posets and formulas. In this paper, we further introduce Cohen forcing into semantics.
Rui Li
doaj +1 more source
Intuitionistic Fuzzy Topology Based on Intuitionistic Fuzzy Logic
, 2022 There are many symmetries in intuitionistic fuzzifying topology. In the present paper, the notion of intuitionistic fuzzifying topology as an extension of fuzzifying topology and a preliminary of the research on bi-intuitionistic fuzzy topology is ...
Shaoyu Zhang +2 more
core +1 more source
Emerging Intuitionistic Fuzzy Classifiers for Intrusion Detection System
Journal of Advances in Information Technology, 2011 One of the toughest challenges in Intrusion Detection System is uncertainty handling. he normal and the abnormal behaviors in networked computers are hard to predict as the boundaries cannot be well defined. The prediction of the normal or abnormal
Kavitha B +2 more
doaj +1 more source
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic [PDF]
, 2013 Full Intuitionistic Linear Logic (FILL) is multiplicative intuitionistic linear logic extended with par. Its proof theory has been notoriously difficult to get right, and existing sequent calculi all involve inference rules with complex annotations to ...
Goré, Rajeev +3 more
core +1 more source
Logiques dialogiques ‘multivalentes’
Philosophia Scientiæ, 2004 Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced.
Helge Rückert
doaj +1 more source
A Logic for Quantum Register Measurements
Axioms, 2019 We know that quantum logics are the most prominent logical systems associated to the lattices of closed Hilbert subspaces. However, what happen if, following a quantum computing perspective, we want to associate a logic to the process of quantum ...
Andrea Masini, Margherita Zorzi
doaj +1 more source
Lietuvos Matematikos Rinkinys, 2009 The paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.
Romas Alonderis
doaj +1 more source
Sub-sub-intuitionistic logic [PDF]
Sub-sub-intuitionistic logic is obtained from intuitionistic logic by weakening the implication and removing distributivity. It can alternatively be viewed as conditional weak positive logic. We provide semantics for sub-sub-intuitionistic logic by means
Deakin, Jonte, de Groot, Jim
core
Propositional inquisitive logic: a survey [PDF]
Computer Science Journal of Moldova, 2016 This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj
SBE-Algebras via Intuitionistic Fuzzy Structures
MathematicsThe study introduces the concept of intuitionistic fuzzy SBE-subalgebras, ideals, and filters, along with level sets of intuitionistic fuzzy sets within the framework of Sheffer stroke BE-algebras. These concepts are shown to be crucial for understanding
Tahsin Oner +3 more
doaj +1 more source