Wszystkie pola: first-order logic

Skocz do pozycji: 1.

Tytuł:: Decidability of first-order logic
Autorzy:: Lampert, Timm (1969- )
Data publikacji:: 2007
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Explaining formulae of first order logic
Autorzy:: Lampert, Timm (1969- )
Data publikacji:: 2006
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Explaining the undecidability of first-order logic
Autorzy:: Timm Lampert
Anderson Nakano
Data publikacji:: 2024-12-31
Tematy:: Entscheidungsproblem
pattern detection
halting problem
constructive proof
automated theorem proving; Pokaż więcej
Opis fizyczny:: application/pdf
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Explaining the undecidability of first-order logic
Autorzy:: Lampert, Timm
Nakano, Anderson
Data publikacji:: 2024-12-31
Wydawca:: Copernicus Center Press
Tematy:: Entscheidungsproblem
pattern detection
halting problem
constructive proof
automated theorem proving; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A complete first-order logic with infinitary predicates
Autorzy:: Keisler, H.
Data publikacji:: 1963
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Decidability of first-order logic exemplified. P. 2
Autorzy:: Lampert, Timm (1969- )
Data publikacji:: 2008
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Generalized Interpolation in First Order Logic
Autorzy:: Borzyszkowski, T.
Data publikacji:: 2005
Słowa kluczowe:: formal languages
formal semantics
specification languages
algebraic specification
interpolation property; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Decidability of first-order logic exemplified. P. 1
Autorzy:: Lampert, Timm (1969- )
Data publikacji:: 2008
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Physical Computational Complexity and First-order Logic
Autorzy:: Whyman, Richard
Data publikacji:: 2021
Słowa kluczowe:: physical computation
computable analysis
Blum-Shub-Smale machines
hypercomputation
church-turing thesis
non-causal computation
atemporal computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Tableau-based translation from first-order logic to modal logic
Autorzy:: Perkov, Tin
Mikec, Luka
Data publikacji:: 2021
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: modal logic
bisimulation invariance
tableaux; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Engineering design supported by many-sorted first-order logic-based reasoning
Autorzy:: Palacz, Wojciech
Gajek, Szymon
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2015
Słowa kluczowe:: design support system
many-sorted first-order logic
design requirements
knowledge-based reasoning
hierarchical hypergraphs; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: On the proof-theory of two formalisations of modal first-order logic
Autorzy:: Schwartz, Yehuda
Współwytwórcy:: Tourlakis, George J.
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Design supported by many-sorted first-order logic constraints with aggregate operators
Autorzy:: Palacz, Wojciech
Data publikacji:: 2017
Słowa kluczowe:: design support system
constraints
many-sorted first-order logic
design requirements
aggregate functions; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
Autorzy:: Badia, Guillermo
Kowalski, Tomasz
Găină, Daniel
Data publikacji:: 2023
Słowa kluczowe:: omitting types theorem
hybrid logic
institution
dynamic logic
forcing; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Floor-layout design supported by many-sorted first-order logic-based reasoning
Autorzy:: Palacz, Wojciech
Gajek, Szymon
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2015
Wydawca:: Warsaw University of Technology. Faculty of Automotive and Construction Machinery Engineering. Institute of Machine Design Fundamentals
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Conceptualization in designing with the use of many-sorted first-order logic
Autorzy:: Palacz, Wojciech
Grabska, Ewa
Gajek, Szymon
Data publikacji:: 2015
Wydawca:: European Group for Intelligent Computing in Engineering
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: On the First Order Logic true in everly universe : (including the empty universe)
Autorzy:: Dubikajtis, Lech (1927-2014)
Data publikacji:: 2003
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Lottery semantics : a compositional semantics for probabilistic first-order logic with imperfect information
Autorzy:: Galliani, Pietro
Współwytwórcy:: Mann, Allen L.
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Tableau-based translation from first-order logic to modal logic
Autorzy:: Perkov, Tin
Mikec, Luka
Data publikacji:: 2021
Słowa kluczowe:: modal logic
bisimulation invariance
tableaux; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Engineering Design Supported by Many-Sorted First-Order Logic-Based Reasoning
Autorzy:: Palacz, W.
Grabska, E.
Ślusarczyk, G.
Gajek, S.
Data publikacji:: 2015
Słowa kluczowe:: design requirements
many-sorted first-order logic
knowledge-based reasoning
design support system
hierarchical hypergraph; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Ontological approach to design reasoning with the use of many-sorted first-order logic
Autorzy:: Grabska, Ewa
Ślusarczyk, Grażyna
Palacz, Wojciech
Data publikacji:: 2016
Wydawca:: Springer
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Logical Undecidabilities Made Easy
Autorzy:: Leivan, D.
Data publikacji:: 2008
Słowa kluczowe:: grammars
first-order logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Design Supported by Many-Sorted First-Order Logic Constraints with Aggregate Operators
Autorzy:: Palacz, W.
Data publikacji:: 2017
Słowa kluczowe:: design requirements
design support system
constraints
many-sorted first-order logic
aggregate functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Constructing Decision Procedures in Equational Clausal Logic
Autorzy:: Peltier, N.
Data publikacji:: 2003
Słowa kluczowe:: first-order logic
equational clausal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: On Modalities and Quantifiers
Autorzy:: Fitting, M.
Data publikacji:: 2017
Słowa kluczowe:: modality
quantifiers
first-order logic
axioms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Composition Theorem for Generalized Sum
Autorzy:: Rabinovich, A.
Data publikacji:: 2007
Słowa kluczowe:: composition theorem
first-order logic
expressibility
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: A Resolution Calculus for First-order Schemata
Autorzy:: Aravantinos, V.
Echenim, M.
Peltier, N.
Data publikacji:: 2013
Słowa kluczowe:: first-order logic
propositional logic
resolution calculus
schemata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Complexity and (Un)decidability of Fragments of 〈ωωλ;×〉
Autorzy:: Bès, Alexis
Choffrut, Christian
Data publikacji:: 2019
Słowa kluczowe:: existential fragment
first-order logic
ordinal multiplication; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: A LOGICAL-PRAGMATIC THEORY OF OBJECTS
Autorzy:: Riska A.
Tematy:: FIRST-ORDER LOGIC
OBJECT
PROTO-ONTOLOGY
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: An extended Relational Algebra on Abstract Objects for summarizing answers to queries
Autorzy:: Demolombe, R.
Data publikacji:: 2003
Słowa kluczowe:: relational algebra
cylindric algebras
first-order logic
abstraction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: A Logic Framework for Incremental Learning of Process Models
Autorzy:: Ferilli, S.
Esposito, F.
Data publikacji:: 2013
Słowa kluczowe:: first-order logic
process models
relational learning
workflow; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Praktyczny aspekt logiki (stanowisko Kazimierza Ajdukiewicza)
The Practical Aspect of Logic from the Standpoint of Kazimierz Ajdukiewicz
Autorzy:: Czernecka-Rej, Bożena
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:: Ajdukiewicz Kazimierz
first-order logic
logical culture
practical science; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: A General Similarity Framework for Horn Clause Logic
Autorzy:: Ferilli, S.
Basile, T.M.A.
Biba, M.
Di Mauro, N.
Esposito, F.
Data publikacji:: 2009
Słowa kluczowe:: first-order logic
Logic Programming (LP)
Similarity/Distance Measures; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: On First-Order Fragments for Mazurkiewicz Traces
Autorzy:: Diekert, V.
Horsch, M.
Kufleitner, M.
Data publikacji:: 2007
Słowa kluczowe:: Mazurkiewicz traces
temporal logic
first-order logic
Ehrenfeucht-Fraissé games; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Reversible Regular Languages : Logical and Algebraic Characterisations
Autorzy:: Gastin, Paul
Manuel, Amaldev
Govind, R.
Data publikacji:: 2021
Słowa kluczowe:: regular languages
reversible languages
first-order logic
automata
semigroups; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Praktyczny aspekt logiki (stanowisko Kazimierza Ajdukiewicza)
The Practical Aspect of Logic from the Standpoint of Kazimierz Ajdukiewicz
Autorzy:: Bożena Czernecka-Rej
Tematy:: Ajdukiewicz Kazimierz
first-order logic
logical culture
practical science; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Learning First-Order Rules: A Rough Set Approach
Autorzy:: Stepaniuk, J.
Hońko, P.
Data publikacji:: 2004
Słowa kluczowe:: algorithms
rough sets
first-order logic
modern logic
set theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: A model theory for the potential infinite
Autorzy:: Eberl, Matthias
Data publikacji:: 2022
Słowa kluczowe:: finitism
potential infinite
model theory
first-order logic
reflection principle; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Knowledge and reasoning in design systems
Autorzy:: Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2011
Słowa kluczowe:: hypergraph
visual language
first-order logic
design diagram
knowledge-based reasoning; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Visual language and graph-based structures in conceptual design
Autorzy:: Ślusarczyk, Grażyna
Data publikacji:: 2012
Słowa kluczowe:: knowledge-based reasoning
visual language
design diagram
hypergraph
first-order logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Second Order Logic as Ontology
Autorzy:: Bilat A.
Tematy:: FIRST ORDER LOGIC
PHILOSOPHICAL LOGIC
QUINE WILLARD VAN ORMAN
SECOND ORDER LOGIC
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Identity, Equality, Nameability and Completeness
Autorzy:: Manzano, María
Moreno, Manuel Crescencio
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: first-order logic
type theory
identity
equality
indiscernibility
comprehension
completeness
translations
nameability; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Gęstość tautologii w języku pierwszego rzędu z jednym predykatem binarnym.
On the density of tautologies in the first order language with one binary predicate.
Autorzy:: Wójcik, Piotr
Słowa kluczowe:: logika pierwszego rzędu, badania ilościowe w logice
first order logic, quantitative methods in logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Decidable cases of first-order temporal logic with functions
Autorzy:: Hussak, Walter
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: An ontology based approach for assisting conceptualisation in CAD processes
Autorzy:: Grabska, Ewa
Data publikacji:: 2014
Wydawca:: SCITEPRESS - Science and Technology Publications
Słowa kluczowe:: design requirement
diagram
many-sorted first-order logic
visual design
design knowledge; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: New visual languages supporting design of multi-storey buildings
Autorzy:: Łachwa, Andrzej
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2012
Słowa kluczowe:: visual language
first-order logic
hierachical hypergraph
knowledge-based reasoning
knowledge-based design; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: A model theory for the potential infinite
Autorzy:: Eberl, Matthias
Data publikacji:: 2022
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: finitism
potential infinite
model theory
first-order logic
reflection principle; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

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

