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


Wyświetlanie 1-8 z 8
Tytuł:
O logice predykatów. Analiza logiczno-filozoficzna
On predicate logic. Logical-philosophical analysis
Autorzy:
Gut, Arkadiusz
Powiązania:
https://bibliotekanauki.pl/articles/2015981.pdf
Data publikacji:
2002
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
sylogistyka
sąd
logika predykatów
logic
syllogistic
proposition
predicate logic
Opis:
This paper presents the central part of the contemporary logic: the predicate logic. By determining the types of primitive elements that make up the parts of the judgement the author tries to describe the structure (logical form) of atomic judgement that we meet in predicate logic. The main task is to find out the logical and philosophical fundaments of the asymmetry of the subject and predicate in the logic of quantification. This main aim was motivated by the assumption that if the current logic (predicate logic) has the significance, which we are inclined to attach to it, then it must reflect fundamental features of our thought about the world. Therefore the author of the paper analyses the logical and philosophical reasons that can be put forward for preferring the modern predicate logic to the traditional theory of general inferences which occur in syllogistic. To show the difference between the logical form of the basic proposition established in traditional logic and the logical form of atomic proposition in post-fregean logic some specific points were taken into consideration: the problem of reference; negation; existential import and others. At the end it was explicated that the crucial move – which was revealed in predicate logic – lay in extending the idea of function−argument analysis from mathematics to logic.
Źródło:
Roczniki Filozoficzne; 2002, 50, 1; 121-163
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Computer System for Automated Ontology Building Basic Crocus
Autorzy:
Oborska, O.
Maherovskyj, M
Vovnjanka, R.
Powiązania:
https://bibliotekanauki.pl/articles/118041.pdf
Data publikacji:
2015
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
ontology
machine learning
logic predicate
Opis:
The article exposes the approach developing a computer system of automated ontology building based on creation of architecture system ontology synthesis CROCUS (Cognition Relations or Concepts Using Semantics) software model. The basic modules of the system and its operations are described. The choice of software tools for implementation was described. Example of SDK decision for system realization was substantiated. The using of this system allows filling the domain ontology in automatic mode.
Źródło:
Applied Computer Science; 2015, 11, 4; 70-82
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Arithmetically Complete Predicate Modal Logic
Autorzy:
Hao, Yunge
Tourlakis, George
Powiązania:
https://bibliotekanauki.pl/articles/2033850.pdf
Data publikacji:
2021-08-23
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs
Opis:
This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its cut-free Gentzenisation, the ``formulators'' tool. Its semantic completeness (with respect to finite reverse well-founded Kripke models) is fully stated in the current paper and the proof is retold here. Applying the Solovay technique to those models the present paper establishes its main result, namely, that \(\textup{ML}^3\) is arithmetically complete. As expanded below, \(\textup{ML}^3\) is a first-order modal logic that along with its built-in ability to simulate general classical first-order provability―"\(\Box\)" simulating the the informal classical "\(\vdash\)"―is also arithmetically complete in the Solovay sense.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 4; 513-541
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A categorical model of predicate linear logic
Autorzy:
Demeterová, E.
Mihályi, D.
Novitzká, V.
Powiązania:
https://bibliotekanauki.pl/articles/122570.pdf
Data publikacji:
2015
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
linear type theory
predicate linear logic
symmetric monoidal closed category
Opis:
Linear logic is one of the logical systems with special properties suitable for describing real processes used in computer science. It enables one to specify dynamics, non determinism, consecutive processes and important resources as memory and time on syntactic level. Moreover, its deduction system enables one to verify specified properties. Constructing an appropriate model based on categories can serve for modeling various program systems in the wide spectrum of computer science. Mainly, propositional linear logic is used for these purposes. The expression power of linear logic significantly grows by extending propositional logic with predicates and quantifiers. Our paper concerns itself with defining predicate linear logic together with its deduction system and our main aim is to construct a categorical model of predicate linear logic as a symmetric monoidal closed category.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2015, 14, 1; 27-42
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
Autorzy:
Maffezioli, Paolo
Orlandelli, Eugenio
Powiązania:
https://bibliotekanauki.pl/articles/749910.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
intuitionistic logic
existence predicate
sequent calculi
cut elimination
interpolation
Maehara's lemma
Opis:
In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants and to better understand and (partly) overcome the failure of interpolation for the implication-free fragment.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 2; 137-158
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o L. Borkowskiego metodzie zerojedynkowego sprawdzania węższego rachunku predykatów
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2016153.pdf
Data publikacji:
2001
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
rachunek predykatów
metoda zerojedynkowa
logic
predicate calculus
truth-table decision procedure
Źródło:
Roczniki Filozoficzne; 2001, 49, 1; 235-241
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O NIEKTÓRYCH UWARUNKOWANIACH FREGOWSKIEJ TEORII KWANTYFIKACJI
ON SOME DETERMINATS OF THE FREGEAN THEORY OF QUANTIFICATION
Autorzy:
Szot, Jan
Powiązania:
https://bibliotekanauki.pl/articles/488152.pdf
Data publikacji:
2013
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
filozofia języka
filozofia logiki
wyrażenie kwantyfikatorowe
wyrażenie niekompletne
predykat złożony
predykat prosty
philosophy of language
philosophy of logic
theory of quantification
incomplete expression
complex predicate
simple predicate
Opis:
The article discusses the Fregean way of producing multiple quantifications and distinction between complex and simple predicates. In the proper sense only the complex predicates are a kind of the incomplete expression (unselbsständig). Many contemporary authors of general logic textbooks do not pay due attention to that determinants.
W artykule omówiono Fregowski (wieloetapowy) sposób tworzenia wielokrotnych kwantyfikacji oraz rozróżnienie predykatów prostych i złożonych. W sensie właściwym tylko predykaty złożone są typem wyrażeń niekompletnych (unselbsständig). Większość współczesnych autorów podręczników logiki elementarnej nie zwraca należnej uwagi na te dwa uwarunkowania teorii kwantyfikacji.
Źródło:
Roczniki Filozoficzne; 2013, 61, 3; 125-141
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pragmatyczne znaczenia predykatu modalnego móc w konstrukcjach konwersacyjnych dzieci przedszkolnych
Pragmatical senses of modal predicate móc in conversational constructions of preschool children
Autorzy:
Brzdęk, Ewa
Powiązania:
https://bibliotekanauki.pl/articles/475725.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Instytut Języka Polskiego PAN
Tematy:
modalność intencjonalna
modalność fakultatywna
predykat modalny móc
pragmalingwistyka
pośrednie akty mowy
kompetencja dyskursywna
intentional modality
modal logic
modal predicate móc
pragmalinguistics
indirect acts of speech
discourse competence
Opis:
W pracy koncentrujemy się głownie na określeniu zakresu użycia pragmatycznych wariantów znaczenia predykatu modalnego moc w konstrukcjach konwersacyjnych dzieci przedszkolnych. Opis konkretnych realizacji orzeczeń modalnych w wypowiedzeniach dotyczy niektórych aspektów modalności zdaniowej i fakultatywnej oraz wybranych zagadnień systemowych, sytuacyjnych i interakcyjnych języka. Biorąc pod uwagę kontekst pragmatycznojęzykowy i interakcyjny konstrukcji modalnych i innych, obecnych w tekstach, zwracamy uwagę na jakość kompetencji dyskursywnej dzieci przedszkolnych.
The paper concerns the analysis of the modal logic and intentional constructions with the modal verb móc in preschool discourse. Some aspects of pragmalinguistic and systemic-functional theory provide tools to characterize the ways in which children use constructions in the colloquial-conversational language and text. Our analysis is focused on the sense of predicate móc in particular applications and on the process of creation of indirect acts of speech. It also provides information on the development of discourse competence of children.
Źródło:
Socjolingwistyka; 2016, 30; 245-259
0208-6808
Pojawia się w:
Socjolingwistyka
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-8 z 8

    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