Temat: first order theory - Prolib Integro

Skocz do pozycji: 1.

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

Tytuł:: Plate structural analysis based on a double interpolation element with arbitrary meshing
Autorzy:: Ton-That, Hoang Lan
Data publikacji:: 2021
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: mesh irregularity
first-order shear deformation theory
double interpolation procedure; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Nonlocal analysis of single and double-layered graphene cylindrical panels and nano-tubes under internal and external pressures considering thermal effects
Autorzy:: Dastjerdi, S.
Lotfi, M.
Jabbarzadeh, M.
Data publikacji:: 2017
Wydawca:: Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:: cylindrical graphene panels
nano-tube
nonlocal elasticity theory
first-order shear deformation theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Comparison between HPM and finite Fourier solution in static analysis of FGPM beam under thermal load
Porównanie rezultatów analizy statycznej belki FGPM otrzymanych metodą HPM i za pomocą skończonej transformacji Fouriera
Autorzy:: Armin, A.
Shafieenejad, I.
Moallemi, N.
Novinzadeh, A. B.
Data publikacji:: 2010
Wydawca:: Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:: functionally graded piezoelectric material
thermal load
first order shear deformation theory
homotopy perturbation method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Vibration suppression of truncated conical shells embedded with magnetostrictive layers based on first order shear deformation theory
Autorzy:: Mohammadrezazadeh, Shahin
Jafari, Ali Asghar
Data publikacji:: 2019
Wydawca:: Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:: isotropic truncated conical shell
magnetostrictive layers
active vibration control
first order shear deformation theory
Ritz method
modified Galerkin method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

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

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

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

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

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

Informacja

Wyszukujesz frazę "first order theory" wg kryterium: Temat