Wszystkie pola: logics - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
Autorzy:: Tomova, Natalya
Data publikacji:: 2020-11-13
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Four-valued logics
paraconsistent logics
paracomplete logics
isomorphisms
literal-paraconsistent-paracomplete logics
semi-lattice of logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Autorzy:: Nguyen L.A.
Data publikacji:: 2010
Słowa kluczowe:: Horn knowledge bases
description logics
regular grammar logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Inconsistency-adaptive modal logics. On how to cope with modal inconsistency
Autorzy:: Lycke Hans
Data publikacji:: 2010-03-01
Tematy:: modal logics
paraconsistency
inconsistency-adaptive logics
inconsistency-adaptive modal logics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Many-valued modal non-monotonic reasoning: sequential stable sets and logics with linear truth spaces
Autorzy:: Koutras, C.D.
Koletsos, G.
Zachos, S.
Data publikacji:: 1999
Słowa kluczowe:: non-monotonic reasoning
modal non-monotonic logics
many-valued logics
knowledge representation
epistemic logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Clausal Tableaux for Multimodal Logics of Belief
Autorzy:: Goré, R.
Nguyen L.A.
Data publikacji:: 2009
Słowa kluczowe:: modal logics for agent-based systems
theorem proving for modal logics
complexity and decidability of modal logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Di-Algebraic Semantics of Logics
Autorzy:: Mani, A.
Data publikacji:: 2006
Słowa kluczowe:: di-algebraic semantics of logics
distributive logics
convex amalgams of algebras
inner completions of partial algebras
generalized algebraic logics
canonical models; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
Autorzy:: Diaconescu, Denisa
Data publikacji:: 2020
Słowa kluczowe:: bisimulation
Hennessy-Milner property
many-valued logics
modal logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A Constructor-Based Reachability Logic for Rewrite Theories
Autorzy:: Skeirik, Stephen
Stefanescu, Andrei
Meseguer, José
Data publikacji:: 2020
Słowa kluczowe:: deductive verification
reachability logics
rewriting logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Relational semantics for the 4-valued relevant logics BN4 and E4
Autorzy:: Robles Gemma
Data publikacji:: 2016-04-25
Tematy:: relevant logics
many-valued logics
4-valued logics
Routley-Meyer semantics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Modal Boolean Connexive Logics: Semantics and Tableau Approach
Autorzy:: Jarmużek, Tomasz
Malinowski, Jacek
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Boolean connexive logics
connexive logic
modal Boolean connexive logics
modal logics
normal modal logics
possible worlds semantics
relatedness
relating logic
relating semantics
tableau methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Interplays of knowledge and non-contingency
Autorzy:: Costa-Leite Alexandre
Data publikacji:: 2016-07-13
Tematy:: non-contingency logics epistemic logics
products of modal logics
Von Wright; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: First-order non-monotonic modal logics
Autorzy:: Kaminski, M.
Rey, G.
Data publikacji:: 2000
Słowa kluczowe:: modal non-monotonic logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Separability, Expressiveness, and Decidability in the Ambient Logic
Autorzy:: Hirschkoff, D.
Data publikacji:: 2003
Słowa kluczowe:: Mobile Ambients
spatial logics
modal logics
intensionality
characteristic formulas; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Admissibility of Ackermann’s rule δ in relevant logics
Autorzy:: Gemma Robles
Data publikacji:: 2013-08-29
Tematy:: admissible rules
rule δ
rule assertion
substructural logics
relevant logics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Decision procedures for some strong hybrid logics
Autorzy:: Indrzejczak Andrzej
Zawidzki Michał
Data publikacji:: 2013-08-29
Tematy:: hybrid logics
modal logics
tableau calculi
sequent calculi
decision procedures
automated reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Generalized Galois logics : relational semantics of nonclassical logics
Autorzy:: Orłowska, Ewa (1935- )
Data publikacji:: 2011
Tematy:: Bimbó, Katalin (1963- ). Generalized Galois logics
Dunn, Jon Michael (1941- ). Generalized Galois logics; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
Autorzy:: Robles, G.
Data publikacji:: 2016
Słowa kluczowe:: RM3
R-Mingle
relevant logics
quasi-relevant logics
Routley-Meyer semantics
relational semantics
substructural logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: The Theoretical and Practical Logics of Social Advancement Promoted by Ideological Innovation
Autorzy:: Jingzhao Liu
Tematy:: ideological innovation
social advancement
theoretical logics
practical logics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Occurrence net logics
Autorzy:: Haar, S.
Data publikacji:: 2000
Słowa kluczowe:: concurrency
occurrence (Petri) nets
semantics
partial order logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Logics for Modelling Collective Attitudes
Autorzy:: Porello, D.
Data publikacji:: 2018
Słowa kluczowe:: collective propositional attitudes
collective rationality
group agency
judgment aggregation
majority rule
non normal modal logics
social choice theory
substructural logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: ANTIMONOTONE LOGICS. ON SOME J. PERZANOWSKIS RESEARCH IN MODAL LOGICS (Logiki anty-monotoniczne. O pewnych badaniach J. Perzanowskiego nad logikami modalnymi)
Autorzy:: Swirydowicz Kazimierz
Tematy:: MODAL LOGICS
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Relational semantics for the 4-valued relevant logics BN4 and E4
Autorzy:: Robles Gemma
Blanco José M.
López Sandra M.
Paradela Jesús R.
Recio Marcos M.
Data publikacji:: 2016-04-25
Tematy:: relevant logics
many-valued logics
4-valued logics
Routley-Meyer semantics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Categorical abstract algebraic logic weakly referential π-institutions
Autorzy:: Voutsadakis, G.
Data publikacji:: 2016
Słowa kluczowe:: referential logics
selfextensional logics
referential semantics
referential π-institutions
selfextensional π-institutions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Finite-valued Logics for Information Processing
Autorzy:: Avron, A.
Konikowska, B.
Data publikacji:: 2012
Słowa kluczowe:: information processing
incomplete information systems
inconsistent information
finite logics
many-valued logics
non-deterministic logical matrices
sequent calculi; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Categorical Abstract Algebraic Logic: Syntactically Algebraizable pi-Institutions
Autorzy:: Voutsadakis, G.
Data publikacji:: 2009
Słowa kluczowe:: quasi-varieties
equational logic
algebraizable logics
syntactically N-algebraizable pi-institutions
equivalential logics
N-equivalential pi-institutions
protoalgebraic logics
N-protoalgebraic pi-insitutions
Leibniz operator
Leibniz hierarchy
N-Leibniz operator
regularly algebraizable logics
relatively point-regular quasivarieties
deduction-detachment theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Béziaus logics obtained by means of quasi-regular logics
Autorzy:: Mruczek-Nasieniewska, Krystyna
Współwytwórcy:: Nasieniewski, Marek (1969- )
Data publikacji:: 2009
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Towards a Rational Closure for Expressive Description Logics : the Case of SHIQ
Autorzy:: Giordano, L.
Gliozzi, V.
Olivetti, N.
Data publikacji:: 2018
Słowa kluczowe:: description logics
nonmonotonic reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Learning in Description Logics with Fuzzy Concrete Domains
Autorzy:: Lisi, F. A.
Straccia, U.
Data publikacji:: 2015
Słowa kluczowe:: fuzzy description logics
ontologies
concept learning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: From Tableaux to Automata for Description Logics
Autorzy:: Baader, F.
Hladik, J.
Lutz, C.
Wolter, F.
Data publikacji:: 2003
Słowa kluczowe:: description logics
tableau algorithms
ExpTime-admissible; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: An eight - valued praconsistent logic
Autorzy:: Kamide, N.
Data publikacji:: 2014
Słowa kluczowe:: sixteen-valued logics
four-valued logics
fine-grained
eight-valued paraconsistent logic
Gentzen-type sequent calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Admissibility of Cut in Congruent Modal Logics
Autorzy:: Andrzej Indrzejczak
Data publikacji:: 2011-09-01
Tematy:: modal logics
proof methods
sequent calculi
cut elimination; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Categorical abstract algebraic logic : Wójcicki's conjecture and Malinowski's theorem
Autorzy:: Voutsadakis, G.
Data publikacji:: 2017
Słowa kluczowe:: sentential logics
logical matrices
implicative logics
Suszko congruence
π-Institutions
Wójcicki's conjecture
Malinowski's theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

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: 34.

