Results 41 to 50 of about 385,766 (333)

Chinese Research on Mathematical Logic and the Foundations of Mathematics

Asian Studies, 2022
This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj   +1 more source

Introduction to Topological Indices in Neutrosophic Graphs [PDF]

Neutrosophic Sets and Systems, 2020
Neutrosophic Graphs are graphs that follow three-valued logic. They may be considered a fuzzy graph, although in some cases, it is difficult to optimize and model them using fuzzy graphs. In this paper, the first and second Zagreb indices, the Harmonic
Masoud Ghods, Zahra Rostami
doaj   +1 more source

A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics [PDF]

, 2010
An approach to the revision of logic programs under the answer set semantics is presented. For programs P and Q, the goal is to determine the answer sets that correspond to the revision of P by Q, denoted P * Q. A fundamental principle of classical (AGM)
Delgrande, James P.
core   +1 more source

TWO-VALUED WEAK KLEENE LOGICS

Manuscrito, 2019
In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion.
BRUNO DA RÉ, DAMIAN SZMUC
doaj   +1 more source

Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

Bulletin of the Section of Logic, 2020
Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 𝔄4 of a De Morgan non-Boolean four-valued ...
Alexej P. Pynko
doaj   +1 more source

Scalable Verification of Strategy Logic through Three-Valued Abstraction [PDF]

, 2023
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano   +4 more
openalex   +2 more sources

A temporal semantics for Nilpotent Minimum logic

, 2013
In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic
Bianchi, Matteo
core   +1 more source

Borderline vs. unknown: comparing three-valued representations of imperfect information [PDF]

, 2014
International audienceIn this paper we compare the expressive power of elementary representation formats for vague, incomplete or conflicting information.
Adams, Banerjee, Banerjee, Belnap, Besnard, Bryant, Cattaneo, Ciucci, Ciucci, Codd, Davide Ciucci, De Cooman, Didier Dubois, Dubois, Dubois, Dubois, Dubois, Dubois, Dubois, Dubois, Dubois, Elkan, Fine, Fitting, Fitting, Gentilhomme, Grabisch, Halpern, Jonathan Lawry, Keefe, Kleene, Lang, Lawry, Lawry, Lawry, Priest, Sainsbury, Shapiro, Smith, Sobocinski, van Fraassen, Williamson, Yager, Yager, Yao, Zadeh, Zadeh   +46 more
core   +12 more sources

Erotetic Search Scenarios and Three-Valued Logic [PDF]

Journal of Logic, Language and Information, 2015
Erotetic search scenarios have been introduced in [\textit{A. Wiśniewski}, Synthese 134, No. 3, 389--427 (2003; Zbl 1024.03009)]. Erotetic search scenarios show how an initial question can be answered on the basis of a given set of initial premises and by means of asking and answering auxiliary questions.
Leszczyńska-Jasion, Dorota, Łupkowski, Paweł   +1 more
openaire   +1 more source

A three-valued photoelectrochemical logic device realising accept anything and consensus operations [PDF]

, 2015
A new application of a hybrid material exhibiting the photoelectro-chemical photocurrent switching (peps) effect in a three-valued logic device is reported.
Oszajca, M., Pilarczyk, K., Szacilowski, K., Warzecha, M.   +3 more
core   +1 more source