Wszystkie pola: basic logic

Skocz do pozycji: 1.

Tytuł:: A temporal semantics for basic logic
Autorzy:: Aguzzoli, Stefano
Współwytwórcy:: Bianchi, Matteo
Marra, Vincenzo
Data publikacji:: 2009
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Axiomatization of a Basic Logic of Logical Bilattices
Autorzy:: Takano, Mitio
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: logical bilattice
sequent calculus; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Axiomatization of a basic logic of logical bilattices
Autorzy:: Takano, Mitio. Autor
Data publikacji:: 2016
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A way to interpret Łukasiewicz logic and basic logic
Autorzy:: Vetterlein, Thomas
Data publikacji:: 2008
Tematy:: Algebra
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Basic Logic for Reasoning about Connector Reconfiguration
Autorzy:: Clarke, D.
Data publikacji:: 2008
Słowa kluczowe:: dynamic reconfiguration
coordination
component connectors
Reo; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Basic Logic Gates in Two Dimensional Photonic Crystals for All Optical Device Design
Autorzy:: Sonth, Mahesh V
Srikanth, Gimmadi
Agrawal, Pankaj
Premalatha, B.
Data publikacji:: 2021
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: basic gates
photonic crystals
finite difference time domain
plane wave expansion
photonic band gap; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena
Autorzy:: Parol, Aleksander
Pietrowicz, Krzysztof
Szalacha-Jarmużek, Joanna
Data publikacji:: 2021-06-30
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: logic for social sciences
positional logic
realisation operator
social phenomena; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Extended MR with nesting of predicate expressions as a basic logic for social phenomena
Współwytwórcy:: Pietrowicz, Krzysztof (1977- ) Autor
Instytut Socjologii (Uniwersytet Mikołaja Kopernika ; Toruń)
Parol, Aleksander Autor
Instytut Filozofii (Uniwersytet Kardynała Stefana Wyszyńskiego ; Warszawa)
Szalacha-Jarmużek, Joanna (1979- ) Autor
Data publikacji:: 2021
Tematy:: Logiki pozycyjne
Metamatematyka
Nauki społeczne
Wnioskowanie (logika); Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Basic Logic Gates in Two Dimensional Photonic Crystals for All Optical Device Design
Autorzy:: Sonth, Mahesh V
Srikanth, Gimmadi
Agrawal, Pankaj
Premalatha, B.
Data publikacji:: 2021
Słowa kluczowe:: basic gates
photonic crystals
finite difference time domain
plane wave expansion
photonic band gap; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A Note on Axiom System for SBL-algebras
Autorzy:: Halaš, R.
Data publikacji:: 2009
Słowa kluczowe:: basic logic
residuated lattices
t-norm
axiom system
BL-algebra
SBL-algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Neighborhood Semantics for Basic and Intuitionistic Logic
Autorzy:: Moniri Morteza
Maleki Fatemeh Shirmohammadzadeh
Data publikacji:: 2015-08-20
Tematy:: Intuitionistic Logic
Basic Logic
Kripke models
neighborhood models
bisimulation
modal logic
topological semantics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: 5-VALUED NON-DETERMINISTIC SEMANTICS FOR THE BASIC PARACONSISTENT LOGIC mCi
Autorzy:: Avron Arnon
Tematy:: INCONSISTENCY
MCI LOGIC
NONDETERMINISTIC MATRIX
PARACONSISTENT LOGIC
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: The basic constructive logic for weak consistency and the reductio axioms
Autorzy:: Robles Vázquez, Gemma
Współwytwórcy:: Méndez, José M.
Data publikacji:: 2009
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Neighborhood semantics for basic and intuitionistic logic
Autorzy:: Moniri, Morteza
Data publikacji:: 2015
Tematy:: Logika modalna
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: BASIC CONCEPTS OF CONTINUOUS LOGIC
Autorzy:: Levin Vitay I.
Tematy:: CONTINUOUS LOGIC - BASIC CONCEPTS
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant
Autorzy:: Robles Vázquez, Gemma
Data publikacji:: 2007
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Analytic Calculi for Monoidal T-norm Based Logic
Autorzy:: Baaz, M.
Ciabattoni, A.
Montagna, F.
Data publikacji:: 2004
Słowa kluczowe:: basic fuzzy logic
monoidal t-norm based logic
hypersequent calculi
mid(hyper)sequent theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Programmable logic controller : basic structure and idea of programming
Autorzy:: Hrynkiewicz, Edward
Współwytwórcy:: Chmiel, Mirosław
Data publikacji:: 2012
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Four-valued expansions of Dunn-Belnaps logic. 1, Basic characterizations
Autorzy:: Pynko, Alexej P. Autor
Data publikacji:: 2020
Tematy:: Krata (matematyka)
Logika Belnapa-Dunna
Logika czterowartościowa
Logika algebraiczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Programmable Logic Controller - Basic Structure and Idea of Programming
Autorzy:: Hrynkiewicz, E.
Chmiel, M.
Data publikacji:: 2012
Słowa kluczowe:: micro-programmed digital circuit
PLC structure
PLC programming
mikroprogramowany
struktura programowanego sterownika logicznego (PLC)
programowanie sterowników PLC; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
Autorzy:: Pietruszczak, Andrzej
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: first-degree theses of modal logics
theses without iterated modalities
Pollack’s theory of Basic Modal Logic
basic theories for modal logics between C1 and S5; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
Autorzy:: Pietruszczak, Andrzej
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: first-degree theses of modal logics
theses without iterated modalities
Pollack’s theory of Basic Modal Logic
basic theories for modal logics between C1 and S5; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Powers and limitations of Urquhart-style semantics I : basic substructural logics
Autorzy:: Yang, Eunsuk
Data publikacji:: 2024
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: operational semantics
Urquhart-style semantics
star operations for negations
algebraic semantics
substructural logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Powers and limitations of Urquhart-style semantics I : basic substructural logics
Autorzy:: Yang, Eunsuk
Data publikacji:: 2024
Słowa kluczowe:: operational semantics
Urquhart-style semantics
star operations for negations
algebraic semantics
substructural logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Incidence Calculus on Łukasiewicz's Three-valued Logic
Autorzy:: Qi, G.
Milligan, P.
Sage, P.
Data publikacji:: 2005
Słowa kluczowe:: probabilistic logic
incidence calculus
basic incidence assignment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Computer System for Automated Ontology Building Basic Crocus
Autorzy:: Oborska, O.
Maherovskyj, M
Vovnjanka, R.
Data publikacji:: 2015
Słowa kluczowe:: ontology
machine learning
logic predicate; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Basic properties of a new class of parametric intuitionistic fuzzy implications
Autorzy:: Dworniczak, P.
Data publikacji:: 2011
Słowa kluczowe:: parametric fuzzy implication
intuitionistic fuzzy logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: The informational stance : philosophy and logic. P. 1, The basic theories
Autorzy:: Wu, Kun
Współwytwórcy:: Brenner, Joseph E. (1934- )
Data publikacji:: 2014
Tematy:: Logika deontyczna
Informacja - filozofia
Teoria informacji; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: The informational stance: Philosophy and logic. Part I. The basic theories
Autorzy:: Kun Wu
Brenner E. Joseph
Data publikacji:: 2013-08-29
Tematy:: contradiction
dialectics
dynamics
ethics
information
interactions
logic
ontology
phenomenology
systems
values
transdisciplinarity; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Basic properties of a new class of parametric intuitionistic fuzzy implications
Autorzy:: Dworniczak, P.
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: parametric fuzzy implication
intuitionistic fuzzy logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Computer System for Automated Ontology Building Basic Crocus
Autorzy:: Oborska, O.
Maherovskyj, M
Vovnjanka, R.
Data publikacji:: 2015
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: ontology
machine learning
logic predicate; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Logic of faith and deed. The idea and an outline of the theoretical conception
Autorzy:: Wybraniec-Skardowska, Urszula
Data publikacji:: 2019
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: faith
religious faith
basic notions in great religions
doxastic logic
deed
logic of deed
deontic logic
logic of faith and deed
wiara
wiara religijna
podstawowe pojęcia wielkich religii
logika doksastyczna
czyn
logika czynu
logika deontyczna
logika wiary i czynu; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Logic of faith and deed. The idea and an outline of the theoretical conception
Autorzy:: Wybraniec-Skardowska Urszula
Tematy:: faith
religious faith
basic notions in great religions
doxastic logic
deed
logic of deed
deontic logic
logic of faith and deed
wiara
wiara religijna
podstawowe pojęcia wielkich religii
logika doksastyczna
czyn
logika czynu
logika deontyczna
logika wiary i czynu; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Semantyczne uwarunkowania różnicy między metafizyką a ontologią
REFERENCE AND MEANING. ON THE BASIC DIFFERENCE BETWEEN METAPHYSICS AND ONTOLOGY
Autorzy:: Kołodziejczyk Sebastian
Tematy:: METAPHYSICS
ONTOLOGY
SEMANTICS
PHENOMENOLOGY
LOGIC
REFERENCE
MEANING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Peirces law of triviality : the implementation of the trivium of logic, rhetoric and grammar : basic categories for linguistics and literature studies from a universal semiotic theory
Autorzy:: Haase, Fee-Alexandra (1969- )
Data publikacji:: 2010
Tematy:: Językoznawstwo - historia - Stany Zjednoczone
Peirce, Charles S. (1839-1914)
Retoryka - historia - Stany Zjednoczone
Pragmatyzm - historia - Stany Zjednoczone
Semiotyka - historia - Stany Zjednoczone; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Peirces Law of Triviality: The Implementation of the Trivium of Logic, Rhetoric and Grammar. Basic Categories for Linguistics and Literature Studies from a Universal Semiotic Theory
Autorzy:: Fee-Alexandra Haase
Data publikacji:: 2010-01-01
Tematy:: semiotics
Pierce
linguistics
liberal arts
rhetoric; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Models for electric machine reliability prediction at variation of the condition of basic structural units
Autorzy:: Almashakbeh, A.
Prus, V.
Zagirnyak, M.
Data publikacji:: 2017
Słowa kluczowe:: neural network
fuzzy logic
expert system
experiment planning
sieć neuronowa
logika rozproszona
system ekspercki
planowanie eksperymentu; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Podstawowe operacje logiki trójwartościowej w oparciu o Różnicową Technikę Prądową
Autorzy:: Gołofit, K.
Data publikacji:: 2011
Słowa kluczowe:: układy kryptograficzne
Side-channell attacks
arytmetyka różnicowo-prądowa
ciała charakterystyki 3
logika trójwartościowa
układy mnożące
układy dodające
MOS
IC
cryptographic circuits
differential current mode arithmetic
characteristic 3 fields
ternary logic
addition
multiplication; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "basic logic" wg kryterium: Wszystkie pola