Tytuł:: Tableaux approach for contact logics interpreted over intervals
Autorzy:: Özdemir, Zafer
Data publikacji:: 2023
Słowa kluczowe:: contact logics interpreted over intervals
tableaux approach
decision procedures; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics
Autorzy:: Pynko, Alexej P
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: sequent calculus
Łukasiewicz’s logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: ALC + T: a Preferential Extension of Description Logics
Autorzy:: Giordano, L.
Gliozzi, V.
Olivetti, N.
Pozzato, G.L.
Data publikacji:: 2009
Słowa kluczowe:: description logics
Prototypical Reasoning
Tableaux Calculi; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: On Rough Set Logics Based on Similarity Relations
Autorzy:: Polkowski, L.
Semeniuk-Polkowska, M.
Data publikacji:: 2005
Słowa kluczowe:: rough mereology
logics for rough sets
similarity relation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Exotic logics
Autorzy:: Pták, Pavel
Data publikacji:: 1987
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Modelowanie procesów z wykorzystaniem rozmytych logik epistemicznej i deontycznej
Autorzy:: Kędzierski, S.
Data publikacji:: 2017
Słowa kluczowe:: logika deontyczna
logika epistemiczna
modelowanie procesu biznesowego
funkcje rozmyte
modelling business process
epistemic logics
deontic logics
fuzzy functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Bunched logics displayed
Autorzy:: Brotherston, James
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Logika i inżynieria wiedzy w telekomunikacji
Autorzy:: Wierzbicki, A. P.
Klimasara, E.
Mościcka, A.
Data publikacji:: 2011
Słowa kluczowe:: pluralizm logiczny
pozorne paradoksy logiczne
logiki wielowartościowe w inżynierii wiedzy
logical pluralism
ostensible paradoxes in logics
multivalued logics in knowledge engineering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: SOME REMARKS ON TEACHING LOGICS TO PHILOSOPHY STUDENTS (Garsc uwag o nauczaniu logiki studiujacych filozofie)
Autorzy:: Suchon Wojciech
Tematy:: TEACHING LOGICS.
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: On Semilattice-based Logics with an Algebraizable Assertional Companion
Autorzy:: Font, Josep Maria
Data publikacji:: 2011
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: semilattice-based logics
assertional logic
frege hierarchy; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Categorical Abstract Algebraic Logic: Referential π-Institutions
Autorzy:: Voutsadakis, George
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Referential Logics
Selfextensional Logics
Leibniz operator
Tarski operator
Suszko operator
π-institutions; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Metacompleteness of substructural logics
Autorzy:: Takahiro Seki
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning
Autorzy:: Doherty, P.
Szałas, A.
Data publikacji:: 2007
Słowa kluczowe:: approximate reasoning
rough sets
similarity relation
three-valued logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Paraconsitent logics obtained by J. Y. Beziaus method by means of some non-normal modal logics
Autorzy:: Mruczek-Nasieniewska, Krystyna
Współwytwórcy:: Nasieniewski, Marek (1969- )
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Variable Sharing in Substructural Logics: an Algebraic Characterization
Autorzy:: Badia, Guillermo
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: relevant logic
algebraic characterizations of logical properties
variable sharing property
substructural logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Similarity MV-algebras
Autorzy:: Gerla, B.
Leustean, I.
Data publikacji:: 2006
Słowa kluczowe:: many-valued logics
MV-algebras
similarities; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Sequent Systems for Consequence Relations of Cyclic Linear Logics
Autorzy:: Płaczek, Paweł
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: linear logic
Lambek calculus
nonassociative logics
noncommutative logics
substructural logics
consequence relation
nonlogical axioms
conservativeness; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Modelowanie procesów z wykorzystaniem rozmytych logik epistemicznej i deontycznej
Process modelling using fuzzy epistemic and deontic logics
Autorzy:: Kędzierski, S.
Data publikacji:: 2017
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: logika deontyczna
logika epistemiczna
modelowanie procesu biznesowego
funkcje rozmyte
modelling business process
epistemic logics
deontic logics
fuzzy functions; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
Autorzy:: Suzuki, Nobu-Yuki
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: intermediate predicate logics
existence property
disjunction property; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Rituals narrative logics
Autorzy:: Lombaerts, Herman (1935- )
Data publikacji:: 2011
Tematy:: Obrzędy religijne; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: Fully Fregean logics
Autorzy:: Babenyšev, Sergej V.
Data publikacji:: 2003
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Logika i inżynieria wiedzy w telekomunikacji
Logics and Knowledge Engineering in Telecommunications
Autorzy:: Wierzbicki, A. P.
Klimasara, E.
Mościcka, A.
Data publikacji:: 2011
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: pluralizm logiczny
pozorne paradoksy logiczne
logiki wielowartościowe w inżynierii wiedzy
logical pluralism
ostensible paradoxes in logics
multivalued logics in knowledge engineering; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyers Logic B
Autorzy:: López, Sandra M.
Data publikacji:: 2021-09-02
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Ternary relational semantics
relevant logics
4-valued logics
Routley and Meyer's logic B
4-valued quasi-relevant logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Analysis of cryptographic protocols using logics of belief: an overview
Autorzy:: Monniaux, D.
Data publikacji:: 2002
Słowa kluczowe:: protokół kryptograficzny
kryptografia
cryptographic protocols
logics of belief
BAN
GNY
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: A Semantic Model for Matchmaking of Web Services Based on Description Logics
Autorzy:: Shen, G.
Huang, Z.
Zhang, Y.
Zhu, X.
Yang, J.
Data publikacji:: 2009
Słowa kluczowe:: web services
matchmaking
description logics
semantic web
ontology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Completeness theory for propositional logics
Autorzy:: Połacik, Tomasz
Data publikacji:: 2010
Tematy:: Pogorzelski, Witold Adam (1927- ). Completeness theory for propositional logics
Wojtylak, Piotr. Completeness theory for propositional logics; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Simple Logics for Basic Algebras
Autorzy:: Cı̅rulis, Ja̅nis
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Analysis of cryptographic protocols using logics of belief: an overview
Autorzy:: Monniaux, D.
Data publikacji:: 2002
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: protokół kryptograficzny
kryptografia
cryptographic protocols
logics of belief
BAN
GNY
decidability; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Bisimulation-Based Concept Learning in Description Logics
Autorzy:: Tran, T.-L.
Ha, Q.-T.
Hoang, T.-L.-G.
Nguyen, L. A.
Nguyen, H. S.
Data publikacji:: 2014
Słowa kluczowe:: bisimulation
concept learning
description logics
machine learning
binary system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

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: 64.

Tytuł:: Some metacomplete relevant modal logics
Autorzy:: Takahiro Seki
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Remarks on Stable Formulas in Intuitionistic Logic
Autorzy:: Alizadeh Majid
Bibak Ali
Data publikacji:: 2019-06-15
Tematy:: intuitionistic logic
intermediate logic
subframe logics
monotonic maps
stable logics
uniform interpolation property; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: The concept of institutional logics in the research of the spatial organization of economics
Autorzy:: Jagodziński, Waldemar
Data publikacji:: 2017
Wydawca:: Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:: economic geography
institutional logics
spatial organization of economics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: Partial and paraconsistent three-valued logics
Autorzy:: Degauquier, Vincent
Data publikacji:: 2016
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Indistinguishability, choices, and logics of agency
Autorzy:: Zanardo, Alberto
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Interpolation and three-valued logics
Autorzy:: Bendová, Kamila (1946- )
Data publikacji:: 2005
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
Autorzy:: Robles, Gemma
López, Sandra M.
Blanco, José M.
Recio, Marcos M.
Paradela, Jesús R.
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Relevant logics
many-valued logics
4-valued logics
2-set-up Routley-Meyer semantics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Secrecy logic : protoalgebraic S-secrecy logics
Autorzy:: Voutsadakis, George
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Logics for qualitative inductive generalization
Autorzy:: Batens, Diderik (1944- )
Data publikacji:: 2011
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Free quantified epistemic logics
Autorzy:: Corsi, Giovanna
Współwytwórcy:: Orlandelli, Eugenio
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: Lewis dichotomies in many-valued logics
Autorzy:: Bova, Simone
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Note on logics of idempotents
Autorzy:: Katrnoška, František (1929- )
Data publikacji:: 2004
Tematy:: Teoria liczb
Logika matematyczna
Algebra Boole'a; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: A continuum of incomplete intermediate logics
Autorzy:: Litak, Tadeusz
Data publikacji:: 2002
Tematy:: Logika modalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Weaker Axioms, More Ranges
Autorzy:: Koutras, C.D.
Peppas, P.
Data publikacji:: 2002
Słowa kluczowe:: non-monotonic reasoning
modal logic
many-valued logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

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: 79.

