Results 91 to 100 of about 19,372 (208)
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
Azafea: Revista de Filosofía, 2009 RESUMEN: Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural
Dick DE JONGH
doaj
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
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
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
Intuitionistic logic, dual intuitionistic logic, and modality
We explore various semantic understandings of dual intuitionistic logic by exploring the relationship between co-Heyting algebras and topological spaces. First, we discuss the relevant ideas in the setting of Heyting algebras and intuitionistic logic, showing organically the progression from the primordial example of lattices of open sets of ...
openaire +2 more sources
Journal of Applied Logic, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Braüner, Torben, de Paiva, Valeria
openaire +2 more sources
A Criticism of Kripke’s Semantic for Intuitionistic Logic
O Que Nos Faz Pensar, 2016 This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the
Wagner de Campos Sanz
doaj
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