Temat: propositional logic

Skocz do pozycji: 1.

Tytuł:: Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem
Autorzy:: Urbańczyk, Piotr
Tematy:: Glivenko’s theorem
intuitionistic logic
intuitionistic propositional calculus
history of logic
history of mathematics; Pokaż więcej
Data publikacji:: 2014
Wydawca:: Copernicus Center Press
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Valuation graphs for propositional logic
Autorzy:: Stępień, L.
Tematy:: valuation graphs
propositional logic
wykresy wyceny
rachunek zdań; Pokaż więcej
Data publikacji:: 2010
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Four-valued expansions of Dunn-Belnaps logic (I): Basic characterizations
Autorzy:: Pynko, Alexej P.
Tematy:: propositional logic
logical matrix
Dunn-Belnap's logic
expansion
[bounded] distributive/De Morgan lattice
equality determinant; Pokaż więcej
Data publikacji:: 2020-12-30
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
Propozycja wykorzystania rachunku zdań logiki formalnej do tworzenia hipotez badawczych w naukach o zarządzaniu
Autorzy:: Pabian, Aleksander
Tematy:: research hypotheses
formal logic
management
propositional calculus
hipotezy badawcze
logika formalna
zarządzanie
rachunek zadań; Pokaż więcej
Data publikacji:: 2023-02-28
Wydawca:: Główny Urząd Statystyczny
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Identity, equality, nameability and completeness. Part II
Autorzy:: Manzano, María
Moreno, Manuel Crescencio
Tematy:: identity
equality
completeness
nameability
first-order modal logic
hybrid logic
hybrid type theory
equational hybrid propositional type theory; Pokaż więcej
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Functional Completeness in CPL via Correspondence Analysis
Autorzy:: Leszczyńska-Jasion, Dorota
Petrukhin, Yaroslav
Shangin, Vasilyi
Jukiewicz, Marcin
Tematy:: correspondence analysis
invertible rules
classical propositional logic
functional completeness
sequent calculus
automated deduction
automated rules generation; Pokaż więcej
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: The Method of Socratic Proofs Meets Correspondence Analysis
Autorzy:: Leszczyńska-Jasion, Dorota
Petrukhin, Yaroslav
Shangin, Vasilyi
Tematy:: Socratic proofs
correspondence analysis
invertible rule
inferential erotetic logic
classical propositional logic
sequent calculus; Pokaż więcej
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Logicy i logika a poznanie przyrody
Logicians and Logic on Study of Nature
Autorzy:: Kiczuk, Stanisław
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; Pokaż więcej
Data publikacji:: 2005
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:: Kiczuk, Stanisław
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
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "propositional logic" wg kryterium: Temat

Źródło danych

Dostawca treści

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język

Kolekcja