Add to ORKGThe aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical propositional logics in a unified way. In particular, we obtain completeness theorems for Moisil calculus, n-valued Łukasiewicz calculus and Nelson calculus. Furthermore we show some conservativeness results by these methods.Facultad de Ciencias Exacta
the canonical extension Aσ and the profinite completion A ̂ of algebras A with a bounded distributiv...
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and ...
A b s t r a c t. The purpose of this note is to expose a new way of viewing the canonical extension ...
In this paper we explain the link between the algebraic models and the Kripke-style models for cert...
In this paper we explain the link between the algebraic models and the Kripke-style models for certa...
The main goal of this paper is to explain the link between the algebraic and the Kripke-style models...
The main goal of this paper is to explain the link between the algebraic and the Kripke-style model...
Abstract This paper presents a unified account of a number of dual category equiva-lences of relevan...
In this thesis we present the results of our research on duality theory for non-classical logics und...
This paper presents a unified account of a number of dual category equivalences of relevance to the ...
This paper presents a unified account of a number of dual category equivalences of relevance to the ...
Abstract. In this paper we introduce the notion of generalized implication for lattices, as a binary...
Canonical extensions were first studied, in the context of Boolean algebras with operators (BAOs), i...
AbstractFrom a logical point of view, Stone duality for Boolean algebras relates theories in classic...
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propo...
the canonical extension Aσ and the profinite completion A ̂ of algebras A with a bounded distributiv...
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and ...
A b s t r a c t. The purpose of this note is to expose a new way of viewing the canonical extension ...
In this paper we explain the link between the algebraic models and the Kripke-style models for cert...
In this paper we explain the link between the algebraic models and the Kripke-style models for certa...
The main goal of this paper is to explain the link between the algebraic and the Kripke-style models...
The main goal of this paper is to explain the link between the algebraic and the Kripke-style model...
Abstract This paper presents a unified account of a number of dual category equiva-lences of relevan...
In this thesis we present the results of our research on duality theory for non-classical logics und...
This paper presents a unified account of a number of dual category equivalences of relevance to the ...
This paper presents a unified account of a number of dual category equivalences of relevance to the ...
Abstract. In this paper we introduce the notion of generalized implication for lattices, as a binary...
Canonical extensions were first studied, in the context of Boolean algebras with operators (BAOs), i...
AbstractFrom a logical point of view, Stone duality for Boolean algebras relates theories in classic...
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propo...
the canonical extension Aσ and the profinite completion A ̂ of algebras A with a bounded distributiv...
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and ...
A b s t r a c t. The purpose of this note is to expose a new way of viewing the canonical extension ...