Log in

Relevant bibliographies by topics / Values. Logic / Journal articles

To see the other types of publications on this topic, follow the link: Values. Logic.

Journal articles on the topic 'Values. Logic'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Values. Logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Gehrke, Mai, Carol Walker, and Elbert Walker. "A Mathematical Setting for Fuzzy Logics." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 05, no. 03 (1997): 223–38. http://dx.doi.org/10.1142/s021848859700021x.

Full text

Abstract:

The setup of a mathematical propositional logic is given in algebraic terms, describing exactly when two choices of truth value algebras give the same logic. The propositional logic obtained when the algebra of truth values is the real numbers in the unit interval equipped with minimum, maximum and -x=1-x for conjunction, disjunction and negation, respectively, is the standard propositional fuzzy logic. This is shown to be the same as three-valued logic. The propositional logic obtained when the algebra of truth values is the set {(a, b)|a≤ b and a,b∈[0,1]} of subintervals of the unit interval

APA, Harvard, Vancouver, ISO, and other styles

2

Boricic, Marija. "A note on entropy of logic." Yugoslav Journal of Operations Research 27, no. 3 (2017): 385–90. http://dx.doi.org/10.2298/yjor151025011b.

Full text

Abstract:

We propose an entropy based classification of propositional calculi. Our method can be applied to finite?valued propositional logics and then, extended asymptotically to infinite?valued logics. In this paper we consider a classification depending on the number of truth values of a logic and not on the number of its designated values. Furthermore, we believe that almost the same approach can be useful in classification of finite algebras.

APA, Harvard, Vancouver, ISO, and other styles

3

Manuel Dries. "On the Logic of Values." Journal of Nietzsche Studies, no. 39 (2010): 30. http://dx.doi.org/10.5325/jnietstud.39.1.0030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Godo, L., J. Jacas, and L. Valverde. "Fuzzy values in fuzzy logic." International Journal of Intelligent Systems 6, no. 2 (1991): 199–212. http://dx.doi.org/10.1002/int.4550060207.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Manuel Dries. "On the Logic of Values." Journal of Nietzsche Studies 39, no. 1 (2010): 30–50. http://dx.doi.org/10.1353/nie.0.0061.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Малиновский, Г. "Multiplying logical values." Logical Investigations 18 (May 3, 2012): 292–308. http://dx.doi.org/10.21146/2074-1472-2012-18-0-292-308.

Full text

Abstract:

