A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
ABSTRACT In this paper we study consequence relations on the set of many sided sequents over a propositional language. We deal with the consequence relations axiomatized by the sequent calculi defined in [2] and associated with arbitrary finite algebras. These consequence relations are examples of what we call Gentzen systems. We define a semantics for these systems and prove a Strong Completeness Theorem, which is an extension of the Completeness Theorem for provable sequents stated in [2]. For the special case of the finite linear MV-algebras, the Strong Completeness Theorem was proved in [10], as a consequence of McNaughton's Theorem. The main tool to prove this result for arbitrary algebras is the deduction-detachment theorem for Gentzen systems.
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth
When considering m-sequents, it is always possible to obtain an m-sequent calculus VL for every m-valued logic (defined from an arbitrary finite algebra L of cardinality m) following for instance the works of the Vienna Group for Multiple-valued Logics. The Gentzen relations associated with the calculi VL are always finitely equivalential but might not be algebraizable. In this paper we associate an algebraizable 2-Gentzen relation with every sequent calculus VL in a uniform way, provided the original algebra L has a reduct that is a distributive lattice or a pseudocomplemented distributive lattice. We also show that the sentential logic naturally associated with the provable sequents of this algebraizable Gentzen relation is the logic that preserves degrees of truth with respect to the original algebra (in contrast with the more common logic that merely preserves truth). Finally, for some particular logics we obtain 2-sequent calculi that axiomatize the algebraizable Gentzen relations obtained so far.
The law of the solution to a nonlinear hyperbolicSPDE
AbstractLet {
$$\dot W$$
s,t,(s,t∈ℝ+2} be a white noise on ℝ+2. We consider the hyperbolic stochastic partial differential equation {ie863-3} The purpose of this paper is to study the law of the solution to this equation. We analyze the existence and smoothness of the density using the tools of Malliavin Calculus. Finally we prove a large deviation principle on the space of continuous functions, for the family of probabilities obtained by perturbation of the noise in the equation.