In this paper we define the monadic Pavelka algebras as algebraic structures induced by the action of quantifiers in Rational Pavelka predicate logic. The main result is a representation theorem for these structures. 1 C.S.Calude and G.Stefanescu (eds.). Automata, Logic, and Computability. Special issue dedicated to Professor Sergiu Rudeanu Festschrift
summary:In this note we deal with a question concerning monounary algebras which is analogous to an ...
The notion of a RM algebra, introduced recently, is a generalization of many other algebras of logic...
AbstractWe consider the notion of rationality in algebras with a designated binary associative opera...
Abstract: In this paper we dene themonadic Pavelka algebras as algebraic structures induced by the a...
We define and study monadic BL-algebras as pair of BL-algebras one of which is a special case of rel...
“Premodal structures” and “premodal algebras”, introduced in [5], are the result of an act of abstra...
An algebraic setting for the validity of Pavelka style completeness for some natural expansions of ...
Rational Pavelka Logic does not admit infinitesi-mals. We argue that infinitesimals are important in...
Abstract: In this paper, we introduce the language systems of propositional logic (LSPL), which invo...
summary:Some functional representation theorems for monadic $n$-valued Łukasiewicz algebras (qLk$_{n...
Representations of monadic MV-algebra, the characterization of locally finite monadic MV-algebras, w...
ABSTRACT. Categorical equivalences between the varieties of monadic (n+ 1)-valued MV-algebras and th...
summary:The concept of monadic MV-algebra was recently introduced by A. Di Nola and R. Grigolia as a...
This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regu...
It is shown how axiomatic specifications of Boolean Algebras with extra functions as well as proposi...
summary:In this note we deal with a question concerning monounary algebras which is analogous to an ...
The notion of a RM algebra, introduced recently, is a generalization of many other algebras of logic...
AbstractWe consider the notion of rationality in algebras with a designated binary associative opera...
Abstract: In this paper we dene themonadic Pavelka algebras as algebraic structures induced by the a...
We define and study monadic BL-algebras as pair of BL-algebras one of which is a special case of rel...
“Premodal structures” and “premodal algebras”, introduced in [5], are the result of an act of abstra...
An algebraic setting for the validity of Pavelka style completeness for some natural expansions of ...
Rational Pavelka Logic does not admit infinitesi-mals. We argue that infinitesimals are important in...
Abstract: In this paper, we introduce the language systems of propositional logic (LSPL), which invo...
summary:Some functional representation theorems for monadic $n$-valued Łukasiewicz algebras (qLk$_{n...
Representations of monadic MV-algebra, the characterization of locally finite monadic MV-algebras, w...
ABSTRACT. Categorical equivalences between the varieties of monadic (n+ 1)-valued MV-algebras and th...
summary:The concept of monadic MV-algebra was recently introduced by A. Di Nola and R. Grigolia as a...
This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regu...
It is shown how axiomatic specifications of Boolean Algebras with extra functions as well as proposi...
summary:In this note we deal with a question concerning monounary algebras which is analogous to an ...
The notion of a RM algebra, introduced recently, is a generalization of many other algebras of logic...
AbstractWe consider the notion of rationality in algebras with a designated binary associative opera...
DOI
Add to ORKG