scholarly journals Three-element non-finitely axiomatizable matrices and term-equivalence

2014 ◽  
Vol 0 (0) ◽  
Author(s):  
Katarzyna Pałasińska
Keyword(s):  
Term Equivalence

scholarly journals COMPUTATIONAL COMPLEXITY OF TERM-EQUIVALENCE

1999 ◽  
Vol 09 (01) ◽  
pp. 113-128 ◽  
Author(s):  
CLIFFORD BERGMAN ◽  
DAVID JUEDES ◽  
GIORA SLUTZKI
Keyword(s):  
Computational Complexity ◽  
Algebraic Structures ◽  
Exponential Time ◽  
Similarity Type ◽  
Finite Algebras ◽  
Term Equivalence

Two algebraic structures with the same universe are called term-equivalent if they have the same clone of term operations. We show that the problem of determining whether two finite algebras of finite similarity type are term-equivalent is complete for deterministic exponential time.

scholarly journals Content Management - Concept and Indexing Term Equivalence in a Multilingual Thesaurus

10.28945/2511 ◽  
2002 ◽  
Author(s):  
Susanna Keränen
Keyword(s):  
Information Science ◽  
Content Management ◽  
Controlled Vocabulary ◽  
Language And Culture ◽  
Term Equivalence ◽  
Data Collection And Analysis ◽  
Information Studies ◽  
Management Concept ◽  
Indexing Term

Languages and the thinking they reflect stem mainly from cultural needs for expression. A controlled vocabulary, thesaurus, can be seen as a cultural product. The focus of this study is the translatability of British-English social science indexing terms into Finnish language and culture on a conceptual, term and indexing term level. The emphasis is on Finnish language and human factors. The study is quantitative-qualitative and the perspectives are both linguistic and sociological - a combination through which a broader understanding of the phenomena is being aimed at in the general frame of information science. The study uses multiple cases aiming at theoretical replication. It is thus an empirical case study and the goal is to illustrate a new theory of “pragmatic indexing (term) equivalence”. Several data collection and analysis methods will be used in order to construct a theory by triangulation of evidence. The aim of this research is a doctoral thesis in information studies.

scholarly journals Injective and projective semimodules over involutive semirings

2021 ◽  
pp. 2250182
Author(s):  
Peter Jipsen ◽  
Sara Vannucci
Keyword(s):  
Crucial Role ◽  
Residuated Lattice ◽  
Residuated Lattices ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Term Equivalence ◽  
Involutive Residuated Lattice ◽  
Necessary And Sufficient ◽  
Mv Algebras

We show that the term equivalence between MV-algebras and MV-semirings lifts to involutive residuated lattices and a class of semirings called involutive semirings. The semiring perspective leads to a necessary and sufficient condition for the interval [Formula: see text] to be a subalgebra of an involutive residuated lattice, where [Formula: see text] is the dualizing element. We also import some results and techniques of semimodule theory in the study of this class of semirings, generalizing results about injective and projective MV-semimodules. Indeed, we note that the involution plays a crucial role and that the results for MV-semirings are still true for involutive semirings whenever the Mundici functor is not involved. In particular, we prove that involution is a necessary and sufficient condition in order for projective and injective semimodules to coincide.

On categorical equivalence of finite algebras generating arithmetical varieties

2003 ◽  
Vol 40 (4) ◽  
pp. 423-442 ◽  
Author(s):  
Kalle Kaarli
Keyword(s):  
Complete Characterization ◽  
Categorical Equivalence ◽  
Finite Algebras ◽  
Term Equivalence

This paper gives a complete characterization, up to categorical equivalence, and up to term equivalence, of finite algebras that have no proper subalgebras, have no isomorphic quotients, and generate arithmetical varieties.

Logic-term equivalence of program schemata

Cybernetics ◽  
1974 ◽  
Vol 8 (1) ◽  
pp. 5-28 ◽  
Author(s):  
V. �. Itkin
Keyword(s):  
Term Equivalence

scholarly journals On the concept of term equivalence

2015 ◽  
Vol 1 (1) ◽  
pp. 4-17
Author(s):  
Diana Yankova
Keyword(s):  
Legal Culture ◽  
Eu Legislation ◽  
Term Equivalence ◽  
The Eu

The article considers some terminological aspects in the process of harmonization of legislation reflecting on different approaches to the study of terms and especially to synonymy and term equivalence. The various mechanisms available to the translator are examined within the EU context and against the background of Bulgaria’s legal culture. The analysis is based on translations of EU legislation from English into Bulgarian and highlights felicitous choices and techniques employed, as well as recurring inconsistencies in the long and arduous process of approximation of legislation.

Sign in / Sign up

Export Citation Format

Share Document