Temat: classical negation - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Some new results on PCL1 and its related systems
Autorzy:: Waragai Toshiharu
Omori Hitoshi
Data publikacji:: 2010-03-01
Tematy:: paraconsistent logic
classical negation
da Costa's system C1; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Negacja określona i logika intuicjonistyczna
Definite negation and intuitionistic logic
Autorzy:: Wojciechowski Eugeniusz
Tematy:: intuitionistic logic
ontological reasearch attitude
epistemic reasearch attitude
classical (indefinite) negation
non-classical (definite) negation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
Autorzy:: Mruczek-Nasieniewska, Krystyna
Nasieniewski, Marek
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: non-classical negation
modalized negation
impossibility
correspondence
regular modal logics
the smallest regular deontic logic D2; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

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
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja