Results 1  10
of
45
Derivation rules as antiaxioms in modal logic
 Journal of Symbolic Logic
, 1993
"... Abstract. We discuss a ‘negative ’ way of defining frame classes in (multi)modal logic, and address the question whether these classes can be axiomatized by derivation rules, the ‘nonξ rules’, styled after Gabbay’s Irreflexivity Rule. The main result of this paper is a metatheorem on completeness ..."
Abstract

Cited by 46 (4 self)
 Add to MetaCart
Abstract. We discuss a ‘negative ’ way of defining frame classes in (multi)modal logic, and address the question whether these classes can be axiomatized by derivation rules, the ‘nonξ rules’, styled after Gabbay’s Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas, and Λ+ is the extension of Λ with a set of nonξ rules, then Λ+ is strongly sound and complete with respect to the class of frames determined by the axioms and the rules.
Operators and Laws for Combining Preference Relations
, 2002
"... The paper is a theoretical study of a generalization of the lexicographic rule for combining ordering relations. We define the concept of priority operator: a priority operator maps a family of relations to a single relation which represents their lexicographic combination according to a certain pri ..."
Abstract

Cited by 40 (0 self)
 Add to MetaCart
The paper is a theoretical study of a generalization of the lexicographic rule for combining ordering relations. We define the concept of priority operator: a priority operator maps a family of relations to a single relation which represents their lexicographic combination according to a certain priority on the family of relations. We present four kinds of results. We show
Step by Step  Building Representations in Algebraic Logic
 Journal of Symbolic Logic
, 1995
"... We consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterised according to the outcome of certain games. The Lyndon conditions defini ..."
Abstract

Cited by 32 (17 self)
 Add to MetaCart
We consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterised according to the outcome of certain games. The Lyndon conditions defining representable relation algebras (for the finite case) and a similar schema for cylindric algebras are derived. Countable relation algebras with homogeneous representations are characterised by first order formulas. Equivalence games are defined, and are used to establish whether an algebra is !categorical. We have a simple proof that the perfect extension of a representable relation algebra is completely representable. An important open problem from algebraic logic is addressed by devising another twoplayer game, and using it to derive equational axiomatisations for the classes of all representable relation algebras and representable cylindric algebras. Other instances of this ap...
Y.: Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica 54
, 1995
"... with an Application ..."
(Show Context)
On the Search for a Finitizable Algebraization of First Order Logic
, 2000
"... We give an algebraic version of first order logic without equality in which the class of representable algebras forms a nitely based equational class. Further, the representables are dened in terms of set algebras, and all operations of the latter are permutation invariant. The algebraic form of thi ..."
Abstract

Cited by 26 (1 self)
 Add to MetaCart
We give an algebraic version of first order logic without equality in which the class of representable algebras forms a nitely based equational class. Further, the representables are dened in terms of set algebras, and all operations of the latter are permutation invariant. The algebraic form of this result is Theorem 1.1 (a concrete version of which is given by Theorems 2.8 and 4.2), while its logical form is Corollary 5.2. For first order logic with equality we give a result weaker than the one for rst order logic without equality. Namely, in this case  instead of finitely axiomatizing the corresponding class of all representable algebras  we finitely axiomatize only the equational theory of that class. See Subsection 6.1, especially Remark 6.6 there. The proof of Theorem 1.1 is elaborated in Sections 3 and 4. These sections contain theorems which are interesting of their own rights, too, e.g. Theorem 4.2 is a purely semigroup theoretic result. Cf. also "Further main results" in the
Omitting types for finite variable fragments and complete representations of algebras
, 2007
"... ..."
COMPLEXITY OF EQUATIONS VALID IN ALGEBRAS OF RELATIONS  Part II: Finite axiomatizations.
"... We study algebras whose elements are relations, and the operations are natural "manipulations" of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schroder (who expanded the Boolean tradition with extra operators to handle algebras of binary relations). Well ..."
Abstract

Cited by 18 (2 self)
 Add to MetaCart
We study algebras whose elements are relations, and the operations are natural "manipulations" of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schroder (who expanded the Boolean tradition with extra operators to handle algebras of binary relations). Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of nary relations, RPEAn of polyadic equality algebras of nary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: for every natural number k there is an equation in E containing more than k distinct variables and all the operation symbols, if 2 ! n ! !. Completely analogous statement holds for the case n !. This improves Monk's famous nonfinitizability theorem for which we give here a simple proof. We prove analogous nonfinitizability properties of the larger varieties SNrnCA n+k . We prove that the complementa...
Relation Algebras of Intervals
 ARTIFICIAL INTELLIGENCE
, 1994
"... Given a representation of a relation algebra we construct relation algebras of pairs and of intervals. If the representation happens to be complete, homogeneous and fully universal then the pair and interval algebras can be constructed direct from the relation algebra. If, further, the original rel ..."
Abstract

Cited by 16 (3 self)
 Add to MetaCart
Given a representation of a relation algebra we construct relation algebras of pairs and of intervals. If the representation happens to be complete, homogeneous and fully universal then the pair and interval algebras can be constructed direct from the relation algebra. If, further, the original relation algebra is !categorical we show that the interval algebra is too. The complexity of relation algebras is studied and it is shown that every pair algebra with infinite representations is intractable. Applications include constructing an interval algebra that combines metric and interval expressivity.
Finite Schematizable Algebraic Logic
, 1997
"... In this work, we attempt to alleviate three (more or less) equivalent negative results. These are (i) nonaxiomatizability (by any nite schema) of the valid formula schemas of rst order logic, (ii) nonaxiomatizability (by nite schema) of any propositional logic equivalent with classical rst ..."
Abstract

Cited by 16 (1 self)
 Add to MetaCart
In this work, we attempt to alleviate three (more or less) equivalent negative results. These are (i) nonaxiomatizability (by any nite schema) of the valid formula schemas of rst order logic, (ii) nonaxiomatizability (by nite schema) of any propositional logic equivalent with classical rst order logic (i.e., modal logic of quanti cation and substitution), and (iii) nonaxiomatizability (by nite schema) of the class of representable cylindric algebras (i.e., of the algebraic counterpart of rst order logic). Here we present two nite schema axiomatizable classes of algebras that contain, as a reduct, the class of representable quasipolyadic algebras and the class of representable cylindric algebras, respectively. We establish positive results in the direction of nitary algebraization of rst order logic without equality as well as that with equality. Finally, we will indicate how these constructions can be applied to turn negative results (i), (ii) above to positive ones.
Nonmodularity Results for Lambda Calculus
 Fundamenta Informaticae
, 2001
"... The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the firstorder predicate logic. In this paper we prove that the lattice of lambda theories is not modular and that the va ..."
Abstract

Cited by 10 (6 self)
 Add to MetaCart
(Show Context)
The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the firstorder predicate logic. In this paper we prove that the lattice of lambda theories is not modular and that the variety generated by the term algebra of a semisensible lambda theory is not congruence modular. Another result of the paper is that the Mal'cev condition for congruence modularity is inconsistent with the lambda theory generated by equating all the unsolvable lambdaterms.