Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Castiglioni, José L." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Errata on “On the Variety of Heyting Algebras with Successor Generated by all Finite Chains”
    Autorzy:
    Castiglioni, José L.
    San Martín, Hernán J.
    Powiązania:
    https://bibliotekanauki.pl/articles/1368616.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Opis:
    Errata on “On the Variety of Heyting Algebras with Successor Generated by all Finite Chains”
    Źródło:
    Reports on Mathematical Logic; 2013, 48; 117-120
    0137-2904
    2084-2589
    Pojawia się w:
    Reports on Mathematical Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On Frontal Heyting Algebras
    Autorzy:
    Castiglioni, José L.
    Sagastume, Marta S.
    San Martín, Hernán J.
    Powiązania:
    https://bibliotekanauki.pl/articles/1368500.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Opis:
    A frontal operator in a Heyting algebra is an expansive operator preserving finite meets which also satisfies the equation $\tau(\x) \le y \vee (y\rightarrow x)$. A frontal Heyting algebra is a pair $(H,\tau)$, where $H$ is a Heyting algebra and $\tau$ a frontal operator on $H$. Frontal operators are always compatible, but not necessarily new or implicit in the sense of Caicedo and Cignoli (An algebraic approach to intuitionistic connectives. Journal of Symbolic Logic, 66, No4 (2001), 1620-1636). Classical examples of new implicit frontal operators are the functions $\gamma$, (op. cit., Example 3.1), the successor (op. cit., Example 5.2), and Gabbay’s operation (op. cit., Example 5.3). We study a Priestley duality for the category of frontal Heyting algebras and in particular for the varieties of Heyting algebras with each one of the implicit operations given as examples. The topological approach of the compatibility of operators seems to be important in the research of affin completeness of Heyting algebras with additional compatible operations. This problem have also a logical point of view. In fact, we look for some complete propositional intuitionistic calculus enriched with implicit connectives.
    Źródło:
    Reports on Mathematical Logic; 2010, 45; 201-224
    0137-2904
    2084-2589
    Pojawia się w:
    Reports on Mathematical Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the Variety of Heyting Algebras with Successor Generated by All Finite Chains
    Autorzy:
    Castiglioni, José L.
    San Martín, Hernán J.
    Powiązania:
    https://bibliotekanauki.pl/articles/1368529.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Opis:
    Contrary to the variety of Heyting algebras, finite Heyting algebras with successor only generate a proper subvariety of that of all Heyting algebras with successor. In particular, all finite chains generate a proper subvariety, $SLH_\omega$, of the latter. There is a categorical duality between Heyting algebras with successor and certain Priestley spaces. Let $X$ be the Heyting space associated by this duality to the Heyting algebra with successor $H$. If there is an ordinal $\kappa$ and a filtration on $X$ such that $X=\cup_{\lambda\le\kappa} X_\lambda$, the height of $X$ is the minimun ordinal $\xi\le\kappa$ such that $X_xi^c = \emptyset$. In this case, we also say that $H$ has height $\xi$. This filtration allows us to write the space $X$ as a disjoint union of antichains. We may think that these antichains define levels on this space. We study the way of characterize subalgebras and homomorphic images in finite Heyting algebras with successor by means of their Priestley spaces. We also depict the spaces associated to the free algebras in various subcategories of $SLH_\omega$.
    Źródło:
    Reports on Mathematical Logic; 2010, 45; 225-248
    0137-2904
    2084-2589
    Pojawia się w:
    Reports on Mathematical Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies