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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Wielowartościowość a pojęcia epistemiczne
    Many Values and Epistemic Concepts
    Autorzy:
    Lechniak, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/2013395.pdf
    Data publikacji:
    2006
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika epistemiczna
    logika wielowartościowa
    przekonanie
    epistemic logic
    many-valued logic
    belief
    Opis:
    The paper presents several attempts to express intuition concerning the understanding of knowledge and conviction by means of the conceptual apparatus of many-valued logic. J. Łoś’s pioneer system has been presented here, the system constructed by Ngoc Duc Ho, in which the internal logic in this system is used by the knowing subject as the three-valued logic of Łukasiewicz and the third logical value is understood as “unjustified”, and the four-valued system of N. Belnap, the system that allows for the occurrence of propositions which are evaluated both as true and false.
    Źródło:
    Roczniki Filozoficzne; 2006, 54, 2; 375-390
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Polyadic algebras over nonclassical logics
    Autorzy:
    Pigozzi, Don
    Salibra, Antonino
    Powiązania:
    https://bibliotekanauki.pl/articles/1361079.pdf
    Data publikacji:
    1993
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    lambda calculus
    modal logic
    intuitionistic logic
    many-valued logic
    BCK logic
    Opis:
    The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.
    Źródło:
    Banach Center Publications; 1993, 28, 1; 51-66
    0137-6934
    Pojawia się w:
    Banach Center Publications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Equality Logic
    Autorzy:
    Ghorbani, Shokoofeh
    Powiązania:
    https://bibliotekanauki.pl/articles/1023179.pdf
    Data publikacji:
    2020-11-04
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    many-valued logic
    equality logic
    completness
    prelinear equality∆-algebra
    prelinear equality∆ logic
    Opis:
    In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem. We show that this logic is regularly algebraizable with respect to the variety of equality∆-algebras but it is not Fregean. Then we introduce the concept of (prelinear) equality∆-algebras and investigate some related properties. Also, we study ∆-deductive systems of equality∆-algebras. In particular, we prove that every prelinear equality ∆-algebra is a subdirect product of linearly ordered equality∆-algebras. Finally, we construct prelinear equality ∆ logic and prove the soundness and strong completeness of this logic respect to prelinear equality∆-algebras.
    Źródło:
    Bulletin of the Section of Logic; 2020, 49, 3; 291-324
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Useful Four-Valued Extension of the Temporal Logic KtT4
    Autorzy:
    Degauquier, Vincent
    Powiązania:
    https://bibliotekanauki.pl/articles/749896.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    temporal logic
    many-valued logic
    bi-intuitionistic logic
    paraconsistent logic
    sequent calculus
    duality
    cut-redundancy
    Opis:
    The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.
    Ź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ł
    Tytuł:
    Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych
    Autorzy:
    Bażyk, Albert Przemysław
    Powiązania:
    https://bibliotekanauki.pl/articles/429119.pdf
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    two-valued logic
    many-valued logic
    expansion of classical logic
    modal logic
    semantic supervaluationism
    semantic subvaluationism
    the FOUR double lattice
    Belnap’s four-valued logic
    Opis:
    An unflagging interest in describing future events has continuously motivated investigations, particularly in the field of logic.Aristotle, universally acknowledged as the father of logic, proposed a set of certain bases from which we could depart with our investigations. However, these are tools in which, despite their great value, one can perceive certain shortcomings.Over the centuries many attempts have been made to discover a means of describing any sentence, expressed in any grammatical form. One of these attempts is bilattice theory, through which it has been attempted to describe future events. This theory makes use of tools such as vagueness and different forms of semantics including subvaluationism and supervaluationism.In lattice theory itself, the double lattice known as the FOUR lattice (four-valued bilattice logic) is directly employed.After analyzing the structure of a given theory one may easily make use of it in practice, providing examples of its usage.
    Źródło:
    Semina Scientiarum; 2012, 11
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Opis szeregujący a logiki wielowartościowe. J. N. Martina próba interpretacji systemu Łukasiewicza
    Ordering description and many-valued logics. J. N. Martin’s attempt at interpretation of Lukasiewicz’s system
    Autorzy:
    Lechniak, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/2016146.pdf
    Data publikacji:
    2001
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika nieklasyczna. logika wielowartościowa
    negacje
    historia filozofii
    neoplatonizm
    podział logiczny
    klasyfikacja
    szeregowanie
    non-classical logic
    many-valued logic
    negation(s)
    history of philosophy
    neoplatonism
    logical division
    classification
    ordering
    Opis:
    The article presents two attempts at applying J. Lukas iewicz's three-valued logic to analysis of the so-called gradable properties: T. Czeżowski's so-called ordering logics and J. Martin's attempt to connect Lukas iewicz's logic and the neo-Platonian hierarchy of entities. Unfortunately, those attempts were not successful. It can be noticed that in his approach Czeżowski mixed up gradability of truth with gradability of other properties. Martin found that Lukasiewicz's enriching of the division between truth and falsity with a third value suggests some neo-Platonian ontology in which truth - interchangeable with entity - is subject to gradation. However, he does not give an intuitively convincing way of reducing Lukas iewicz's threevalued logic to the corresponding Boole's algebra of compound properties (hence, to a structure belonging to the classical logic).
    Źródło:
    Roczniki Filozoficzne; 2001, 49, 1; 167-183
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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