Tytuł:: The logics of analytic equivalence
Autorzy:: Nowak, Marek (1957- ; filozof)
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Non-Fregean Logics of Analytic Equivalence (I)
Autorzy:: Biłat, Andrzej
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: Non-Fregean Logics of Analytic Equivalence (II)
Autorzy:: Biłat, Andrzej
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: Fully fregean logics
Autorzy:: Babyonyshev, S.
Data publikacji:: 2003
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: Reasoning about Exceptions in Ontologies : from the Lexicographic Closure to the Skeptical Closure
Autorzy:: Giordano, Laura
Gliozzi, Valentina
Data publikacji:: 2020
Słowa kluczowe:: description logics
skeptical closure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

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: 85.

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: 86.

Tytuł:: Completeness of relevant modal logics with disjunctive
Autorzy:: Takahiro Seki
Data publikacji:: 2009
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: On the complexity of some substructural logics
Autorzy:: Buszkowski, Wojciech
Data publikacji:: 2008
Tematy:: Matematyka; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: Predicate logical extensions of some subintuitionistic logics
Autorzy:: Zimmermann, Ernst
Data publikacji:: 2009
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: Best unifiers in transitive modal logics
Autorzy:: Rybakov, Vladimir V.
Data publikacji:: 2011
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: Expressivity of imperfect information logics without identity
Autorzy:: Kuusisto, Antti
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: Importing logics
Autorzy:: Rasga, João
Współwytwórcy:: Sernadas, Amílcar (1952- )
Sernadas, Cristina
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:: Frame based formulas for intermediate logics
Autorzy:: Bezhanishvili, Nick (1978- )
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:: QL-regular quantified modal logics
Autorzy:: Nowicki, Maciej (nauki filozoficzne)
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 94.

