Results 31 to 40 of about 74,540 (198)
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Bulletin of the Section of Logic, 2022 The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo +1 more
doaj +1 more source
A Linguistic-Valued Approximate Reasoning Approach for Financial Decision Making
International Journal of Computational Intelligence Systems, 2017 In order to process the linguistic-valued information with uncertainty in the financial decision- making, the present work uses a lattice-valued logical algebra - lattice implication algebra to deal with both comparable and incomparable linguistic truth ...
Xin Liu, Ying Wang, Xiaonan Li, Li Zou
doaj +1 more source
Canonical Completeness in Lattice-Based Languages for Attribute-Based Access Control [PDF]
, 2017 The study of canonically complete attribute-based access control (ABAC) languages is relatively new. A canonically complete language is useful as it is functionally complete and provides a "normal form" for policies. However, previous work on canonically
Crampton, Jason, Williams, Conrad
core +2 more sources
Abstraction Logic: A New Foundation for (Computer) Mathematics [PDF]
arXiv, 2022 Abstraction logic is a new logic, serving as a foundation of mathematics. It combines features of both predicate logic and higher-order logic: abstraction logic can be viewed both as higher-order logic minus static types as well as predicate logic plus operators and variable binding.
arxiv
Interval-valued algebras and fuzzy logics [PDF]
, 2010 In this chapter, we present a propositional calculus for several interval-valued fuzzy logics, i.e., logics having intervals as truth values. More precisely, the truth values are preferably subintervals of the unit interval.
Cornelis, Chris +2 more
core +2 more sources
arXiv, 2023 Logic really is just algebra, given one uses the right kind of algebra, and the right kind of logic. The right kind of algebra is abstraction algebra, and the right kind of logic is abstraction logic.
arxiv
Extending uncertainty formalisms to linear constraints and other complex formalisms [PDF]
, 2012 Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalisms to this situation, as their representation of the underlying logic ...
Wilson, Nic
core +1 more source
On the enumeration of maximal infinitely-generated classes of 01-functions in three-valued logic
Известия высших учебных заведений. Поволжский регион: Физико-математические науки, 2021 Background. The superposition operation is the main operation in the study of multivalued logic functions. On the basis of this operation, classifications of multivalued logic functions are defined, which allow to solve important problems of ...
S.S. Marchenkov
doaj +1 more source
On an algebra of lattice-valued logic
Journal of Symbolic Logic, 2005 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.
openaire +3 more sources
Pawlak, Belnap and the magical number seven
, 2023 We are considering the algebraic structure of the Pawlak-Brouwer-Zadeh lattice to distinguish vagueness due to imprecision from ambiguity due to coarseness.
Greco, Salvatore, Slowinski, Roman
core