Temat: non-classical logic

Skocz do pozycji: 1.

Tytuł:: The Logic of Self-Organized Criticality
Autorzy:: Kamil I. Bakhtiyarov
Data publikacji:: 2015-07-01
Tematy:: many-valued logic
non-classical logic
designated truth values; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects
Autorzy:: Mariusz Stopa
Data publikacji:: 2018
Tematy:: category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects
Autorzy:: Stopa, Mariusz
Data publikacji:: 2018
Wydawca:: Copernicus Center Press
Tematy:: category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

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

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:: Kiczuk, Stanisław
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

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