Tytuł:: Equivalential logics : (after 25 years of investigations)
Autorzy:: Czelakowski, Janusz
Data publikacji:: 2004
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 95.

Tytuł:: Secrecy Logic: Protoalgebraic $\mathcal S$-Secrecy Logics
Autorzy:: Voutsadakis, George
Data publikacji:: 2012
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 96.

Tytuł:: Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics
Autorzy:: Voutsadakis, George
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Referential Logics
Selfextensional Logics
Referential Semantics
Referential π-institutions
Selfextensional π-institutions
Pseudo- Referential Semantics
Discrete Referential Semantics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 97.

Tytuł:: Natural Deduction for Four-Valued both Regular and Monotonic Logics
Autorzy:: Petrukhin Yaroslav
Data publikacji:: 2018-03-15
Tematy:: natural deduction
four-valued logic
regular logic
monotonic logic
Kleene’s logics
Belnap–Dunn’s logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 98.

Tytuł:: Static BiLog: a Unifying Language for Spatial Structures
Autorzy:: Conforti, G.
Macedonio, D.
Sassone. V.
Data publikacji:: 2007
Słowa kluczowe:: bigraphs
spatial logics
context logic
separation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 99.

Tytuł:: Towards a Logic for Union Types
Autorzy:: Stavrinos, Y.
Veneti, A.
Data publikacji:: 2012
Słowa kluczowe:: intersection types
union types
intersection logics
kits
molecules; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 100.

Tytuł:: Non-Fegean logics of analytic equivalence. P. 2
Autorzy:: Biłat, Andrzej
Data publikacji:: 2015
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logics" wg kryterium: Wszystkie pola