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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    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ł:
    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ł:
    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ł
    Tytuł:
    Est-il possible de se mettre d’accord sur le sens à donner au terme de pragmatème ?
    Is it possible to agree on the meaning of the term ‘pragmateme’?
    Autorzy:
    Bogacki, Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/1789271.pdf
    Data publikacji:
    2020-12-23
    Wydawca:
    Wydawnictwo Uniwersytetu Śląskiego
    Tematy:
    Defining the terme ‘pragmateme'
    autonomous linguistic unit
    act of enunciation
    classical logic criterion
    many-valued fuzzy logic criterion
    creating a database of pragmatemes
    Opis:
    The term ‘pragmateme’ has been coined relatively recently and therefore its usage is still hesitant and its definitions lack precision. This makes it difficult to delimit the scope of all that relates to the intuition of the term. We believe that two criteria are crucial for the identification of the concept. First, it would signify an autonomous linguistic unit implying an act of enunciation, characterised by the adequacy between selecting an appropriate linguistic segment and its application, with all that it entails as constraints. This criterion derives from classical logic, based on the binary opposition of truth and falsehood. The other element of the definition of the pragmateme is difficult to apply due to its subjectivity. It can be described in terms of many-valued fuzzy logic. It requires that a privileged link be created in the consciousness of langage users between a particular formulation, conveying a given semantic content and other, competing formulations. Neither of the two criteria is correlated with formal exponents, which prevents them from being used in a database compiled for the purpose of creating a dictionary of pragmatemes
    Źródło:
    Neophilologica; 2020, 32; 77-88
    0208-5550
    2353-088X
    Pojawia się w:
    Neophilologica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Variant of Material Connexive Logic
    Autorzy:
    Belikov, Alexander
    Zaitsev, Dmitry
    Powiązania:
    https://bibliotekanauki.pl/articles/2142753.pdf
    Data publikacji:
    2021-11-09
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    many-valued logics
    connexive logic
    four-valued logic MC
    informal reasoning
    Opis:
    The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.
    Źródło:
    Bulletin of the Section of Logic; 2022, 51, 2; 227-242
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Many-Valued Gates for Reducing the Chip-Area of Integrated Circuits
    Autorzy:
    Novikov, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/92803.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
    Tematy:
    programmable logic array
    logical synthesis
    semi-custom integrated circuit
    many valued gate
    reducing of chip-area
    Opis:
    In this paper are proposed new many-valued gates K-PLA, T(2/K) and T(K/2) for a logical synthesis of digital integrated circuits. The semi-custom integrated circuit K-PLA has the architecture of a Programmable Logic Array of a type AND-OR and includes new K-valued valves MAX, MIN and GATE(A,j). A gate T(2/K) ( T(K/2)) is intended for transformation binary (K-valued ) entrance words into K-valued (binary) output words. The method of the logical synthesis with the use K-PLA, T(2/K) and T(K/2) allows to reduce nearly three times the chip-area, which is essential for placing of the circuit’s realization of the system of partial Boolean functions .
    Źródło:
    Studia Informatica : systems and information technology; 2007, 1(8); 7-17
    1731-2264
    Pojawia się w:
    Studia Informatica : systems and information technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika formalna czy logiki formalne?
    Formal Logic or Formal Logics?
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2013349.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    funktor prawdziwościowy
    logika standardowa
    logika nieklasyczna
    wielowartościowy rachunek zdań
    logika klasyczna
    logic
    truth-functional operator
    standard logic
    non-classical logic
    many-valued propositional calculus
    classical logic
    Opis:
    Apart from putting the theses contained in E. Agazzi’s work Why Is It Logical to Admit Several Logics? in an order and making them more distinct, an attempt is made to draw conclusions from the explicit wordings used by that author. Some theses presented in the text are shown against the views of other authors who discussed analogous problems. In this way, as it seems, modification, completing and elaborating has been possible of wordings that approve of the thesis about the existence of many logics that are contained in the analyzed text. Among others, the article emphasizes that Agazzi’s pronouncements about relations existing between standard logic and intuitionist logic cannot be accepted. Also, several remarks are made about the so-called many-valued logics. Agazzi’s theses that well constructed non-classical logics representing proper contents are necessary for representatives of various branches of knowledge is acceptable.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 129-157
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logicy i logika a poznanie przyrody
    Logicians and Logic on Study of Nature
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2013931.pdf
    Data publikacji:
    2005
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    funktor prawdziwościowy
    funktor nieprawdziwościowy
    dwuwartościowy rachunek zdań
    wielowartościowy rachunek zdań
    logic
    truth-functional operator
    not truth-functional operator
    two valued propositional calculus
    many-valued propositional calculus
    Opis:
    Starting from the 1930s logicians tackled problems connected with applicability of logic in natural sciences and in many cases they tried to practically apply logic in these sciences. In the article entitled ‘Logicians and logic on study of nature’ it is stressed that the broadly understood formal logic supplies natural sciences, and especially physics, with a paradigm for a method of ordering theses. It is also shown what application of logic laws to natural sciences consists in, and theses are formulated concerning what the laws of classical propositional calculus state. A lot of attention is devoted to the language of modern and contemporary physics. Modern and contemporary physics uses two languages, i.e. the mathematical language and the so-called notional language. The logic of the former language is classical logical calculus. In connection with the notional language logicians construed a lot of systems of non-classical logics in which laws are given that govern the correct use of non-extensional operators connected with such terms occurring in natural sciences as “time”, “cause”, “change” etc. The language of well construed systems of non-classical logics may serve saving, storing and precise communicating the results obtained on the ground of natural sciences.
    Źródło:
    Roczniki Filozoficzne; 2005, 53, 1; 129-142
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-11 z 11

      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