Add to ORKGThe main goal of this paper is to show that the Priestley duality for SHn-algebras can help to establish a link between the algebraic and Kripke-style semantics for SHn-logics. We present a Priestley duality theorem for SHn-algebras, and note that the dual space of an SHn-algebra satisfies in particular the properties of a Kripke model for SHn-logics. We then show that Priestley duality can help in proving the soundness and completeness of SHn-logics with respect to the class of SHn-frames in a direct way, by using only soundness and completeness of SHn-logics with respect to the variety of SHn-algebras
We consider the families of propositional superintuitionistic logics (s.i.l.) and NE(K) of normal m...
AbstractFrom a logical point of view, Stone duality for Boolean algebras relates theories in classic...
Płonka sums consist of an algebraic construction similar, in some sense, to direct limits, which all...
The main goal of this paper is to show that the Priestley duality for SHn-algebras can help to estab...
The main goal of this paper is to show that the Priestley duality for SHn-algebras can help to esta...
In this work we consider a new class of algebra called k-cyclic SHn-algebra (A, T) where A is an SHn...
In this paper we explain the link between the algebraic models and the Kripke-style models for certa...
In this paper we compare the vari-ety of SMV-algebras with the class of Kripke models introduced in ...
The main goal of this paper is to explain the link between the algebraic and the Kripke-style models...
In \cite{Celani} it was introduced the variety of $\lnot$-lattices as bounded distributive lattice ...
The main goal of this paper is to present a method for translation to clause form in finitely-valued...
We present a new Priestley-style topological dual-ity for bounded N4-lattices, which are the algebra...
We present an investigation of duality in the traditional logical manner. We extend Nelson's s...
International audienceAbstract We provide a new perspective on extended Priestley duality for a larg...
extended abstract Viorica Sofronie-Stokkermans1 Abstract. The main goal of this paper is to present ...
We consider the families of propositional superintuitionistic logics (s.i.l.) and NE(K) of normal m...
AbstractFrom a logical point of view, Stone duality for Boolean algebras relates theories in classic...
Płonka sums consist of an algebraic construction similar, in some sense, to direct limits, which all...
The main goal of this paper is to show that the Priestley duality for SHn-algebras can help to estab...
The main goal of this paper is to show that the Priestley duality for SHn-algebras can help to esta...
In this work we consider a new class of algebra called k-cyclic SHn-algebra (A, T) where A is an SHn...
In this paper we explain the link between the algebraic models and the Kripke-style models for certa...
In this paper we compare the vari-ety of SMV-algebras with the class of Kripke models introduced in ...
The main goal of this paper is to explain the link between the algebraic and the Kripke-style models...
In \cite{Celani} it was introduced the variety of $\lnot$-lattices as bounded distributive lattice ...
The main goal of this paper is to present a method for translation to clause form in finitely-valued...
We present a new Priestley-style topological dual-ity for bounded N4-lattices, which are the algebra...
We present an investigation of duality in the traditional logical manner. We extend Nelson's s...
International audienceAbstract We provide a new perspective on extended Priestley duality for a larg...
extended abstract Viorica Sofronie-Stokkermans1 Abstract. The main goal of this paper is to present ...
We consider the families of propositional superintuitionistic logics (s.i.l.) and NE(K) of normal m...
AbstractFrom a logical point of view, Stone duality for Boolean algebras relates theories in classic...
Płonka sums consist of an algebraic construction similar, in some sense, to direct limits, which all...