English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The study of the theory of operators over modal pseudocomplemented De Morganalgebras was begun in the papers [15] and [16]. In this paper, we introduce andstudy the class of modal pseudocomplemented De Morgan algebras enriched by anautomorphism k-periodic (or Ck-algebras) where k is a positive integer; for k =2 the class coincides with the one studied in [15] where the automorphism worksas a new unary operator. In the first place, we prove the class Ck-algebras isa semisimple variety and we determine the generating algebras. Afterwards, wecalculate the cardinality of the free Ck-algebra with n generator. After thealgebraic study, we built two sentential logics that have as algebraiccounterpart the class of Ck-algebras that we denote L<k and Lk for every k. Lkis a 1-assertional logic and L<k is the degree-preserving logic both associatedwith the class of Ck-algebras. Working over these logics, we prove that L<k isparaconsistent, which is protoalgebraic and finitely equivalential but notalgebraizable. In contrast, we prove that Lk is algebraizable, sharing the sametheorem with L<k, but not paraconsistent.

Sentential logics based on k-cyclic modal pseudocomplemented De Morgan algebras