Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "GL theory" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Generalized thermal microstretch elastic solid with harmonic wave for mode-I crack problem
Autorzy:
Lotfy, Khaled
El-Bary, Alaa Abd
Allan, Mohamed
Ahmed, Marwa H.
Powiązania:
https://bibliotekanauki.pl/articles/240363.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
mode-I crack
L-S theory
GL theory
thermoelasticity
microrotation
microstretch
Opis:
A general model of the equations of generalized thermo-microstretch for an infinite space weakened by a finite linear opening mode-I crack is solved. Considered material is the homogeneous isotropic elastic half space. The crack is subjected to a prescribed temperature and stress distribution. The formulation is applied to generalized thermoelasticity theories, using mathematical analysis with the purview of the Lord-Şhulman (involving one relaxation time) and Green-Lindsay (includes two relaxation times) theories with respect to the classical dynamical coupled theory (CD). The harmonic wave method has been used to obtain the exact expression for normal displacement, normal stress force, coupled stresses, microstress and temperature distribution. Variations of the considered fields with the horizontal distance are explained graphically. A comparison is also made between the three theories and for different depths for the case of copper crystal.
Źródło:
Archives of Thermodynamics; 2020, 41, 2; 147-168
1231-0956
2083-6023
Pojawia się w:
Archives of Thermodynamics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
Autorzy:
Tourlakis, George
Powiązania:
https://bibliotekanauki.pl/articles/749974.pdf
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
Opis:
Reference [12] introduced a novel formula to formula translation tool (“formula-tors”) that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is (provably, [2]) unavailable. This paper applies the formulator approach to show the independence of the axiom schema ☐A → ☐∀ A of the logics M3and ML3 of [17, 18, 11, 13]. This leads to the conclusion that the two logics obtained by removing this axiom are incomplete, both with respect to their natural Kripke structures and to arithmetical interpretations.  In particular, the so modified ML3 is, similarly to QGL, an arithmetically incomplete first-order extension of GL, but, unlike QGL, all its theorems have cut free proofs. We also establish here, via formulators, a stronger version of the disjunction property for GL and QGL without going through Gentzen versions of these logics (compare with the more complexproofs in [2,8]).
Źródło:
Bulletin of the Section of Logic; 2016, 45, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies