Results 21 to 30 of about 375,050 (296)
Impure Simplicial Complexes: Complete Axiomatization [PDF]
Logical Methods in Computer Science, 2023 Combinatorial topology is used in distributed computing to model concurrency and asynchrony. The basic structure in combinatorial topology is the simplicial complex, a collection of subsets called simplices of a set of vertices, closed under containment.
Rojo Randrianomentsoa +2 more
doaj +1 more source
Formal Verification of Three-Valued Digital Waveforms
Моделирование и анализ информационных систем, 2019 We investigate a formal verification problem (mathematically rigorous correctness checking) for digital waveforms used in practical development of digital microelectronic devices (digital circuits) at early design stages.
Nina Yu. Kutsak, Vladislav V. Podymov
doaj +1 more source
A modal theorem-preserving translation of a class of three-valued logics of incomplete information [PDF]
, 2013 International audienceThere are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them.
Avron A. +56 more
core +3 more sources
Logical Determinacy versus Logical Contingency. The Case of Łukasiewicz’s Three-valued Logic
Studia Humana, 2019 In constructing the three-valued logic, Jan Łukasiewicz was highly inspirited by the Aristotelian idea of logical contingency. Nevertheless, we can construct a four-valued logic for explicating the Stoic idea of logical determinacy.
Schumann Andrew
doaj +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
From paraconsistent three-valued logics to multiple-source epistemic logic [PDF]
, 2013 National audienceSeveral interpretations can be given to the third truth value in three-valued logics. Here, we consider the case when it refers to the epistemic notion of contradictory, or both true and false at the same time.
Ciucci, Davide, Dubois, Didier
core +2 more sources
Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
Manuscrito, 2011 The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974).
Paul Weingartner
doaj +1 more source
ISPRS International Journal of Geo-Information, 2021 In this paper, we propose a decentralized semantic reasoning approach for modeling vague spatial objects from sensor network data describing vague shape phenomena, such as forest fire, air pollution, traffic noise, etc.
Roger Cesarié Ntankouo Njila +2 more
doaj +1 more source
Pentapartitioned Neutrosophic Fuzzy Optimization Method for Multi-objective Reliability Optimization Problem [PDF]
Neutrosophic Sets and Systems, 2023 Fuzzy logic is an important mathematical tool that deals with uncertainty and imprecision in decision-making processes. The prevalent frameworks, known as neutrosophic sets, study the connection of neutralities with various ideational spectra in addition
Swarup Jana, Sahidul Islam
doaj +1 more source
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B [PDF]
, 2020 In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ).
Borja-Macı́as, Verónica +2 more
core +1 more source