Mehmet Terziler

A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC

We study the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPC. The main result is Theorem 3.1 which gives a basis consisting of all rules in semi-reduced form satisfying certain specific additional requirements. Using developed technique we also find a basis for rules admissible in the logic of excluded middle law KC.

The Eigenvalue Problem for a Matrix of a Special Form and Its Applications

Abstract This paper investigates the properties of eigenvalues and eigenvectors of a matrix of order 2 N , where J is a symmetric tridiagonal real matrix of order N , R and C are positive diagonal matrices of order N , and I is the identity matrix. The obtained results are then used to solve the corresponding system of differential equations with the boundary and initial conditions.

Unification and Passive Inference Rules for Modal Logics

ABSTRACT We1 study unification of formulas in modal logics and consider logics which are equivalent w.r.t. unification of formulas. A criteria is given for equivalence w.r.t. unification via existence or persistent formulas. A complete syntactic description of all formulas which are non-unifiable in wide classes of modal logics is given. Passive inference rules are considered, it is shown that in any modal logic over D4 there is a finite basis for passive rules.

On self-admissible quasi-characterizing inference rules

We study quasi-characterizing inference rules (this notion was introduced into consideration by A. Citkin (1977). The main result of our paper is a complete description of all self-admissible quasi-characterizing inference rules. It is shown that a quasi-characterizing rule is self-admissible iff the frame of the algebra generating this rule is not rigid. We also prove that self-admissible rules are always admissible in canonical, in a sense, logics S4 or IPC regarding the type of algebra generating rules.

On a Question of Phillips

In [5] Phillips proved that one can obtain the additive group of any nonstandard model *ℤ of the ring ℤ of integers by using a linear mod 1 function h : F ℚ, where F is the α-dimensional vector space over ℚ when α is the cardinality of *ℤ. In this connection it arises the question whether there are linear mod 1 functions which are neither addition nor quasi-linear. We prove that this is the case.

Peritopological spaces and bisimulations

Generalizing ordinary topological and pretopological spaces, we introduce the notion of peritopology where neighborhoods of a point need not contain that point, and some points might even have an empty neighborhood. We briefly describe various intrinsic aspects of this notion. Applied to modal logic, it gives rise to peritopological models, a generalization of topological models, a spacial case of neighborhood semantics. (In a last section, the relation between the latter and the former is discussed, cursorily). A new cladding for bisimulation is presented. The concept of Alexandroff peritopology is used in order to determine the logic of all peritopological spaces, and we prove that the minimal logic K is strongly complete with respect to the class of all peritopological spaces. We also show that the classes of T0, T1 and T2-peritopological spaces are not modal definable, and that D is the logic of all proper peritopological spaces. AMS subject classification : 03B45, 54A05

On the Additive Group Structure of the Nonstandard Models of the Theory of Integers

Let denote the inverse limit of all finite cyclic groups. Let F, G and H be abelian groups with H ≤ G. Let FβH denote the abelian group (F × H, +β), where +βis defined by (a, x) +β (b, y) = (a + b, x + y + β(a) + β(b) — β(a + b)) for a certain β : F G linear mod H meaning that β(0) = 0 and β(a) + β(b) — β(a + b) ∈ H for all a, b in F. In this paper we show that the following hold: (1) The additive group of any nonstandard model ℤ* of the ring ℤ is isomorphic to (ℤ*+/H)βH for a certain β : ℤ*+/H linear mod H. (2) is isomorphic to (ℤ+/H )βH for some β : /H ℚ linear mod H, though is not the additive group of any model of Th(ℤ, +, ×) and the exact sequence H /H is not splitting.

Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic

It is shown that a set of all rules in semireduced form whose premises satisfy a collection of specific conditions form a basis for all rules admissible in IPC. The conditions specified are quite natural, and many of them show up as properties of maximal theories in the canonical Kripke model for IPC. Besides, a similar basis is constructed for rules admissible in the superintuitionistic logic KC, a logic of the weak law of the excluded middle.

Independent bases for admissible rules in pretable logics

Independent bases of admissible inference rules are studied; namely, we treat inference rules in pretable modal logics over S4, and in pretable superintuitionistic logics. The Maksimova-Esakia-Meskhi theorem holds that there exist exactly five pretable S4-logics and precisely three pretable superintuitionistic ones. We argue that all pretable modal logics and all pretable super-intuitionistic logics have independent bases for admissible inference rules.