All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 5 Next

Displaying 81 – 100 of 156

Showing per page

A topological duality for the F -chains associated with the logic C ω

Verónica Quiroga, Víctor Fernández (2017)

Mathematica Bohemica

In this paper we present a topological duality for a certain subclass of the F ω -structures defined by M. M. Fidel, which conform to a non-standard semantics for the paraconsistent N. C. A. da Costa logic C ω . Actually, the duality introduced here is focused on F ω -structures whose supports are chains. For our purposes, we characterize every F ω -chain by means of a new structure that we will call down-covered chain (DCC) here. This characterization will allow us to prove the dual equivalence between the...

A T-partial order obtained from T-norms

Funda Karaçal, M. Nesibe Kesicioğlu (2011)

Kybernetika

A partial order on a bounded lattice L is called t-order if it is defined by means of the t-norm on L . It is obtained that for a t-norm on a bounded lattice L the relation a ⪯ T b iff a = T ( x , b ) for some x ∈ L is a partial order. The goal of the paper is to determine some conditions such that the new partial order induces a bounded lattice on the subset of all idempotent elements of L and a complete lattice on the subset A of all elements of L which are the supremum of a subset of atoms.

About the equivalence of nullnorms on bounded lattice

M. Nesibe Kesicioğlu (2017)

Kybernetika

In this paper, an equivalence on the class of nullnorms on a bounded lattice based on the equality of the orders induced by nullnorms is introduced. The set of all incomparable elements w.r.t. the order induced by nullnorms is investigated. Finally, the recently posed open problems have been solved.

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm

Grzegorz Bancerek (2014)

Formalized Mathematics

Educational content for abstract reduction systems concerning reduction, convertibility, normal forms, divergence and convergence, Church- Rosser property, term rewriting systems, and the idea of the Knuth-Bendix Completion Algorithm. The theory is based on [1].

Aggregation of fuzzy vector spaces

Carlos Bejines (2023)

Kybernetika

This paper contributes to the ongoing investigation of aggregating algebraic structures, with a particular focus on the aggregation of fuzzy vector spaces. The article is structured into three distinct parts, each addressing a specific aspect of the aggregation process. The first part of the paper explores the self-aggregation of fuzzy vector subspaces. It delves into the intricacies of combining and consolidating fuzzy vector subspaces to obtain a coherent and comprehensive outcome. The second...

Aggregation operators from the ancient NC and EM point of view

Ana Pradera, Enric Trillas (2006)

Kybernetika

This paper deals with the satisfaction of the well-known Non-Contradiction (NC) and Excluded-Middle (EM) principles within the framework of aggregation operators. Both principles are interpreted in a non-standard way, based on self-contradiction (as in Ancient Logic) instead of falsity (as in Modern Logic). The logical negation is represented by means of strong negation functions, and conditions are given both for those aggregation operators that satisfy NC/EM with respect to (w.r.t.) some given...

Algebra of Polynomially Bounded Sequences and Negligible Functions

Hiroyuki Okazaki (2015)

Formalized Mathematics

In this article we formalize negligible functions that play an essential role in cryptology [10], [2]. Generally, a cryptosystem is secure if the probability of succeeding any attacks against the cryptosystem is negligible. First, we formalize the algebra of polynomially bounded sequences [20]. Next, we formalize negligible functions and prove the set of negligible functions is a subset of the algebra of polynomially bounded sequences. Moreover, we then introduce equivalence relation between polynomially...

Algebraic Approach to Algorithmic Logic

Grzegorz Bancerek (2014)

Formalized Mathematics

We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined. Propositional calculus and quantifier calculus with equality are explored according to [24]. A language is introduced with language signature including free variables, substitution, and equality. Algorithmic logic requires a bialgebra structure...

Algebraic axiomatization of tense intuitionistic logic

Ivan Chajda (2011)

Open Mathematics

We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction of these tense operators on complete relatively pseudocomplemented lattice which is a...

Algebraic Numbers

Yasushige Watase (2016)

Formalized Mathematics

This article provides definitions and examples upon an integral element of unital commutative rings. An algebraic number is also treated as consequence of a concept of “integral”. Definitions for an integral closure, an algebraic integer and a transcendental numbers [14], [1], [10] and [7] are included as well. As an application of an algebraic number, this article includes a formal proof of a ring extension of rational number field ℚ induced by substitution of an algebraic number to the polynomial...

Currently displaying 81 – 100 of 156