Results 111 to 120 of about 5,025 (226)
Interval Neutrosophic Sets and Logic: Theory and Applications in Computing [PDF]
, 2005 This book presents the advancements and applications of neutrosophics. The neutrosophic logic, neutrosophic set, neutrosophic probability, and neutrosophic statistics are increasingly used in engineering applications (especially for software and ...
Wang, Haibin +3 more
core +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
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
On Some Extensions Of Intuitionistic Logic
, 2015 We prove that many extensions of Intuitionistic Sentential Calculus ISC with new intuitionistic connectives that are known to be conservative extensions of ISC are not conservative extensions of Intuitionistic Predicate Calculus because formulas such as ...
Biraben R.C.E.
core
, 2012 The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights
De, Michael
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
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core
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
The Internalized Disjunction Property for Intuitionistic Justification Logic
, 2018 In intuitionistic justification logic, evidence terms represent intuitionistic proofs, thatis a formula r:A means r is an intuitionistic proof of A. A natural principle in thiscontext is the internalized disjunction property (IDP), which is: for each ...
Marti, Michel, Studer, Thomas
core
Algebra and Sequent Calculus for Epistemic Actions
, 2005 We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii ...
Sadrzadeh, Mehrnoosh +4 more
core +1 more source