On variable separation in modal and superintuitionistic logics

Studia Logica ◽  
1995 ◽  
Vol 55 (1) ◽  
pp. 99-112 ◽  
Author(s):  
Larisa Maksimova
Keyword(s):  
Variable Separation ◽  
Superintuitionistic Logics

New variable separation solutions to the (2 + 1)-dimensional Burgers equation

2016 ◽  
Vol 273 ◽  
pp. 1271-1275 ◽  
Author(s):  
Lijuan Yang ◽  
Xianyun Du ◽  
Qiongfen Yang
Keyword(s):  
Burgers Equation ◽  
Variable Separation

New variable separation solutions of two-dimensional Burgers system

2011 ◽  
Vol 217 (22) ◽  
pp. 9189-9197 ◽  
Author(s):  
Yusuf Gurefe ◽  
Emine Misirli
Keyword(s):  
Two Dimensional ◽  
Variable Separation ◽  
Burgers System

Variable separation solutions and new solitary wave structures to the (1+1)-dimensional Ito system

2006 ◽  
Vol 15 (1) ◽  
pp. 1-7 ◽  
Author(s):  
Xu Chang-Zhi ◽  
He Bao-Gang ◽  
Zhang Jie-Fang
Keyword(s):  
Solitary Wave ◽  
Variable Separation

scholarly journals Semi-Analytical Solution for Free Vibration Differential Equations of Curved Girders

2017 ◽  
Vol 63 (1) ◽  
pp. 115-132
Author(s):  
Y. Song ◽  
X. Chai
Keyword(s):  
Analytical Solution ◽  
Differential Equations ◽  
Free Vibration ◽  
Coupling Effect ◽  
Longitudinal Vibration ◽  
Synthesis Method ◽  
Variable Separation ◽  
Element Analysis ◽  
Plane Vibration ◽  
Curved Girders

Abstract In this paper, a semi-analytical solution for free vibration differential equations of curved girders is proposed based on their mathematical properties and vibration characteristics. The solutions of in-plane vibration differential equations are classified into two cases: one only considers variable separation of non-longitudinal vibration, while the other is a synthesis method addressing both longitudinal and non-longitudinal vibration using Rayleigh’s modal assumption and variable separation method. A similar approach is employed for the out of- plane vibration, but further mathematical operations are conducted to incorporate the coupling effect of bending and twisting. In this case study, the natural frequencies of a curved girder under different boundary conditions are obtained using the two proposed methods, respectively. The results are compared with those from the finite element analysis (FEA) and results show good convergence.

Canonical rules

2009 ◽  
Vol 74 (4) ◽  
pp. 1171-1205 ◽  
Author(s):  
Emil Jeřábek
Keyword(s):  
Alternative Proof ◽  
Finite Model ◽  
Consequence Relations ◽  
Model Property ◽  
Finite Model Property ◽  
Admissible Rules ◽  
Superintuitionistic Logics ◽  
Canonical Formulas ◽  
Global Consequence

AbstractWe develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia theorem and the theory of modal companions to systems of multiple-conclusion rules or (unitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property.

scholarly journals Killing Tensors and Variable Separation for Hamilton-Jacobi and Helmholtz Equations

1980 ◽  
Vol 11 (6) ◽  
pp. 1011-1026 ◽  
Author(s):  
E. G. Kalnins ◽  
Willard Miller, Jr.
Keyword(s):  
Variable Separation ◽  
Helmholtz Equations ◽  
Killing Tensors
Sign in / Sign up

Export Citation Format

Share Document