18 found
Order:
Disambiguations
Sergio A. Celani [12]Sergio Celani [6]Sergio Arturo Celani [2]
See also
  1.  35
    A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
    In the present paper we study systematically several consequence relations on the usual language of propositional intuitionistic logic that can be defined semantically by using Kripke frames and the same defining truth conditions for the connectives as in intuitionistic logic but without imposing some of the conditions on the Kripke frames that are required in the intuitionistic case. The logics so obtained are called subintuitionistic logics in the literature. We depart from the perspective of considering a logic just as a (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  2.  36
    Bounded Distributive Lattices with Strict Implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
    The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be applied to the study of the subvarieties of WH; among them are the varieties determined by the strict implication fragments of normal modal logics as well as varieties that do not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  42
    A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
    In the present paper we study systematically several consequence relations on the usual language of propositional intuitionistic logic that can be defined semantically by using Kripke frames and the same defining truth conditions for the connectives as in intuitionistic logic but without imposing some of the conditions on the Kripke frames that are required in the intuitionistic case. The logics so obtained are called subintuitionistic logics in the literature. We depart from the perspective of considering a logic just as a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  4.  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  
  5.  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  
  6.  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  
  7.  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  
  8.  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  
  9.  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  
  10. 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  
  11. 10. Lógica y Computabilidad.Sergio Celani, Daniela Montangie & Álgebras de Hilbert Modales - 2001 - Journal of Symbolic Logic 66:1620-1636.
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  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  
  13. 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  
  14.  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  
  15.  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  
  16.  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  
  17.  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  
  18.  5
    Monotonic modal logics with a conjunction.Paula Menchón & Sergio Celani - 2021 - Archive for Mathematical Logic 60 (7):857-877.
    Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Since many of the most studied selfextensional logics have a conjunction, in this paper we study some distributive extensions obtained from a semilattice based deductive system with monotonic modal operators, and we give them neighborhood and algebraic semantics. For each logic defined our main objective is to prove completeness with respect to its characteristic class of monotonic frames.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark