Results 21 to 30 of about 124 (48)
AN OUTSPREAD ON VALUED LOGIC SUPERHYPERALGEBRAS [PDF]
In all classical logical algebras, only two elements can be equated to one element, and this is not possible when we want to equate more than two elements to one or more than one element. In this study, we are looking for a new idea to cover this defect.
Daneshpayeh, Roohallah +1 more
core +1 more source
Ready for Robot Colleagues? : Affective Attitudes and Prejudice Toward Sharing the Work Domain with Robots [PDF]
, 2022 Robots and artificial intelligence are increasingly utilized for labor in various occupational fields. The interest in designing advanced technological solutions suitable for environments outside of manufacturing has not only shifted to home and leisure ...
Savela, Nina
core
Normalisation and subformula property for a system of classical logic with Tarski's rule [PDF]
, 2021 This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures ...
Kurbis, N
core
Automatic error localisation for categorical, continuous and integer data [PDF]
, 2005 Data collected by statistical offices generally contain errors, which have to be corrected before reliable data can be published. This correction process is referred to as statistical data editing. At statistical offices, certain rules, so-called edits,
Waal, Ton de
core +2 more sources
Does Logic Help Us Beat Monty Hall? [PDF]
, 2017 The classical Monty Hall problem entails that a hypothetical game show contestant be presented three doors and told that behind one door is a car and behind the other two are far less appealing prizes, like goats.
Hammett, Adam J. +2 more
core +1 more source
On a Multiple-Choice Guessing Game [PDF]
, 2016 We consider the following game (a generalization of a binary version explored by Hammett and Oman): the first player (“Ann”) chooses a (uniformly) random integer from the first n positive integers, which is not revealed to the second player (“Gus”). Then,
Cushman, Ryan, Hammett, Adam J.
core +1 more source
Catalan Tree & Parity of some sequences which are related to Catalan numbers [PDF]
, 2011 In this paper we determine the parity of some sequences which are related to Catalan numbers.
Yildiz, Volkan
core
Logic and theory of representation
, 2023 Underlying the theory of inferences, a primary task of logic is language analysis. Such a task can be understood as depending on a general theory of representation, taking as a starting point the idea that some entities (`` representations '') can ...
Plagnol, Arnaud
core
Classical model existence and left resolution [PDF]
, 2008 By analyzing what are necessary conditions in the proof [4] of the classical model existence theorem CME (every consistent set has a classical model), we present the left resolution Gentzen systems R(¬,-), which proof-theoretically characterize ...
Lee, Jui-Lin
core +1 more source
Ordered homomorphisms and kernels of ordered BCI-algebras
, 2023 Recently Yang-Roh-Jun introduced the notion of ordered BCI-algebras as a generalization of BCI-algebras. They also introduced the notions of homomorphisms and kernels of ordered BCI-algebras and investigated related properties.
Jun, Young Bae +2 more
core