Wszystkie pola: algebra of logic

Skocz do pozycji: 1.

Tytuł:: Ernst Schroder's algebra of logic
Autorzy:: Gruszecki, Lech
Data publikacji:: 2004
Słowa kluczowe:: logika
teoria zbiorów
algebra Schroders'a
logic
set theory
Schroder's algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Modelowanie procesów logistycznych z wykorzystaniem zasady charakteryzacji V.A. Gorbatova
Autorzy:: Kulińska, E.
Data publikacji:: 2009
Słowa kluczowe:: proces logistyczny
zasada charakteryzacji
algebra logiki
modelowanie
logistics processes
specification
algebra of logic
modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Applications of Algebra in Logic and Computer Science – the Past and the Future
Autorzy:: Grygiel, Joanna
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: conference
algebra
logic
applications; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Extensions of the Grzegorczyk Logic Determined by Some Countable Boolean Algebras
Autorzy:: Dzik, W.
Data publikacji:: 1999
Słowa kluczowe:: logika matematyczna
algebra Boole'a
logika modalna
mathematical logic
Boolean algebra
modal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Endomorphisms and subalgebras of Tarski algebras
Autorzy:: Gaitán, H.
Data publikacji:: 2015
Słowa kluczowe:: implication algebra
Tarski algebra
monoid of endomorphisms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On the logic of closure algebra
Autorzy:: Hamal, Ahmet
Data publikacji:: 2011
Tematy:: Logika modalna
Algebra; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Logic families
Autorzy:: Gyenis, Zalán
Sain, Ildikó
Andréka, Hajnal
Németi, István
Data publikacji:: 2024
Słowa kluczowe:: general logics
Lindenbaum-Tarski formula algebra
abstract model theory
universal algebraic logic
tautological congruence
free product of algebras
institutions
logics
conditionally free algebra
abstract algebraic logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: On Implicative and Positive Implicative GE Algebras
Autorzy:: Walendziak, Andrzej
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: GE algebra
tGE algebra
BCK algebra
Hilbert algebra
(positive) implicativity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Algebraization of Jaśkowski’s Paraconsistent Logic D2
Autorzy:: Janusz Ciuciura
Data publikacji:: 2015-09-01
Tematy:: discursive (discussive) logic
discursive algebra
Jaśkowski’s logic
D2
paraconsistent logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Super Rough Semantics
Autorzy:: Mani, A.
Data publikacji:: 2005
Słowa kluczowe:: rough algebra
super rough algebra
rough logic RL
coapproximability
algebraic semantics of rough logics
III-posed rough set theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Binabou theories
Autorzy:: Vidal, J.
Tur, J.
Data publikacji:: 2006
Słowa kluczowe:: Hall algebra
Binabou algebra
Many-sorted algebra
term
equation
many-sorted equanational completness
Binabou theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Non-generators in extensions of infinitary algebras
Autorzy:: Lipparini, Paolo
Data publikacji:: 2022
Słowa kluczowe:: non-generator
infinitary algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Subalgebras of a finite monadic Boolean Algebra
Autorzy:: Monteiro, L.
Abad, M.
Savini, S.
Sewald, J.
Zander, M.
Data publikacji:: 2006
Słowa kluczowe:: subalgebras
Boolean algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Weak products of universal algebras
Autorzy:: Sain, Ildikó
Data publikacji:: 1993
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: universal algebra
algebraic logic
cylindric algebras; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Foundations of Modal Deductive Databases
Autorzy:: Nguyen L.A.
Data publikacji:: 2007
Słowa kluczowe:: modal logic
deductive databases
modal logic programming
relational algebra
seminaive evaluation
query-subquery evaluation
magic-set transformation
data complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E
Autorzy:: Typańska-Czajka, Lidia
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: relevant logic
non-classical logics
lattice
universal algebra; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Discriminator varieties of double-Heyting algebras
Autorzy:: Taylor, C. J.
Data publikacji:: 2016
Słowa kluczowe:: double-Heyting algebra
dual pseudocomplement
Heyting algebra with dual pseudocomplement
dually pseudocomplemented Heyting algebra
discriminator variety
semisimple algebra
EDPC; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Conception of partial specification of logic controller deterministic state machine
Autorzy:: Łabiak, G.
Data publikacji:: 2012
Słowa kluczowe:: deterministyczna maszyna stanów
diagramy statechart
sterownik logiczny
konflikty tranzycji
predykaty
algebra Boole'a
deterministic state machine
statechart diagrams
logic controller
transition conflicts
predicates
Boolean algebra
symbolic methods
metody symboliczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Category approach to R L4 - sets
Autorzy:: Biegańska, T.
Data publikacji:: 1998
Słowa kluczowe:: algebra
logika matematyczna
zbiory przybliżone
mathematical logic
rough sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Quantitative Analysis of Lattice-valued Kripke Structures
Autorzy:: Pan, H.
Zhang, M.
Wu, H.
Chen, Y
Data publikacji:: 2014
Słowa kluczowe:: Kripke structure
trace semantics
linear temporal logic
residuated lattice
Heyting algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Logic Programming Representation of the Compound Term Composition Algebra
Autorzy:: Analyti, A.
Pachoulakis, I.
Data publikacji:: 2006
Słowa kluczowe:: faceted taxonomies
Logic Programming (LP)
computational complexity
application; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: A 2-categorical framework for the syntax and semantics of many-sorted equational logic
Autorzy:: Vidal, C.
Soliveres Tur, J.
Data publikacji:: 2010
Słowa kluczowe:: Many-sorted set
Many-sorted algebra
Ehresmann-Grothendieck construction
Kleisli category for a monad
many-sorted term
clones
many-sorted algebraic theory
Hall algebra
B´enabou algebra
polyderivor
transformation of polyderivors; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski Lemma
Autorzy:: Czelakowski, J.
Data publikacji:: 2017
Słowa kluczowe:: first-order logic
substitutional semantics
Lindenbaum set
Rasiowa–Sikorski set
Boolean algebra
ultrafilter
forcing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Conception of partial specification of logic controller deterministic state machine
Koncepcja niepełnej specyfikacji deterministycznej maszyny stanów sterownika logicznego
Autorzy:: Łabiak, G.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: deterministyczna maszyna stanów
diagramy statechart
sterownik logiczny
konflikty tranzycji
predykaty
algebra Boole'a
deterministic state machine
statechart diagrams
logic controller
transition conflicts
predicates
Boolean algebra
symbolic methods
metody symboliczne; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Zastosowanie sterowników logicznych w dydaktyce automatyki
Autorzy:: Drabik, M.
Data publikacji:: 2006
Słowa kluczowe:: dydaktyka automatyki
logika
funkcja logiczna
sterownik logiczny
algebra Boole'a
układ sterowania
programowanie
teaching of automatization
logic
logical function
logical controller
Boolean algebra
control system
programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Quantitative Verification of Stochastic Regular Expressions
Autorzy:: Getir Yaman, Sinem
Pavese, Esteban
Grunske, Lars
Data publikacji:: 2021
Słowa kluczowe:: action based logic
formal models
probabilistic regular expressions
probabilistic verification
quantitative verification
stochastic algebra
stochastic regular expressions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Multi-sorted logic and logical geometry : some problems
Autorzy:: Plotkin, B.
Plotkin, E.
Data publikacji:: 2015
Słowa kluczowe:: multi-sorted algebra
category
logical geometry
affine space
universal algebraic geometry
Halmos algebra
type of a point
kategoria
geometria logiczna
przestrzeń afiniczna
uniwersalna geometria algebraiczna
algebra Halmosa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: On Homomorphism and Cartesian Products of Intuitionistic Fuzzy PMS-subalgebra of a PMS-algebra
Autorzy:: Derseh, Beza Lamesgin
Alaba, Berhanu Assaye
Wondifraw, Yohannes Gedamu
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: PMS-algebra
intuitionistic fuzzy PMS-subalgebra
homomorphism
cartesian product and strongest intuitionistic fuzzy relation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Autorzy:: Coja-Oghlan, A.
Stehr, M-O.
Data publikacji:: 2003
Słowa kluczowe:: place/transition Petri net
Best/Devillers processes
collective token philosophy
member ship equational logic
rewriting logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: \(L\)-Modules
Autorzy:: Saidi Goraghani, Simin
Borzooei, Rajab Ali
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: \(L\)-algebra
\(L\)-module
\(L\)-submodule
prime \(L\)-submodule; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Stabilizers on \(L\)-algebras
Autorzy:: Rezaei, Gholam Reza
Aaly Kologani, Mona
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: \(L\)-algebra
stabilizer
ideal
co-anihiliators
Baire space
topological space; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Fuzzy logic approach in the modeling of sustainable tourism development management
Autorzy:: Ziyadin, Sayabek
Borodin, Alex
Streltsova, Elena
Suieubayeva, Saltanat
Pshembayeva, Dolores
Data publikacji:: 2019
Słowa kluczowe:: fuzzy algebra
sustainability
social indicators
tourism industry
fuzzy inference
algebra rozmyta
trwałość
wskaźniki społeczne
przemysł turystyczny
wnioskowanie rozmyte; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Fundamental Relation on \((H_{v})BE\)-Algebras
Autorzy:: Iranmanesh, Farzad
Ghadiri, Mansour
Borumand Saeid, Arsham
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: (\(H_{v}\),\(Hyper)BE\)-algebra
fundamental relation
quotient; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Automatic Learning of Temporal Relations Under the Closed World Assumption
Autorzy:: Nicoletti, M. C.
Lisboa, F. O. S. S.
Hruschka Jr, E. R.
Data publikacji:: 2013
Słowa kluczowe:: Allen's temporal algebra
automatic learning of temporal relations
inductive logic programming
learning under closed world assumption
time intervals
time points
time representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Fuzzy logic approach in the modeling of sustainable tourism development management
Podejście rozmyte w modelowaniu zarządzania rozwojem zrównoważonej turystyki
Autorzy:: Ziyadin, Sayabek
Borodin, Alex
Streltsova, Elena
Suieubayeva, Saltanat
Pshembayeva, Dolores
Data publikacji:: 2019
Wydawca:: Politechnika Częstochowska
Tematy:: fuzzy algebra
sustainability
social indicators
tourism industry
fuzzy inference
algebra rozmyta
trwałość
wskaźniki społeczne
przemysł turystyczny
wnioskowanie rozmyte; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: The logic and linguistic model for automatic extraction of collocation similarity
Autorzy:: Khairova, N.
Petrasova, S.
Gautam, A. P. S.
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:: automatic extraction
identification of collocation similarity
finite predicates algebra
logicalalgebraic equations
grammatical and semantic features; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
Autorzy:: Szmuc, Damian E.
Data publikacji:: 2021-05-27
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Relevant logics
non-transitive logics
p-matrix
weak Kleene algebra
infectious logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Book review: Mathematics of the 19th century. Mathematical logic, algebra, number theory, probability theory by A.N. Kolmogorov and A.P. Yushkevich.
Raport Badawczy = Research Report ; RB/87/2002
Autorzy:: Owsiński, Jan Wojciech
Data publikacji:: 2002
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: The logic and linguistic model for automatic extraction of collocation similarity
Autorzy:: Khairova, N.
Petrasova, S.
Gautam, A. P. S.
Data publikacji:: 2015
Słowa kluczowe:: automatic extraction
identification of collocation similarity
finite predicates algebra
logicalalgebraic equations
grammatical and semantic features; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Roughness of Filters in Equality Algebras
Autorzy:: Rezaei, Gholam Reza
Borzooei, Rajab Ali
Aaly Kologani, Mona
Jun, Young Bae
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: equality algebra
approximation space
D-lower approximation
D-upper approximation
filter
D-lower filter
D-upper filter; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Odwzorowania międzyontologiczne w algebrze konglomeratów
Autorzy:: Goczyła, K.
Waloszek, A.
Waloszek, W.
Zawadzka, T.
Data publikacji:: 2012
Słowa kluczowe:: ontologia
baza wiedzy
modularyzacja
integracja
logika opisowa
ontology
knowledge base
modularization
integration
descriptive logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Non-generators in extensions of infinitary algebras
Autorzy:: Lipparini, Paolo
Data publikacji:: 2022
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: non-generator
infinitary algebra; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Fuzzy Sub-Equality Algebras Based on Fuzzy Points
Autorzy:: Kologani, Mona Aaly
Takallo, Mohammad Mohseni
Jun, Young Bae
Borzooei, Rajab Ali
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: equality algebra
fuzzy set
fuzzy point
fuzzy ideal
sub-equality algebras
\((\in, \in)\)-fuzzy sub-equality algebras
\((\in, \in\! \vee \, {q})\)-fuzzy sub-equality algebras
\((q, \in\! \vee \, {q})\)-fuzzy sub-equality algebras; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "algebra of logic" wg kryterium: Wszystkie pola