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ę "algebraic logic" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    What Is the Sense in Logic and Philosophy of Language
    Autorzy:
    Wybraniec-Skardowska, Urszula
    Powiązania:
    https://bibliotekanauki.pl/articles/749864.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    categorisation
    denotation
    logic and philosophy of language
    categorial language
    syntactic and semantic senses
    intensional semantics
    meaning
    extensional semantics
    syntactic and semantic compatibility
    algebraic models
    truth
    structural compatibility
    compositionality
    language communication
    Opis:
    In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions.
    Źródło:
    Bulletin of the Section of Logic; 2020, 49, 2
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Weak products of universal algebras
    Autorzy:
    Sain, Ildikó
    Powiązania:
    https://bibliotekanauki.pl/articles/1361096.pdf
    Data publikacji:
    1993
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    universal algebra
    algebraic logic
    cylindric algebras
    Opis:
    Weak direct products of arbitrary universal algebras are introduced. The usual notion for groups and rings is a special case. Some universal algebraic properties are proved and applications to cylindric and polyadic algebras are considered.
    Źródło:
    Banach Center Publications; 1993, 28, 1; 311-318
    0137-6934
    Pojawia się w:
    Banach Center Publications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Variable Sharing in Substructural Logics: an Algebraic Characterization
    Autorzy:
    Badia, Guillermo
    Powiązania:
    https://bibliotekanauki.pl/articles/750042.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    relevant logic
    algebraic characterizations of logical properties
    variable sharing property
    substructural logics
    Opis:
    We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 2
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the Leibniz congruences
    Autorzy:
    Font, Josep
    Powiązania:
    https://bibliotekanauki.pl/articles/1361077.pdf
    Data publikacji:
    1993
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    deductive system
    protoalgebraic logic
    Gentzen calculus
    closure operator
    abstract logic
    algebraizable logic
    Leibniz congruence
    selfextensional logic
    logical matrices
    algebraic logic
    Opis:
    The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability relation modulo the theory). For protoalgebraic deductive systems the class of algebras associated in general turns out to be the class of algebra reducts of reduced matrices, which is the algebraic counterpart usually considered for this large class of deductive systems; but in the general case the new class of algebras shows a better behaviour.
    Źródło:
    Banach Center Publications; 1993, 28, 1; 17-36
    0137-6934
    Pojawia się w:
    Banach Center Publications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
    Autorzy:
    Sayed Ahmed, Tarek
    Powiązania:
    https://bibliotekanauki.pl/articles/2033851.pdf
    Data publikacji:
    2021-07-21
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Algebraic logic
    relation algebras
    cylindric algebras
    polyadic algebras
    complete representations
    Opis:
    Fix a finite ordinal \(n\geq 3\) and let \(\alpha\) be an arbitrary ordinal. Let \(\mathsf{CA}_n\) denote the class of cylindric algebras of dimension \(n\) and \(\sf RA\) denote the class of relation algebras. Let \(\mathbf{PA}_{\alpha}(\mathsf{PEA}_{\alpha})\) stand for the class of polyadic (equality) algebras of dimension \(\alpha\). We reprove that the class \(\mathsf{CRCA}_n\) of completely representable \(\mathsf{CA}_n\)s, and the class \(\sf CRRA\) of completely representable \(\mathsf{RA}\)s are not elementary, a result of Hirsch and Hodkinson. We extend this result to any variety \(\sf V\) between polyadic algebras of dimension \(n\) and diagonal free \(\mathsf{CA}_n\)s. We show that that the class of completely and strongly representable algebras in \(\sf V\) is not elementary either, reproving a result of Bulian and Hodkinson. For relation algebras, we can and will, go further. We show the class \(\sf CRRA\) is not closed under \(\equiv_{\infty,\omega}\). In contrast, we show that given \(\alpha\geq \omega\), and an atomic \(\mathfrak{A}\in \mathsf{PEA}_{\alpha}\), then for any \(n<\omega\), \(\mathfrak{Nr}_n\mathfrak{A}\) is a completely representable \(\mathsf{PEA}_n\). We show that for any \(\alpha\geq \omega\), the class of completely representable algebras in certain reducts of \(\mathsf{PA}_{\alpha}\)s, that happen to be varieties, is elementary. We show that for \(\alpha\geq \omega\), the the class of polyadic-cylindric algebras dimension \(\alpha\), introduced by Ferenczi, the completely representable algebras (slightly altering representing algebras) coincide with the atomic ones. In the last algebras cylindrifications commute only one way, in a sense weaker than full fledged commutativity of cylindrifications enjoyed by classical cylindric and polyadic algebras. Finally, we address closure under Dedekind-MacNeille completions for cylindric-like algebras of dimension \(n\) and \(\mathsf{PA}_{\alpha}\)s for \(\alpha\) an infinite ordinal, proving negative results for the first and positive ones for the second.
    Źródło:
    Bulletin of the Section of Logic; 2021, 50, 4; 465-511
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On an episode in academic contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz
    O pewnym epizodzie w kontaktach naukowych Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem
    Autorzy:
    Zygmunt, Jan
    Powiązania:
    https://bibliotekanauki.pl/articles/2097360.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    semilattice
    formal ontology of situations
    algebraic logic
    history of Polish logic
    Bogusław Wolniewicz
    półkrata
    formalna ontologia sytuacji
    logika algebraiczna
    historia logiki polskiej
    Opis:
    W eseju przedstawione zostały wybrane kontakty naukowe Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem w okresie od końca lat osiemdziesiątych XX w. do początku XXI w. Kontakty dotyczyły algebraicznych aspektów ontologii sytuacji, a od pewnego momentu – jednego tylko pytania sformułowanego w nocie A question about join-semilattices (Wolniewicz 1990). Esej streszcza dyskusję naukową między B. Wolniewiczem a J. Hawrankiem i J. Zygmuntem, w rezultacie której powstał artykuł Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością (Hawranek, Zygmunt 1993), zawierający próbę odpowiedzi na pytanie Wolniewicza. Artykuł Hawranka i Zygmunta jest niżej przedrukowany, a niniejszy esej jest też pomyślany jako wstęp historyczno-analityczny do jego lektury. Historia kontaktów: Wolniewicz – Hawranek & Zygmunt została ukazana za pomocą zachowanej korespondencji, która jest dość obficie cytowana. W listach Profesor Wolniewicz jawi się jako badacz-pasjonat, otwarty na dyskusję, gotowy do dzielenia się z innymi swoimi trudnościami i sukcesami badawczymi.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2018, 3; 149-162
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Nilpotent Minimum Logic NM and Pretabularity
    Autorzy:
    Yang, Eunsuk
    Powiązania:
    https://bibliotekanauki.pl/articles/750006.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    pretabularity
    nilpotent minimum logic
    algebraic semantics
    fuzzy logic
    finite model property
    Opis:
    This paper deals with pretabularity of fuzzy logics. For this, we first introduce two systems NMnfp and NM½, which are expansions of the fuzzy system NM (Nilpotent minimum logic), and examine the relationships between NMnfp and the another known extended system NM-. Next, we show that NMnfp and NM½ are pretabular, whereas NM is not. We also discuss their algebraic completeness.  
    Źródło:
    Bulletin of the Section of Logic; 2020, 49, 1
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Construction of Generalized Rademacher Functions in Terms of Ternary Logic : Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing
    Autorzy:
    Vitulyova, Elizaveta S.
    Matrassulova, Dinara K.
    Suleimenov, Ibragim E.
    Powiązania:
    https://bibliotekanauki.pl/articles/2055235.pdf
    Data publikacji:
    2022
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    digital signal processing
    non-binary Galois fields
    fourier transform
    rademacher functions
    walsh function
    multivalued logic
    visibility problem
    algebraic extensions
    ternary representation of number
    Opis:
    Generalized Rademacher functions, constructed as a sequence of elements of Galois fields are intended to find the spectral representation of signals with levels. These functions form a complete basis on the interval corresponding to -1 discrete time intervals and for passing into the classical Rademacher functions. The advantage of such spectra obtained using Galois Fields Fourier Transform is that the range of variation of the spectrum amplitudes remains the same as the range of variation of the original signal, which is modeled on discrete time functions taking values in the Galois field.
    Źródło:
    International Journal of Electronics and Telecommunications; 2022, 68, 2; 237--244
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algebraic Characterization of the Local Craig Interpolation Property
    Autorzy:
    Gyenis, Zalán
    Powiązania:
    https://bibliotekanauki.pl/articles/749892.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Craig interpolation
    Algebraic logic
    Superamalgamation
    Opis:
    The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain. 
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 1
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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