The modern history of many-valuedness starts with Lukasiewicz’s construction of three-valued logic. This pioneering, philosophically motivated and matrix based construction, first presented in 1918, was in 1922 extended to n-valued cases, including two infinite ones. Soon several constructions of many-valued logic appeared and the history of the topic became rich and interesting. However, as it is widely known, the problem of interpretation of multiple values is still among vexed questions of contemporary logic. With the paper, which essentially groups my earlier settlements, from [3], [4], [7

APA, Harvard, Vancouver, ISO, and other styles

7

Skeggs, Bev. "Values beyond value? Is anything beyond the logic of capital?" British Journal of Sociology 65, no. 1 (2014): 1–20. http://dx.doi.org/10.1111/1468-4446.12072.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Hayes, J. P. "Digital Simulation with Multiple Logic Values." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 5, no. 2 (1986): 274–83. http://dx.doi.org/10.1109/tcad.1986.1270196.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

NAISH, LEE, and HARALD SØNDERGAARD. "Truth versus information in logic programming." Theory and Practice of Logic Programming 14, no. 6 (2013): 803–40. http://dx.doi.org/10.1017/s1471068413000069.

Full text

Abstract:

AbstractThe semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood but also for “undefined”. The three-valued semantics proposed by Fitting (Fitting, M. 1985. A Kripke–Kleene semantics for logic programs. Journal of Logic Programming 2, 4, 295–312) and Kunen (Kunen, K. 1987. Negation in logic programming. Journal of Logic Programming 4, 4, 289–308) are closely related to what is computed by a logic program, the third tru

APA, Harvard, Vancouver, ISO, and other styles

10

Odintsov, Sergei P., and Heinrich Wansing. "The Logic of Generalized Truth Values and the Logic of Bilattices." Studia Logica 103, no. 1 (2014): 91–112. http://dx.doi.org/10.1007/s11225-014-9546-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

ODINTSOV, SERGEI P., and STANISLAV O. SPERANSKI. "BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES." Review of Symbolic Logic 13, no. 2 (2019): 416–35. http://dx.doi.org/10.1017/s1755020319000121.

Full text

Abstract:

AbstractWe shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more precise, adding one of these constants has the effect of eliminating the respective value at the l

APA, Harvard, Vancouver, ISO, and other styles

12

Fitting, Melvin. "Logic Programming on a Topological Bilattice1." Fundamenta Informaticae 11, no. 2 (1988): 209–18. http://dx.doi.org/10.3233/fi-1988-11206.

Full text

Abstract:

We investigate the semantics of logic programming using a generalized space of truth values. These truth values may be thought of as evidences for and against – possibly incomplete or contradictory. The truth value spaces we use essentially have the structure of M. Ginsberg’s bilattices, and arise from topological spaces. The simplest example is a four-valued logic, previously investigated by N. Belnap. The theory of this special case properly contains that developed in earlier research by the author, on logic programming using Kleene’s three-valued logic.

APA, Harvard, Vancouver, ISO, and other styles

13

Puška, Adis, Sead Šadić, and Jasmin Stovrag. "Transformation of linguistic values in numerical values using fuzzy logic." Serbian Journal of Engineering Management 3, no. 2 (2018): 13–27. http://dx.doi.org/10.5937/sjem1802013p.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

SUBRAHMANIAN, V. S. "A RING-THEORETIC BASIS FOR LOGIC PROGRAMMING." International Journal of Foundations of Computer Science 01, no. 01 (1990): 23–48. http://dx.doi.org/10.1142/s0129054190000047.

Full text

Abstract:

Investigations into the semantics of logic programming have largely restricted themselves to the case when the set of truth values being considered is a complete lattice. While a few theorems have been obtained which make do with weaker structures, to our knowledge there is no semantical characterization of logic programming which does not require that the set of truth values be partially ordered. We derive here semantical results on logic programming over a space of truth values that forms a commutative pseudo-ring (an algebraic structure a bit weaker than a ring) with identity. This permits

APA, Harvard, Vancouver, ISO, and other styles

15

Ciuni, Roberto, Thomas Macaulay Ferguson, and Damian Szmuc. "Logics based on linear orders of contaminating values." Journal of Logic and Computation 29, no. 5 (2019): 631–63. http://dx.doi.org/10.1093/logcom/exz009.

Full text

Abstract:

AbstractA wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula $\varphi $, any complex formula in which $\varphi $ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating values. In this paper, we consider the countably infin

APA, Harvard, Vancouver, ISO, and other styles

16

Fitting, Melvin C. "Many-Valued Modal Logics." Fundamenta Informaticae 15, no. 3-4 (1991): 235–54. http://dx.doi.org/10.3233/fi-1991-153-404.

Full text

Abstract:

Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given for both versions, and soundness and completeness are established.

APA, Harvard, Vancouver, ISO, and other styles

17

Huat, Chua Beng. "Asian values: Restraining the logic of capitalism?" Social Semiotics 8, no. 2-3 (1998): 215–26. http://dx.doi.org/10.1080/10350339809360409.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Entemann, Carl W. "A fuzzy logic with interval truth values." Fuzzy Sets and Systems 113, no. 2 (2000): 161–83. http://dx.doi.org/10.1016/s0165-0114(98)00101-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Girle, Roderic A., and Jonathan McKeown-Green. "Methodological Issues for the Logic of Questions and Commands." International Journal of Cognitive Informatics and Natural Intelligence 6, no. 3 (2012): 1–18. http://dx.doi.org/10.4018/jcini.2012070101.

Full text

Abstract:

There has been much recent interest in logics for questions and commands. The authors approve, but they argue that methodological issues must be addressed, before it is possible to understand what such logics are for and what they should be like. In particular, the authors deny that the formulas in such logics correspond directly to sentences in ordinary language. Logic is not linguistics. What then are the semantics for the formulas of logics of questions and commands? The focus here is mostly on questions. The authors argue that logics designed to capture the conditions for correct reasoning

APA, Harvard, Vancouver, ISO, and other styles

20

Pynko, Alexej P. "Subprevarieties versus extensions. Application to the logic of paradox." Journal of Symbolic Logic 65, no. 2 (2000): 756–66. http://dx.doi.org/10.2307/2586567.

Full text

Abstract:

AbstractIn the present paper we prove that the poset of all extensions of the logic defined by a class of matrices whose sets of distinguished values are equationally definable by their algebra reducts is the retract, under a Galois connection, of the poset of all subprevarieties of the prevariety generated by the class of the algebra reducts of the matrices involved. We apply this general result to the problem of finding and studying all extensions of the logic of paradox (viz., the implication-free fragment of any non-classical normal extension of the relevance-mingle logic). In order to sol

APA, Harvard, Vancouver, ISO, and other styles

21

Pathak, Surendra Raj, and Raj Narayan Yadav. "A study on Contact Algebra by Browerian Logic." Amrit Research Journal 1, no. 1 (2020): 78–85. http://dx.doi.org/10.3126/arj.v1i1.32458.

Full text

Abstract:

There is a close relation between Boolean logic or two-valued logic and an electric di-contact algebra. Two-valued logic is concerned with propositions which are either true or false and which can be combined in various ways. Similarly, the switches of circuits are activated by contacts which, open or closed, can be combined in analogous ways. But there are positions which are not two-valued - a generalisation of truth values of a proposition leads to an n-valued logic. It is then natural to raise the query whether it is possible to generalise the notion of switching contact analogous to the g

APA, Harvard, Vancouver, ISO, and other styles

22

Hampton, Rosalind, and Michelle Hartman. "Whose values, who's valued?" Journal of Critical Race Inquiry 6, no. 1 (2019): 1–31. http://dx.doi.org/10.24908/jcri.v6i1.6997.

Full text

Abstract:

The first week of February 2014 saw the tragic deaths of two young people in Québec: Naïma Rharouity, a Muslim woman and mother of two who died following an accident in a metro station and Alain Magloire, a Black man and father of two killed by the Montreal police. Muslim women and Black men are racialized within Québec society in significantly different ways from one another, in life as in death. This article analyzes the reactions to and representations of these two deaths in the specific context of Québec and how they fit into heavily racialized scripts. A Muslim woman is strangled to death

APA, Harvard, Vancouver, ISO, and other styles

23

BOBILLO, FERNANDO, MIGUEL DELGADO, JUAN GÓMEZ-ROMERO, and UMBERTO STRACCIA. "JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 20, no. 04 (2012): 475–508. http://dx.doi.org/10.1142/s0218488512500249.

Full text

Abstract:

Ontologies have succeeded as a knowledge representation formalism in many domains of application. Nevertheless, they are not suitable to represent vague or imprecise information. To overcome this limitation, several extensions to classical ontologies based on fuzzy logic have been proposed. Even though different fuzzy logics lead to fuzzy ontologies with very different logical properties, the combined use of different fuzzy logics has received little attention to date. This paper proposes a fuzzy extension of the Description Logic [Formula: see text] — the logic behind the ontology language OW

APA, Harvard, Vancouver, ISO, and other styles

24

Непейвода, Н. Н. "Formalization as the Immanent Part of Logical Solving." Logical Investigations 24, no. 1 (2018): 129–45. http://dx.doi.org/10.21146/2074-1472-2018-24-1-129-145.

Full text

Abstract:

The work is devoted to the logical analysis of the problem solving by logical means. It starts from general characteristic of the applied logic as a tool: 1. to bound logic with its applications in theory and practice; 2. to import methods and methodologies from other domains into logic; 3. to export methods and methodologies from logic into other domains. The precise solving of a precisely stated logical problem occupies only one third of the whole process of solving real problems by logical means. The formalizing precedes it and the deformalizing follows it. The main topic when considering f

APA, Harvard, Vancouver, ISO, and other styles

25

Hansen, Lars. "On an algebra of lattice-valued logic." Journal of Symbolic Logic 70, no. 1 (2005): 282–318. http://dx.doi.org/10.2178/jsl/1107298521.

Full text

Abstract:

AbstractThe purpose of this paper is to present an algebraic generalization of the traditional two-valued logic. This involves introducing a theory of automorphism algebras, which is an algebraic theory of many-valued logic having a complete lattice as the set of truth values. Two generalizations of the two-valued case will be considered, viz., the finite chain and the Boolean lattice. In the case of the Boolean lattice, on choosing a designated lattice value, this algebra has binary retracts that have the usual axiomatic theory of the propositional calculus as suitable theory. This suitabilit

APA, Harvard, Vancouver, ISO, and other styles

26

Eriksson, Thérèse, Lars-Åke Levin, and Ann-Charlotte Nedlund. "Centrality and compatibility of institutional logics when introducing value-based reimbursement." Journal of Health Organization and Management 35, no. 9 (2021): 298–314. http://dx.doi.org/10.1108/jhom-01-2021-0010.

Full text

Abstract:

PurposeUsing financial incentives has been criticised for putting too much focus on things that can be measured. Value-based reimbursement may better align professional values with financial incentives. However, professional values may differ between actor groups. In this article, the authors identify institutional logics within healthcare-providing organisations. Further, the authors analyse how the centrality and compatibility of the identified logics affect the institutionalisation of external demands.Design/methodology/approach41 semi-structured interviews were conducted with representativ

APA, Harvard, Vancouver, ISO, and other styles

27

Bakhtiyarov, Kamil I. "The Logic of Self-Organized Criticality." Studia Humana 4, no. 3 (2015): 37–40. http://dx.doi.org/10.1515/sh-2015-0018.

Full text

Abstract:

Abstract A consideration of non-classical logic in terms of classical one allows us to show a role of designated truth values. In this way we show that our version of non-classical many-valued logic can be based on the structure of genetic code.

APA, Harvard, Vancouver, ISO, and other styles

28

HUET, GÉRARD. "Special issue on ‘Logical frameworks and metalanguages’." Journal of Functional Programming 13, no. 2 (2003): 257–60. http://dx.doi.org/10.1017/s0956796802004549.

Full text

Abstract:

There is both a great unity and a great diversity in presentations of logic. The diversity is staggering indeed – propositional logic, first-order logic, higher-order logic belong to one classification; linear logic, intuitionistic logic, classical logic, modal and temporal logics belong to another one. Logical deduction may be presented as a Hilbert style of combinators, as a natural deduction system, as sequent calculus, as proof nets of one variety or other, etc. Logic, originally a field of philosophy, turned into algebra with Boole, and more generally into meta-mathematics with Frege and

APA, Harvard, Vancouver, ISO, and other styles

29

Jackendoff, Ray. "The Peculiar Logic of Value." Journal of Cognition and Culture 6, no. 3-4 (2006): 375–407. http://dx.doi.org/10.1163/156853706778554922.

Full text

Abstract:

AbstractA system of values plays an important intermediary role in the human conceptual system. An individual associates a value – an abstract valence and quantity – with a past, present, or contemplated object or action in the environment, and uses values to help determine what actions to take. Value can be categorized into a number of different types, the most important of which for the purposes of the present article are affective value (how good the action is for someone), normative value (how good the action is of someone), and esteem (how good a reputation someone has). Normative value i

APA, Harvard, Vancouver, ISO, and other styles

30

Evans, R., M. Sergot, and A. Stephenson. "Formalizing Kant’s Rules." Journal of Philosophical Logic 49, no. 4 (2019): 613–80. http://dx.doi.org/10.1007/s10992-019-09531-x.

Full text

Abstract:

AbstractThis paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These acts are not propositions; they do not have truth-values. Our formalization is related to the

APA, Harvard, Vancouver, ISO, and other styles

31

Schumann, Andrew. "Logical Determinacy versus Logical Contingency. The Case of Łukasiewicz’s Three-valued Logic." Studia Humana 8, no. 2 (2019): 8–15. http://dx.doi.org/10.2478/sh-2019-0012.

Full text

Abstract:

Abstract 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. In this system, we have the following truth values: 0 (‘possibly false), 1 (‘necessarily false’), 2 (‘possibly true’), 3 (‘necessarily true’), where the designated truth value is represented by the two values: 2 and 3.

APA, Harvard, Vancouver, ISO, and other styles

32

OTSUKA, Kazuhiko, Masashi EMOTO, and Masao MUKAIDONO. "Properties of Trapezoid Truth Values in Fuzzy Logic." Journal of Japan Society for Fuzzy Theory and Systems 11, no. 2 (1999): 338–46. http://dx.doi.org/10.3156/jfuzzy.11.2_154.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Takagi, N., and K. Nakashima. "Discrete interval truth values logic and its application." IEEE Transactions on Computers 49, no. 3 (2000): 219–29. http://dx.doi.org/10.1109/12.841126.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Svensson, Bengt E. Y. "Quantum Weak Values and Logic: An Uneasy Couple." Foundations of Physics 47, no. 3 (2017): 430–52. http://dx.doi.org/10.1007/s10701-017-0068-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Kumar, Sameer, Thomas Ressler, and Mark Ahrens. "Systems thinking, a consilience of values and logic." Human Systems Management 24, no. 4 (2005): 259–74. http://dx.doi.org/10.3233/hsm-2005-24402.

Full text

Abstract:

This article is an appeal to incorporate qualitative reasoning into quantitative topics and courses, especially those devoted to decision-making offered in colleges and universities. Students, many of whom join professional workforce, must become more systems thinkers and decision-makers than merely problem-solvers. This will entail discussion of systems thinking, not just reaching “the answer”. Managers will need to formally and forcefully discuss objectives and values at each stage of the problem-solving process – at the start, during the problem-solving stage, and at the interpretation of t

APA, Harvard, Vancouver, ISO, and other styles

36

Filiot, Emmanuel, Nicolas Mazzocchi, and Jean-François Raskin. "A Pattern Logic for Automata with Outputs." International Journal of Foundations of Computer Science 31, no. 06 (2020): 711–48. http://dx.doi.org/10.1142/s0129054120410038.

Full text

Abstract:

We introduce a logic to express structural properties of automata with string inputs and, possibly, outputs in some monoid. In this logic, the set of predicates talking about the output values is parametric. We then consider three particular automata models (finite automata, transducers and automata weighted by integers here called sum-automata) and instantiate the generic logic for each of them. We give tight complexity results for the three logics with respect to the model-checking problem, depending on whether the formula is fixed or not. We study the expressiveness of our logics by express

APA, Harvard, Vancouver, ISO, and other styles

37

Kamide, Norihiro. "Inconsistency-Tolerant Multi-Agent Calculus." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 22, no. 06 (2014): 815–29. http://dx.doi.org/10.1142/s0218488514500433.

Full text

Abstract:

Verifying and specifying multi-agent systems in an appropriate inconsistency-tolerant logic are of growing importance in Computer Science since computer systems are generally used by or composed of inconsistency-tolerant multi-agents. In this paper, an inconsistency-tolerant logic for representing multi-agents is introduced as a Gentzen-type sequent calculus. This logic (or calculus) has multiple negation connectives that correspond to each agent, and these negation connectives have the property of paraconsistency that guarantees inconsistency-tolerance. The logic proposed is regarded as a mod

APA, Harvard, Vancouver, ISO, and other styles

38

Gargov, George. "An Approach to Uncertainty via Sets of Truth Values." Notre Dame Journal of Formal Logic 36, no. 2 (1995): 235–68. http://dx.doi.org/10.1305/ndjfl/1040248457.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Bailhache, Patrice, and Sven Ove Hansson. "The Structure of Values and Norms." Bulletin of Symbolic Logic 8, no. 4 (2002): 531. http://dx.doi.org/10.2307/797962.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Gutiérrez García, J., and M. A. de Prada Vicente. "Characteristic values of -filters." Fuzzy Sets and Systems 156, no. 1 (2005): 55–67. http://dx.doi.org/10.1016/j.fss.2005.04.012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Duer, Stanisław, Dariusz Bernatowicz, Paweł Wrzesień, and Radosław Duer. "Diagnosing of a complex technical object in four-valued logic." Bulletin of the Military University of Technology 67, no. 1 (2018): 33–42. http://dx.doi.org/10.5604/01.3001.0011.8018.

Full text

Abstract:

This paper presents the essence of an investigation of a complex technical object with the use of four-valued logic. To this end, an intelligent diagnostic system (DIAG 2) is described. A special feature of this system was its capability of inferring k at {k = 4, 3, 2}, in which case the logic {k = 4} is applied. An important part of this work was to present the theoretical foundations describing the essence of inference in the four-valued logic contemplated. It was also pointed out that the basis for classification of states in the multiple-valued logic of the diagnostic system (DIAG 2) was t

APA, Harvard, Vancouver, ISO, and other styles

42

Jamroga, Wojciech, Beata Konikowska, Damian Kurpiewski, and Wojciech Penczek. "Multi-valued Verification of Strategic Ability." Fundamenta Informaticae 175, no. 1-4 (2020): 207–51. http://dx.doi.org/10.3233/fi-2020-1955.

Full text

Abstract:

Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distributed databases, and verification methods that use incomplete anytime algorithms, such as bounded model checking. In this paper, we present multi-valued alternating-time temporal logic ( mv-ATL → ∗ ), an expressive logic to specify strategic abilities in multi-agent systems. It is well known that, for branchingtime logics, a general method for mod

APA, Harvard, Vancouver, ISO, and other styles

43

Lu, Benny C., Anita Koo, and Ngai Pun. "Attempting to transgress neoliberal value: Constructing a micro-foundation of social values of working-class youth in vocational schools in China." Sociological Review 67, no. 5 (2019): 1050–65. http://dx.doi.org/10.1177/0038026119845552.

Full text

Abstract:

In contrast to the existing argument that the logic of capital has monetised almost every aspect of human relationships to the realm of exchange value, this article explores the social values that are practised by Chinese working-class youth as an alternative form of agency and everyday practice. Instead of understanding social values as a realm of value operating entirely outside the logic of exchange value, this article takes social values as the constitutive other of exchange value embodied in the neoliberalised form of capitalism. It attempts to develop a micro-foundation of social values

APA, Harvard, Vancouver, ISO, and other styles

44

Delon, Francoise. "Extensions Separees et Immediates de Corps Values." Journal of Symbolic Logic 53, no. 2 (1988): 421. http://dx.doi.org/10.2307/2274514.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Schang, Fabien. "The Football of Logic." Studia Humana 6, no. 1 (2017): 50–60. http://dx.doi.org/10.1515/sh-2017-0006.

Full text

Abstract:

Abstract An analogy is made between two rather different domains, namely: logic, and football (or soccer). Starting from a comparative table between the two activities, an alternative explanation of logic is given in terms of players, ball, goal, and the like. Our main thesis is that, just as the task of logic is preserving truth from premises to the conclusion, footballers strive to keep the ball as far as possible until the opposite goal. Assuming this analogy may help think about logic in the same way as in dialogical logic, but it should also present truth-values in an alternative sense of

APA, Harvard, Vancouver, ISO, and other styles

46

Li, Wei, and Yuefei Sui. "Multisequent Gentzen Deduction Systems For B₂ ²-Valued First-Order Logic." Artificial Intelligence Research 7, no. 1 (2018): 53. http://dx.doi.org/10.5430/air.v7n1p53.

Full text

Abstract:

For the four-element Boolean algebra B22, a multisequent Г|Δ|∑|∏ is a generalization of sequent Г→Δ in traditional B22 valued first-order logic. By defining the truth-values of quantified formulas, a Gentzen deduction system G22 for B22-valued first-order logic will be built and its soundness and completeness theorems will be proved.

APA, Harvard, Vancouver, ISO, and other styles

47

MEEHAN, GARY, and MIKE JOY. "Animated fuzzy logic." Journal of Functional Programming 8, no. 5 (1998): 503–25. http://dx.doi.org/10.1017/s0956796898003177.

Full text

Abstract:

In this paper we aim to give an introduction to fuzzy logic using the language Haskell to implement our solutions. We shall see how the high-level, declarative nature of a functional language allows us to implement easily and efficiently solutions to problems using fuzzy logic and, in particular, how the presence of functions as first-class values allows us to model the key concept of the fuzzy subset in a natural way.

APA, Harvard, Vancouver, ISO, and other styles

48

SAKAI, HIROSHI, and AKIMICHI OKUMA. "ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 08, no. 01 (2000): 73–92. http://dx.doi.org/10.1142/s021848850000006x.

Full text

Abstract:

We are now touching a problem how we add soft computing aspects to logic programming and we have been discussing null attribute values on logic programs. Here, we introduce two functors setu and sets into logic programs for describing indefinite attribute values explicitly. Every logic program with setu or sets has variability and tolerance in itself, namely this program expresses a set of possible definite logic programs. We call this program a variational logic program. In this paper, we show the variational logic programs and a theorem prover for them.

APA, Harvard, Vancouver, ISO, and other styles

49

Ohirko, Ihor, and Zinovii Partyko. "LOGIC OF RELATIVITY." Bulletin of Taras Shevchenko National University of Kyiv. Philosophy, no. 4 (2021): 42–52. http://dx.doi.org/10.17721/2523-4064.2021/4-4/12.

Full text

Abstract:

The problem of the truth of statements is considered. This study had the goal to develop a logical theory that would allow considering the context (the paradigm) from which would depend on the truth of the statement. For the development of such a theory, called the logic of relativity, the following methods of research are used as abstraction, analysis (traditional), synthesis, deduction, formalisation, axiomatisation, logical method. In order to develop the logic of relativity, it is expedient to use the achievements in the area of situational logic. Under the situation, it is proposed to und

APA, Harvard, Vancouver, ISO, and other styles

50

Kuzmin, Evgeny A. "Logic of Interval Uncertainty." Modern Applied Science 8, no. 5 (2014): 152. http://dx.doi.org/10.5539/mas.v8n5p152.

Full text

Abstract:

The scientific category of uncertainty refers to that group of terms, an interpretation of which is not unambiguous and exact. In non-eliminability of the category soft content barrier there is an objective transition to the interval uncertainty. This research is an attempt to solve the issue of estimating the interval uncertainty based on methods of a logical analysis and a comparison. The approach presented by the paper is opposed to known methods of a mechanical selection of values following a given function. In the course of the research, there has been introduced a concept of the “tenvers

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!