Temat: classical logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Quantitative comparison of Intuitionistic and Classical logics - full propositional system
Autorzy:: Kozik, Jakub
Antoine, Genitrini
Data publikacji:: 2009
Wydawca:: Springer
Słowa kluczowe:: intuitionistic logic
classical logic
Heyting algebra
binary complete tree
left subtree; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Category theoryand some of its logical aspects
Teoria kategorii i niektóre jej logiczne aspekty
Autorzy:: Stopa, Mariusz
Data publikacji:: 2018
Słowa kluczowe:: intuitionistic logic
topos theory
propositional logic
categorical logic
category theory
non-classical logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Propozycja formalizacji myślenia codziennego
A Proposal for formalization of everyday thinking
Autorzy:: Łukowski, Piotr
Data publikacji:: 2022
Wydawca:: Wydawnictwo Nauk Społecznych i Humanistycznych Uniwersytet im. Adama Mickiewicza w Poznaniu
Słowa kluczowe:: logika niefregowska
contentual classical logic (CCL)
klasyczna logika treści (CCL)
implikacja treściowa
paradoks kłamcy
ze sprzeczności nic
logika treści
zasada Buridana
nothing from contradiction
z niczego nic
logic of content
SCI
nothing from empty
content implication
liar paradox
non-Fregean logic
Buridan principle; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Próba rozwiązania problemu niezdeterminowania wyboru ontologii w filozofii Quinea
An attempt at a solution of the problem of indeterminancy of ontology in Quines philosophy
Autorzy:: Domarecki, Czesław
Słowa kluczowe:: Willard Van Orman Quine, względność ontologiczna, zobowiązanie ontologiczne, teoria modeli, arytmetyka Peano, niestandardowy model arytmetyki, logika nieklasyczna
Willard Van Orman Quine, ontological relativity, ontological commitment, model theory, Peano arithmetic, non-standard model of arithmetic, non-classical logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Logika praktyczna z elementami wiedzy o manipulacji
Practical logic with elements of knowledge of psycho-manipulation
Autorzy:: Łukowski, Piotr
Data publikacji:: 2022
Słowa kluczowe:: logika
functor
persuasion
non-monotonicity
lie
funktor
content logic
kłamstwo
unreliable reasoning
nazwa
akt mowy
logika treści
sentence
klasyczny rachunek kwantyfikatorów
psycho-manipulation
logic
classical propositional calculus
proposition
klasyczny rachunek zdań
perswazja
speech act
manipulacja
operator
logicality
niemonotoniczność
rozumowania potoczne
first-order logic
logiczność
zdanie; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Informacja