A simple proof of a completeness result for leads-to, in the UNITY logic

1992 ◽  
Vol 44 (3) ◽  
pp. 171
Author(s):  
Jan Pachl
Keyword(s):  
Simple Proof ◽  
Completeness Result

scholarly journals Justification announcements in discrete time. Part II: Frame definability results

2018 ◽  
Vol 27 (5) ◽  
pp. 671-692
Author(s):  
Grigory K Olkhovikov
Keyword(s):  
Discrete Time ◽  
Time Structure ◽  
Stit Logic ◽  
Completeness Result ◽  
Time Part

Abstract In Part I of this paper we presented a Hilbert-style system $\Sigma _D$ axiomatizing stit logic of justification announcements interpreted over models with discrete time structure. In this part, we prove three frame definability results for $\Sigma _D$ using three different definitions of a frame plus another version of completeness result.

scholarly journals A simple proof of Andrews’s 5 F 4 evaluation

2013 ◽  
Vol 36 (1-2) ◽  
pp. 165-170 ◽  
Author(s):  
Ira M. Gessel
Keyword(s):  
Simple Proof

A simple proof of existence of weak and statistical solutions of Navier–Stokes equations

1992 ◽  
Vol 436 (1896) ◽  
pp. 1-11 ◽  
Keyword(s):  
Weak Solution ◽  
Initial Data ◽  
Natural Number ◽  
Simple Proof ◽  
Stokes Equations ◽  
Galerkin Approximation ◽  
Navier Stokes ◽  
Navier Stokes Equations ◽  
Existence Proofs ◽  
Statistical Solutions

The Galerkin approximation to the Navier–Stokes equations in dimension N , where N is an infinite non-standard natural number, is shown to have standard part that is a weak solution. This construction is uniform with respect to non-standard representation of the initial data, and provides easy existence proofs for statistical solutions.

scholarly journals A representation theorem for the linear quasi-differential equation(py′)′+qy=0

2000 ◽  
Vol 23 (8) ◽  
pp. 579-584
Author(s):  
J. G. O'Hara
Keyword(s):  
Differential Equation ◽  
Comparison Theorem ◽  
Simple Proof ◽  
Representation Theorem ◽  
Second Order ◽  
Order Linear

We establish a representation forqin the second-order linear quasi-differential equation(py′)′+qy=0. We give a number of applications, including a simple proof of Sturm's comparison theorem.

A simple proof of the kinematic formula

1988 ◽  
Vol 105 (4) ◽  
pp. 279-285 ◽  
Author(s):  
P. Mani-Levitska
Keyword(s):  
Simple Proof ◽  
Kinematic Formula

An argument of a function in H1/2

2012 ◽  
Vol 55 (2) ◽  
pp. 507-511
Author(s):  
Takahiko Nakazi ◽  
Takanori Yamamoto
Keyword(s):  
Hardy Space ◽  
Simple Proof ◽  
Unit Disc ◽  
Open Unit ◽  
Open Unit Disc

AbstractLet H1/2 be the Hardy space on the open unit disc. For two non-zero functions f and g in H1/2, we study the relation between f and g when f/g ≥ 0 a.e. on ∂D. Then we generalize a theorem of Neuwirth and Newman and Helson and Sarason with a simple proof.

Sign in / Sign up

Export Citation Format

Share Document