13 found
Order:
Disambiguations
Sergio A. Celani [12]Sergio Arturo Celani [2]
  1.  16
    Complete and atomic Tarski algebras.Sergio Arturo Celani - 2019 - Archive for Mathematical Logic 58 (7-8):899-914.
    Tarski algebras, also known as implication algebras or semi-boolean algebras, are the \-subreducts of Boolean algebras. In this paper we shall introduce and study the complete and atomic Tarski algebras. We shall prove a duality between the complete and atomic Tarski algebras and the class of covering Tarski sets, i.e., structures \, where X is a non-empty set and \ is non-empty family of subsets of X such that \. This duality is a generalization of the known duality between sets (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  2.  49
    Classical Modal De Morgan Algebras.Sergio A. Celani - 2011 - Studia Logica 98 (1-2):251-266.
    In this note we introduce the variety $${{\mathcal C}{\mathcal D}{\mathcal M}_\square}$$ of classical modal De Morgan algebras as a generalization of the variety $${{{\mathcal T}{\mathcal M}{\mathcal A}}}$$ of Tetravalent Modal algebras studied in [ 11 ]. We show that the variety $${{\mathcal V}_0}$$ defined by H. P. Sankappanavar in [ 13 ], and the variety S of Involutive Stone algebras introduced by R. Cignoli and M. S de Gallego in [ 5 ], are examples of classical modal De Morgan algebras. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  24
    Distributive Lattices with a Negation Operator.Sergio Arturo Celani - 1999 - Mathematical Logic Quarterly 45 (2):207-218.
    In this note we introduce and study algebras of type such that is a bounded distributive lattice and ⌝ is an operator that satisfies the condition ⌝ = a ⌝ b and ⌝ 0 = 1. We develop the topological duality between these algebras and Priestley spaces with a relation. In addition, we characterize the congruences and the subalgebras of such an algebra. As an application, we will determine the Priestley spaces of quasi-Stone algebras.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  23
    Hilbert Algebras with a Modal Operator $${\diamond}$$ ◊.Sergio A. Celani & Daniela Montangie - 2015 - Studia Logica 103 (3):639-662.
    A Hilbert algebra with supremum is a Hilbert algebra where the associated order is a join-semilattice. This class of algebras is a variety and was studied in Celani and Montangie . In this paper we shall introduce and study the variety of $${H_{\Diamond}^{\vee}}$$ H ◊ ∨ -algebras, which are Hilbert algebras with supremum endowed with a modal operator $${\Diamond}$$ ◊ . We give a topological representation for these algebras using the topological spectral-like representation for Hilbert algebras with supremum given in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  41
    Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hernán J. San Martín - 2012 - Studia Logica 100 (1-2):91-114.
    In this paper we shall introduce the variety FWHA of frontal weak Heyting algebras as a generalization of the frontal Heyting algebras introduced by Leo Esakia in [ 10 ]. A frontal operator in a weak Heyting algebra A is an expansive operator τ preserving finite meets which also satisfies the equation $${\tau(a) \leq b \vee (b \rightarrow a)}$$, for all $${a, b \in A}$$. These operators were studied from an algebraic, logical and topological point of view by Leo Esakia (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  22
    On the Free Implicative Semilattice Extension of a Hilbert Algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
    Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well as a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Bounded Distributive Lattices with Strict Implication.Sergio A. Celani & Ramón Jansana Ferrer - 2005 - Mathematical Logic Quarterly 51 (3):219.
     
    Export citation  
     
    Bookmark   5 citations  
  8.  18
    N‐Linear Weakly Heyting Algebras.Sergio A. Celani - 2006 - Mathematical Logic Quarterly 52 (4):404-416.
    The present paper introduces and studies the variety [MATHEMATICAL SCRIPT CAPITAL W]ℋn of n-linear weakly Heyting algebras. It corresponds to the algebraic semantic of the strict implication fragment of the normal modal logic K with a generalization of the axiom that defines the linear intuitionistic logic or Dummett logic. Special attention is given to the variety [MATHEMATICAL SCRIPT CAPITAL W]ℋ2 that generalizes the linear Heyting algebras studied in [10] and [12], and the linear Basic algebras introduced in [2].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9. On the Free Implicative Semilattice Extension of a Hilbert Algebra.Sergio A. Celani & Ramón Jansana Ferrer - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
     
    Export citation  
     
    Bookmark  
  10.  20
    Properties of Saturation in Monotonic Neighbourhood Models and Some Applications.Sergio A. Celani - 2015 - Studia Logica 103 (4):733-755.
    In this paper we shall discuss properties of saturation in monotonic neighbourhood models and study some applications, like a characterization of compact and modally saturated monotonic models and a characterization of the maximal Hennessy-Milner classes. We shall also show that our notion of modal saturation for monotonic models naturally extends the notion of modal saturation for Kripke models.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    Subordination Tarski Algebras.Sergio A. Celani - 2019 - Journal of Applied Non-Classical Logics 29 (3):288-306.
    In this work we will study Tarski algebras endowed with a subordination, called subordination Tarski algebras. We will define the notion of round filters, and we will study the class of irreducible round filters and the maximal round filters, called ends. We will prove that the poset of all round filters is a lattice isomorphic to the lattice of the congruences that are compatible with the subordination. We will prove that every end is an irreducible round filter, and that in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Weak‐Quasi‐Stone Algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.
    In this paper we shall introduce the variety WQS of weak-quasi-Stone algebras as a generalization of the variety QS of quasi-Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬-lattices to give a duality for WQS. We prove that a weak-quasi-Stone algebra is characterized by a property of the set of its regular elements, as well by mean of some principal lattice congruences. We will also determine the simple and subdirectly (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  16
    Weak-Quasi-Stone Algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.
    In this paper we shall introduce the variety WQS of weak-quasi-Stone algebras as a generalization of the variety QS of quasi-Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬-lattices to give a duality for WQS. We prove that a weak-quasi-Stone algebra is characterized by a property of the set of its regular elements, as well by mean of some principal lattice congruences. We will also determine the simple and subdirectly (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark