Informacja

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

Wyszukujesz frazę "logic operator" wg kryterium: Temat


Wyświetlanie 1-13 z 13
Tytuł:
Baza zasobowa wybranych złóż kopalin metalicznych w Polsce w ujęciu logiki rozmytej
Resources base of selected metallic mineral deposits in Poland in terms of fuzzy logic
Autorzy:
Krzak, M.
Powiązania:
https://bibliotekanauki.pl/articles/394269.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Instytut Gospodarki Surowcami Mineralnymi i Energią PAN
Tematy:
zasoby złoża
jakość kopaliny
zbiory rozmyte
operator logiczny
mineral deposit resources
mineral grade
fuzzy sets
logic operator
Opis:
Polska jest krajem bogatym w złoża kopalin użytecznych. W Bilansie zasobów złóż kopalin (Szuflicki i in. (red.) 2016) zestawiono 13 586 rekordów złóż w podziale według ich przydatności surowcowej. W tak licznym zbiorze dominują złoża kopalin skalnych, podczas gdy złoża rud metali mają w ujęciu ilościowym znaczenie podrzędne. Obraz ten ulega jednak zmianie pod względem jakościowym – wartości produkcji surowców. Wartość wyprodukowanych surowców metalicznych plasuje je zaraz po dominujących – w tym aspekcie oceny – surowcach energetycznych. Kluczowe elementy oceny parametrów złoża obejmują szacowanie zasobów oraz jakości kopaliny. Wielkości te są znacznie zróżnicowane pomiędzy złożami i często, zamiast konkretnych wielkości numerycznych, dla ułatwienia opisu, stosowane są określenia nieprecyzyjne (rozmyte). Granice pomiędzy stanem, kiedy złoże jest duże czy małe, bogate czy ubogie, są umowne, oparte na rozkładach w populacji i nie zawsze jednoznacznie kwalifikują obiekt do danej klasy. Tymczasem stopniowanie przynależności złoża do danej klasy wielkościowej może być zrealizowane z wykorzystaniem teorii zbiorów rozmytych. W artykule wskazano na możliwości takiej kwalifikacji w odniesieniu do udokumentowanych złóż kopalin metalicznych w Polsce, poszerzając rozważania o zasygnalizowanie możliwości zastosowania operatorów logiki rozmytej w ocenie zarówno ilościowych, jak i jakościowych parametrów złóż.
Poland is a country rich of mineral deposits. In the Annual Report of Mineral Re-sources there is a list of 13,586 records of mineral deposits in Poland according to their suita-bility as raw materials. In such a large set, rock mineral deposits dominate, while ore metals deposits are of secondary quantitative importance. This image changes in terms of the produc-tion value of metallic raw materials. The value of the metallic raw-materials produced places it after energy raw materials, dominating in this aspect. Key parameters evaluated during the mineral deposit recognition include resources es-timation and the quality of minerals. These values are significantly different between deposits and often, instead of specific numerical values for ease of description, imprecise (fuzzy) de-scription is used. The borders between the state in which the mineral deposit is big or small, rich or poor, are conventional, based on population distributions and do not always clearly qualify the object to the class. Meanwhile, such mineral deposits membership gradation to the volume size class may be carried out with the fuzzy sets theory. In the article the possibility of such qualification in relation to the recognized ore deposits in Poland has been pointed out. The possibility of fuzzy logic operators use in the assessment of both quantitative and qualita-tive parameters of this resources base have additionally been signalized.
Źródło:
Zeszyty Naukowe Instytutu Gospodarki Surowcami Mineralnymi i Energią PAN; 2016, 96; 151-164
2080-0819
Pojawia się w:
Zeszyty Naukowe Instytutu Gospodarki Surowcami Mineralnymi i Energią PAN
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena
Autorzy:
Parol, Aleksander
Pietrowicz, Krzysztof
Szalacha-Jarmużek, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/1812204.pdf
Data publikacji:
2021-06-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
logic for social sciences
positional logic
realisation operator
social phenomena
Opis:
In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These expressions allow, inter alia, to consider different points of view of social entities (humanistic coefficient). In the article, we perform a metalogical analysis of this logic. Finally, we present some simple examples of its application.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 2; 205-227
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 Some Language Extension of Logic MR: A Semantic and Tableau Approach
O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau
Autorzy:
Jarmużek, Tomasz
Parol, Aleksander
Powiązania:
https://bibliotekanauki.pl/articles/1791008.pdf
Data publikacji:
2021-01-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
rozszerzenie minimalnej logiki pozycyjnej
MR
logika pozycyjna
operator realizacji
metody tableau
extension of minimal positional logic
positional logic
realization operator
tableau methods
Opis:
In the article we present an extension of the minimal, normal positional logic, i.e., the logic with realization operator MR. Positional logic is a philosophical logic that makes it possible to relate sentences to contexts that can be understood in many ways. We enrich the basic language of minimal positional logic with additional expressions built with predicates and positional constants. We also accept expressions built with the realization operator and many positions, like: Ra1,K,an(A). Thanks to this, we increased the expressivity of minimal positional logic. In the article we point to many examples of the fact that, thanks to this small change, complex theories based on the proposed extension can be created. As a theory of proof for our logic, we assume tableau methods, showing soundness and completeness theorems. At the end, however, we show that the logic studied here is only a language extension of the MR: all theorems of the extension have their equivalents in pure MR theorems. However, theories built upon the proposed extension can express much more than theories built upon pure MR.
W artykule przedstawiamy rozszerzenie minimalnej, normalnej logiki pozycyjnej, czyli logiki z operatorem realizacji. Logika pozycyjna to logika filozoficzna, która umożliwia odniesienie zdań do kontekstów, które można rozumieć na wiele sposobów. Wzbogacamy podstawowy język minimalnej logiki pozycyjnej o dodatkowe wyrażenia zbudowane z predykatów i stałych pozycyjnych. Akceptujemy również wyrażenia zbudowane z operatorem realizacji oraz wiele pozycji, takich jak: Ra1,K,an(A) Dzięki temu zwiększyliśmy wyrazistość minimalnej logiki pozycyjnej. W artykule wskazujemy na wiele przykładów na to, że dzięki tej niewielkiej zmianie mogą powstać złożone teorie oparte na proponowanym rozszerzeniu. Jako teorię dowodu dla naszej logiki zakładamy metody tableau, pokazujące twierdzenia o poprawności i zupełności. Na koniec jednak pokazujemy, że badana tutaj logika jest tylko rozszerzeniem językowym MR: wszystkie twierdzenia o przedłużeniu mają swoje odpowiedniki w czystych twierdzeniach MR. Jednak teorie oparte na proponowanym rozszerzeniu mogą wyrazić znacznie więcej niż teorie oparte na czystej MR.
Źródło:
Roczniki Filozoficzne; 2020, 68, 4; 345-366
0035-7685
Pojawia się w:
Roczniki Filozoficzne
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ł:
Uwagi o systemie logiki formalnej skonstruowanym dla logików nieformalnych
Remarks on the System of Formal Logic Construed for Informal Logicians
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2012940.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
funktor prawdziwościowy
logika nieformalna
logika nieklasyczna
klasyczny rachunek zdań
truth-functional operator
informal logic
non-classical logic
classical propositional calculus
Opis:
D. Sherry’s main theses included in his essay entitled “Formal Logic for Informal Logicians” are presented in the article. In a discussion with his theses it is shown that he prefers this kind of logic that has a lot of elements that are the same as in Aristotle’s logic understood as the art of thinking and the technique of discussion taken from Topics, and not the logic that was started in his Prior Analytics. It is also shown that not only patterns of inferring, but also the theses of logic, as well as theses to which no patterns correspond, that are guarantee reliability of inference patterns, may be intuitively obvious. In the article also attention is drawn to the fact that the PL- system of logic presented by Sherry was characterized by him by means of a rather poor logical terminology. In the American author’s argument there are no clear distinctions between the thesis of logic, the logical inference pattern and the rule of the procedure of proving. However, it can be established that the PL- system is constituted by argumentation patterns that are reliable owing to such theses of propositional logic as modus potens, modus tollens, disjunctive syllogism, conjunctive syllogism, complex destructive dilemma, and the two rules concerning creating proofs, i.e. the rule of conditional proof and the rule of reduction to the absurd. In the PL- system there are fewer theses than in the classical propositional calculus, but this has nothing in common with the so-called multivalent logics to which some theses of classical logic supposedly do not apply. Everything suggests that some systems of non-classical logic systems may be built on the PL- system; namely, the ones in which theses are given that govern the correct use of non-extensional operators connected with key terms appearing in many sciences, like e.g. “time”, “change”, “causality”. Sherry’s essay reveals that he is a supporter of the thesis that knowledge of formal logic is necessary for using informal logic efficiently, which is necessary for teaching logic properly.
Źródło:
Roczniki Filozoficzne; 2010, 58, 1; 95-108
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A PC-based operator and diagnostic panel for Simatic S7-200 programmable controllers
Autorzy:
Mazek, K.
Chmiel, M.
Kulisz, J.
Powiązania:
https://bibliotekanauki.pl/articles/141655.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
operator panel
human machine interface (HMI)
programmable logic controller (PLC)
wireless communication
microprocessor system
Opis:
The paper describes a prototype operator panel, which was designed to operate with the S7-200 family of Programmable Logic Controllers (PLC-s) from Siemens. Most of the functionality of the operator panel was implemented in a computer program, which runs on a PC-class computer. The program communicates with a PLC through its communication port configured in the Freeport mode. Two kinds of interface between the PC, and the PLC are supported: wired, and wireless. For wired connection a standard PC/PPI cable supplied by Siemens is used. For wireless connection two communication modules were designed, which operate in the free 433 MHz band. The operator panel program is intuitive, and easy to use. States of PLC inputs and outputs are presented using graphical objects. It is possible to modify states of the outputs, and monitor and edit any variable in the M and V memory in the PLC. The application supports also alarming. The program can be run on any computer with the MS Windows operating system installed. This makes the solution very cost-effective. Providing both wired and wireless communication radically increases flexibility of the proposed solution. The panel can be quickly mounted in areas, where pulling new cables is inconvenient, difficult or expensive.
Źródło:
Archives of Electrical Engineering; 2013, 62, 2; 307-320
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
Autorzy:
Kürbis, Nils
Powiązania:
https://bibliotekanauki.pl/articles/750050.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
definite descriptions
binary quantifier
term forming operator
Lambert's Law
intuitionist negative free logic
natural deduction
Opis:
Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INF℩ of intuitionist negative free logic extended by such a quantier, which was presented in [4], INF℩ is first compared to a system of Tennant's and an axiomatic treatment of a term forming ℩ operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INF℩ in which the G of ℩x[F;G] is restricted to identity. INF℩ is then compared to an intuitionist version of a system of Lambert's which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
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ł
Tytuł:
O logice modalnej
On Modal Logic
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2015670.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
konieczność logiczna
możliwość logiczna
logika modalna
funktor modalny
ścisła implikacja
logical necessity
logical possibility
modal logic
modal operator
strict implication
Opis:
The paper appreciates six conditions which, according to G.E. Hughes and M.J. Cresswell, must be respected by those formal systems which aspire to be systems of modal logic. There are few such systems. The sense of modal functors “it is necessary that,” “it is possible that,” in this type of systems is in no way made precise. The paper undermines the validity of some conditions shown by Hughes and Cresswell. It outlines the way by which to construct a system of modal logic in which the functor of logical necessity and logical possibility would be unambiguously characterised by methods of contemporary logic.
Źródło:
Roczniki Filozoficzne; 2004, 52, 1; 199-213
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o implikacji materialnej
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013479.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
funktor prawdziwościowy
znak negacji
znak alternatywy
implikacja materialna
koniunkcja
logic
truth-functional operator
negation sign
disjunction sign
material implication
conjunction
Opis:
In the initial part of the article texts of some authors are analyzed concerning material implication. In the further part of the article the proposition is justified that the operator of material implication differs in quality from other truth-functional operators. The final part of the article is devoted to considerations aiming at presenting what the thesis of the classical propositional calculus, in which the main operator is the operator of material implication, denote.
Źródło:
Roczniki Filozoficzne; 2006, 54, 1; 69-80
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O NIEKTÓRYCH PRAWACH LOGIKI I ZASADACH OGÓLNEJ TEORII BYTU
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/488533.pdf
Data publikacji:
2012
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika współczesna
funktor prawdziwościowy
klasyczny rachunek zdań
zasada racji dostatecznej
modern logic
truth-functional operator
classical propositional calculus
principle of sufficient reason
Opis:
Some principles of general theory of being have their equivalents in laws of classical logic. For a long time this was not distinctly noticed, as logic was treated rather as technology of discussion, and not as a system of propositions stated in the objective language and concerning connections between facts. It may be generally said that some primary principles of being and some laws of logic state the same most fundamental connections between facts, between states of things. There are also principles of philosophy that do not have such equivalents in laws of logic. These include the principle of sufficient reason. The concept of intuitive truth of propositions that reappeared in modern logic first of all in connection with K. Gödel’s theorem of 1931 formed an intellectual climate that made it possible for classical logicians to accept also those principles of general theory of being that do not have equivalents in laws of standard logic. It may be said that these philosophical principles may be included in the outward basis of modern logic.
Źródło:
Roczniki Filozoficzne; 2012, 60, 2; 171-179
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika współczesna a matematyka i filozofia
Contemporary Logic versus Mathematics and Philosophy
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013167.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika współczesna
funktor prawdziwościowy
znak negacji
znak alternatywy
implikacja materialna
koniunkcja
modern logic
truth-functional operator
negation sign
disjunction sign
material implication
conjunction
Opis:
The first part of the paper shows two types of the systems of contemporary logic placed in one of J. Bocheński’s works. The second part of the paper contains Bocheński’s theses concerning contemporary logic. They have been shown against the backdrop of the views held by other authors who discussed some kin issues. In order to supplement Bocheński’s considerations a division of functors has been added. They are divided into extensional and non-extensional. Much attention has been devoted to the problems of logical constants that is rarely discussed in learned literature. It has been stressed that at least one of Bocheński’s typologies should basically be changed, having taken into account the remarks in the paper that supplement Bocheński’s analyses. The above issues have been discussed against the backdrop of the question of relations that obtain between contemporary logic, mathematics, and philosophy.
Źródło:
Roczniki Filozoficzne; 2008, 56, 2; 131-150
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-13 z 13

    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