On Algorithms Related to Expressibility of Functions of Diagonalizable Algebras

Rusu Andrei; Rusu Elena

Articolul precedent

Articolul urmator

378

Ultima descărcare din IBN:
2023-12-02 16:21

SM ISO690:2012

RUSU, Andrei, RUSU, Elena. On Algorithms Related to Expressibility of Functions of Diagonalizable Algebras. In: Studies in Fuzziness and Soft Computing, 5 aprilie 2021, Berlin. Berlin, Germania: Springer Science and Business Media Deutschland GmbH, 2021, pp. 257-277. ISSN 1434-9922. DOI: https://doi.org/10.1007/978-3-030-61334-1_13

EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core

Studies in Fuzziness and Soft Computing 2021

Conferința "Studies in Fuzziness and Soft Computing"
Berlin, Germania, 5 aprilie 2021

On Algorithms Related to Expressibility of Functions of Diagonalizable Algebras

DOI:https://doi.org/10.1007/978-3-030-61334-1_13

Pag. 257-277

Rusu Andrei¹², Rusu Elena³

¹ Ovidius University, Constanța,
² Vladimir Andrunachievici Institute of Mathematics and Computer Science,
³ Technical University of Moldova

Disponibil în IBN: 7 aprilie 2021

Descarcă PDF

Rezumat

It is well known the connection of diagonalizable algebras with propositional provability logics. The notion of expressibility of functions and related algorithmic problems is very well studied in the case of boolean functions. We propose and analyse algorithms for detecting functional expressibility of functions of a 4-valued diagonalizable algebra and examine other problems connected to iterative algebras based on diagonalizable algebras.

Crossref XML Export

<?xml version='1.0' encoding='utf-8'?>
<doi_batch version='4.3.7' xmlns='http://www.crossref.org/schema/4.3.7' xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' xsi:schemaLocation='http://www.crossref.org/schema/4.3.7 http://www.crossref.org/schema/deposit/crossref4.3.7.xsd'>
<head>
<doi_batch_id>ibn-126802</doi_batch_id>
<timestamp>1714278315</timestamp>
<depositor>
<depositor_name>Information Society Development Instiute, Republic of Moldova</depositor_name>
<email_address>idsi@asm.md</email_address>
</depositor>
</head>
<body>
<collection>
<collection_metadata>
<full_title>Studies in Fuzziness and Soft Computing</full_title>
<issn media_type='print'>1434-9922</issn>
</collection_metadata>
<collection_issue>
<publication_date media_type='print'>
<year>2021</year>
</publication_date>
</collection_issue>
<collection_article publication_type='full_text'><titles>
<title>On Algorithms Related to Expressibility of Functions of Diagonalizable Algebras</title>
</titles>
<contributors>
<person_name sequence='first' contributor_role='author'>
<given_name>Andrei</given_name>
<surname>Rusu</surname>
</person_name>
<person_name sequence='additional' contributor_role='author'>
<given_name>Elena</given_name>
<surname>Rusu</surname>
</person_name>
</contributors>
<publication_date media_type='print'>
<year>2021</year>
</publication_date>
<pages>
<first_page>257</first_page>
<last_page>277</last_page>
</pages>
<doi_data>
<doi>10.1007/978-3-030-61334-1_13</doi>
<resource>http://www.crossref.org/</resource>
</doi_data>
</collection_article>
</collection>
</body>
</doi_batch>