Tytuł:: A Logical Approach to Control. Some New Logical Concepts and their Application to the Notion of Safety for Control Variants
Autorzy:: Terlikowski, T.
Data publikacji:: 2002
Słowa kluczowe:: first-order logic
set theory
positive implication
positive correspondence
safe set of control variants; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Autorzy:: Gao, Feng
Tourlakis, George
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Modal logic
GL
QGL
first-order logic
proof theory
cut elimination
cut admissibility
provability logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Automated deduction techniques for studying Rough Algebras
Autorzy:: Vigneron, L.
Data publikacji:: 1998
Słowa kluczowe:: automated deduction
theorem proving
equational theories
first-order logic
constraint deduction
modal logic
rough sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Universality of Logic
Autorzy:: Woleński, Jan
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: universality
logica docents
logica utens
first-order logic
consequence operation
model
syntax
semantics
expressive power; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: A Logic Framework for Verification of Timed Algorithms
Autorzy:: Slissenko, A.
Data publikacji:: 2004
Słowa kluczowe:: First Order Timed Logic
FOTL
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: Modeling of distributed objects computing pattern combinations using a formal specification language
Autorzy:: Taibi, T.
Ngo, D. C. L.
Data publikacji:: 2003
Słowa kluczowe:: Balanced Pattern Specification Language (BPSL)
First-Order Logic (FOL)
Temporal Logic of Actions (TLA)
substitution
addition
elimination; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: A Syntactic Proof of the Decidability of First-Order Monadic Logic
Autorzy:: Orlandelli, Eugenio
Tesi, Matteo
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: proof theory
classical logic
decidability
Herbrand theorem; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: A Quantifier-free First-order Knowledge Logic of Authentication
Autorzy:: Kurkowski, M.
Srebrny, M.
Data publikacji:: 2006
Słowa kluczowe:: verification
formal method
authentication
security
knowledge; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: QUERYING TEMPORAL DATABASE WITH THE LANGUAGE OF FIRST-ORDER TEMPORAL LOGIC
Autorzy:: Giero Mariusz
Tematy:: QUERY LANGUAGE IN DATABASES
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Modeling of distributed objects computing pattern combinations using a formal specification language
Autorzy:: Taibi, T.
Ngo, D. C. L.
Data publikacji:: 2003
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: informatyka
Balanced Pattern Specification Language (BPSL)
First-Order Logic (FOL)
Temporal Logic of Actions (TLA)
substitution
addition
elimination; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
Autorzy:: Tourlakis, George
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Modal logic
GL
first-order logic
proof theory
cut elimination
reflection property
disjunction property
quantified modal logic
QGL
arithmetical completeness; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: First-order anti-intuitionistic logic with apartness
Autorzy:: Brunner, Andreas B. M.
Data publikacji:: 2004
Tematy:: Logika
Intuicjonizm matematyczny; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Mathematical logic : exercises and solutions
Autorzy:: Csirmaz, Laszlo
Gyenis, Zalán
Data publikacji:: 2022
Wydawca:: Springer
Słowa kluczowe:: mathematical logic
predicate calculus
first-order logic
propositional calculus
Gödel’s theorems
recursion theory
problem solving
formal logic
ultraproducts
Peano axiom system; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu
The theory of hereditarily finite sets as an example of an application of the first order logic language
Autorzy:: Czubin, Adrianna
Słowa kluczowe:: logika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogości
mathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axioms; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: First-Order Ground Non-Monotonic Modal Logic
Autorzy:: Grimberg, B.
Kaminski, M.
Data publikacji:: 2008
Słowa kluczowe:: first-order ground non-monotonic modal logic
first-order default logic
preference semantics
minimal model semantics
Herbrand semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
Autorzy:: Belardinelli, F.
Lomuscio, A.
Data publikacji:: 2011
Słowa kluczowe:: First-order Modal Logic
temporal logic
epistemic logics
multi-agent systems
completeness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: A model-theoretic version of the complement theorem : applications
Autorzy:: Nowak, K.
Data publikacji:: 1999
Słowa kluczowe:: eliminacja kwantyfikatorów
funkcja rzeczywista analityczna
funkcje zmiennych zespolonych
logika pierwszego rzędu
model uzupełnień
przestrzeń analityczna
first-order logic
model-completeness
quantifier elimination
real analytic functions
real valuations
subanalytic functions
subanalytic sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: On the proof-theory of a first-order extension of GL
Autorzy:: Schwartz Yehuda
Tourlakis George
Data publikacji:: 2013-09-18
Tematy:: Gentzen-style logic
Gentzen’s Hauptsatz
Hilbert-style logic
GL
K4
provability logic
provability predicate
modal first-order logic
sequent calculus
cut-elimination
reflection theorem
Craig interpolation
arithmetical interpretation
soundness
arithmetical completeness; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: Formal Theodicy: Religious Determinism and the Logical Problem of Evil
Autorzy:: Borges da Silva Gesiel
Bertato Fabio Maia
Tematy:: logical problem of evil
theodicy
first-order modal logic
logic of religion
Edward Nieznański; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: A model-theoretic version of the complement theorem
Autorzy:: Nowak, K.
Data publikacji:: 1999
Słowa kluczowe:: funkcja rzeczywista analityczna
funkcje wielu zmiennych zespolonych
logika pierwszego rzędu
model uzupełnień
przestrzeń analityczna
semianalityczny zbiór
subanalityczny zbiór
test Robinsona
first-order logic
model-completeness
real analytic functions
Robinson's test
semianalytic sets
subanalytic sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

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

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: A Note on the Logical Definability of Rational Trace Languages
Autorzy:: Choffrut, C.
Data publikacji:: 2012
Słowa kluczowe:: trace monoid
first-order and second-order logic
rational subsets
finite automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: The greatest fixed point in iterative programs.
Największy punkt stały w programach iteracyjnych
Autorzy:: Tokarz, Mateusz
Słowa kluczowe:: Prolog, Liczby porządkowe, Liczba porządkowa Churcha-Kleene'go, Rekurencyjne liczby porządkowe, Logika pierwszego rzędu, Notacja porządkowa Kleene'go, Formuła arytmetyczna, Hierarchia arytmetyczna, Definicje induktywne, Twierdzenie Knastera-Tarskiego, Funkcje rekurencyjne, Relacja dobrze ufundowana, Unifikacja
Prologue, Ordinal numbers, Church-Kleene ordinal, Recursive ordinals, First order logic, Kleene ordinal notation, Arithmetical formula, Arithmetical hierarchy, Inductive definitions, Knaster-Tarski theorem, Recursive functions, Well-founded order, Unification; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: A first order, four-valued, weakly paraconsistent logic and its relation with rough sets semantics
Autorzy:: Tsoukias, A.
Data publikacji:: 2002
Słowa kluczowe:: logika
semantyka
logic
rough sets semantic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: A maximality theorem for continuous first order theories
Autorzy:: Ackerman, Nathanael
Karker, Mary Leah
Data publikacji:: 2022
Słowa kluczowe:: continuous logic
Lindström’s theorem
first order theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Computing Parameterized Invariants of Parameterized Petri Nets
Autorzy:: Esparza, Javier
Raskin, Mikhail
Welzel, Christoph
Data publikacji:: 2022
Słowa kluczowe:: parameterized systems
logic
theorem proving
first-order
WS1S; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: On homomorphism-homogeneous point-line geometries
Autorzy:: Jungabel, Ėva
Data publikacji:: 2019
Słowa kluczowe:: homomorphism-homogeneous
point-line geometry
first-order structure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Invariance and Set-Theoretical Operations in First Order Structures
Autorzy:: Rodrigues, A.
Filho, R.
Souza de, E.
Data publikacji:: 2006
Słowa kluczowe:: theorem of Krasner
automorphism
first order structure
set-theoretical operations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: On ordered minimal structures
Autorzy:: Jagiella, G.
Newelski, L.
Data publikacji:: 2014
Słowa kluczowe:: minimal first-order structures
interpretability
definability
canonical substructures
ordering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: A maximality theorem for continuous first order theories
Autorzy:: Ackerman, Nathanael
Karker, Mary Leah
Data publikacji:: 2022
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: continuous logic
Lindström’s theorem
first order theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: On the first order true in every universe (including the empty universe)
Autorzy:: Dubikajtis, L.
Data publikacji:: 2003
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: On Inferences of Full First-Order Hierarchical Decompositions
Autorzy:: Link, S.
Data publikacji:: 2011
Słowa kluczowe:: relational model of data
database decomposition
database constraint
axiomatisation
propositional logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: On Four Types of Argumentation For Classical Logic
Autorzy:: Bożen Czernecka-Rej
Data publikacji:: 2020
Tematy:: teza o logice I rzędu
maksyma minimalnego okaleczania
uniwersalność logiki
logika rzeczy
metalogika
W.v.O. Quine
J. Woleński
S. Kiczuk
first-order thesis
maxim of minimum mutilation
universality of logic
logic of things
metalogic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: Algorytm generowania reguł pierwszego rzędu wykorzystujący metody zbiorów przybliżonych
Autorzy:: Stepaniuk, J
Góralczuk, L.
Data publikacji:: 2002
Słowa kluczowe:: rough sets
inductive logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: Algorytm generowania reguł pierwszego rzędu wykorzystujący metody zbiorów przybliżonych
An algorithm generating first order rules based on rough set methods
Autorzy:: Stepaniuk, J,
Góralczuk, L.
Data publikacji:: 2002
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: rough sets
inductive logic programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: On Four Types of Argumentation For Classical Logic
O czterech typach argumentacji na rzecz logiki klasycznej
Autorzy:: Czernecka-Rej, Bożena
Data publikacji:: 2021-01-04
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: teza o logice I rzędu
maksyma minimalnego okaleczania
uniwersalność logiki
logika rzeczy
metalogika
W.v.O. Quine
J. Woleński
S. Kiczuk
first-order thesis
maxim of minimum mutilation
universality of logic
logic of things
metalogic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: Robinson consistency in many-sorted hybrid first-order logics
Autorzy:: Găină, Daniel
Kowalski, Tomasz
Badia, Guillermo
Data publikacji:: 2022
Wydawca:: College Publications
Słowa kluczowe:: hybrid logic
institution
interpolation
Robinson consistency; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: On homomorphism-homogeneous point-line geometries
Autorzy:: Jungabel, Ėva
Data publikacji:: 2019
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: homomorphism-homogeneous
point-line geometry
first-order structure; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "first-order logic" wg kryterium: Wszystkie pola