Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
On the absence of finite approximation relative to model completeness in propositional provability logic
Authors: Izbaş Olga, Rusu Andrei
– 0.08 Mb
Abstract
In the present paper we consider the expressibility of formulas in the provability logic $GL$ and related to it questions of the model completeness of system of formulas. We prove the absence of a finite approximation relative to model completeness in $GL$.Olga Izbash
Institute of Mathematics and Computer Science
Academy of Sciences of Moldova
E-mail:
Andrei Rusu
Information Society Development Institute
Academy of Sciences of Moldova
E-mail:
Ovidius University of Constanta
Dep. of Mathematics and Informatics
E-mail:
Institute of Mathematics and Computer Science
Academy of Sciences of Moldova
E-mail:
Andrei Rusu
Information Society Development Institute
Academy of Sciences of Moldova
E-mail:
Ovidius University of Constanta
Dep. of Mathematics and Informatics
E-mail:
Fulltext
– 0.08 Mb
Contents
- On certain subclasses of analytic functions associated with generalized struve functions
- Rational bases of GL(2, R)-comitants and of GL(2, R)-invariants for the planar system of differential equations with nonlinearities of the fourth degree
- Certain classes of p-valent analytic functions with negative coefficients and (lambda,p)-starlike with respect to certain points
- Third Hankel determinant for the inverse of reciprocal of bounded turning functions
- Generating Cubic Equations as a Method for Public Encryption
- Determining the Distribution of the Duration of Stationary Games for Zero-Order Markov Processes with Final Sequence of States
- Cubic differential systems with two affine real non-parallel invariant straight lines of maximal multiplicity
- A Parametric Scheme for Online Uniform-Machine Scheduling to Minimize the Makespan
- On the absence of finite approximation relative to model completeness in propositional provability logic
- Alexei Cașu (Kashu). On his 75th Anniversary.
