Results 1  10
of
43
A Sahlqvist theorem for distributive modal logic
 Annals of Pure and Applied Logic 131, Issues
, 2002
"... Dedicated to Bjarni Jónsson In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For ..."
Abstract

Cited by 25 (8 self)
 Add to MetaCart
Dedicated to Bjarni Jónsson In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the form of ordered Kripke structures. The main contributions of this paper lie in extending the notion of Sahlqvist axioms to our generalized setting and proving both a correspondence and a canonicity result for distributive modal logics axiomatized by Sahlqvist axioms. Our proof of the correspondence result relies on a reduction to the classical case, but our canonicity proof departs from the traditional style and uses the newly extended algebraic theory of canonical extensions.
Introductory Course on Relation Algebras, FiniteDimensional Cylindric Algebras, and Their Interconnections
 Algebraic Logic
, 1990
"... These are notes for a short course on relation algebras, finitedimensional cylindric algebras, and their interconnections, delivered at the Conference on Algebraic Logic, Budapest, Hungary, August 814, 1988, sponsored by the the Janos Bolyai Mathematical Society. ..."
Abstract

Cited by 24 (3 self)
 Add to MetaCart
These are notes for a short course on relation algebras, finitedimensional cylindric algebras, and their interconnections, delivered at the Conference on Algebraic Logic, Budapest, Hungary, August 814, 1988, sponsored by the the Janos Bolyai Mathematical Society.
On The Algebraic Models Of Lambda Calculus
 Theoretical Computer Science
, 1997
"... . The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way Boolean algebras algebraize the classical propositional calculus. The equational theory of lambda abstraction algebras is intended as an alternative to combinatory ..."
Abstract

Cited by 20 (11 self)
 Add to MetaCart
. The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way Boolean algebras algebraize the classical propositional calculus. The equational theory of lambda abstraction algebras is intended as an alternative to combinatory logic in this regard since it is a firstorder algebraic description of lambda calculus, which allows to keep the lambda notation and hence all the functional intuitions. In this paper we show that the lattice of the subvarieties of lambda abstraction algebras is isomorphic to the lattice of lambda theories of the lambda calculus; for every variety of lambda abstraction algebras there exists exactly one lambda theory whose term algebra generates the variety. For example, the variety generated by the term algebra of the minimal lambda theory is the variety of all lambda abstraction algebras. This result is applied to obtain a generalization of the genericity lemma of finitary lambda calculus...
Dynamic Algebras: Examples, Constructions, Applications
 Studia Logica
, 1991
"... Dynamic algebras combine the classes of Boolean (B 0 0) and regular (R [ ; ) algebras into a single finitely axiomatized variety (B R 3) resembling an Rmodule with "scalar" multiplication 3. The basic result is that is reflexive transitive closure, contrary to the intuition that this con ..."
Abstract

Cited by 17 (1 self)
 Add to MetaCart
Dynamic algebras combine the classes of Boolean (B 0 0) and regular (R [ ; ) algebras into a single finitely axiomatized variety (B R 3) resembling an Rmodule with "scalar" multiplication 3. The basic result is that is reflexive transitive closure, contrary to the intuition that this concept should require quantifiers for its definition. Using this result we give several examples of dynamic algebras arising naturally in connection with additive functions, binary relations, state trajectories, languages, and flowcharts. The main result is that free dynamic algebras are residually finite (i.e. factor as a subdirect product of finite dynamic algebras), important because finite separable dynamic algebras are isomorphic to Kripke structures. Applications include a new completeness proof for the Segerberg axiomatization of propositional dynamic logic, and yet another notion of regular algebra. Key words: Dynamic algebra, logic, program verification, regular algebra. This paper or...
Algebraic logic, varieties of algebras, and algebraic varieties
, 1995
"... Abstract. The aim of the paper is discussion of connections between the three kinds of objects named in the title. In a sense, it is a survey of such connections; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider a field that could ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
Abstract. The aim of the paper is discussion of connections between the three kinds of objects named in the title. In a sense, it is a survey of such connections; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider a field that could be understood as an universal algebraic geometry. This geometry is parallel to universal algebra. In the monograph [51] algebraic logic was used for building up a model of a database. Later on, the structures arising there turned out to be useful for solving several problems from algebra. This is the position which the present paper is written from.
A Note on Relativised Products of Modal Logics
 Advances in Modal Logic
, 2003
"... this paper. each frame of the class.) For example, K is the logic of all nary product frames. It is not hard to see that S5 is the logic of all nary products of universal frames having the same worlds, that is, frames hU; R i i with R i = U U . We refer to product frames of this kind as cu ..."
Abstract

Cited by 10 (6 self)
 Add to MetaCart
this paper. each frame of the class.) For example, K is the logic of all nary product frames. It is not hard to see that S5 is the logic of all nary products of universal frames having the same worlds, that is, frames hU; R i i with R i = U U . We refer to product frames of this kind as cubic universal product S5 frames. Note that the `ireduct' F U 1 U n ; R i of F 1 F n is a union of n disjoint copies of F i . Thus, F and F i validate the same formulas, and so L n L 1 L n : There is a strong interaction between the modal operators of product logics. Every nary product frame satis es the following two properties, for each pair i 6= j, i; j = 1; : : : ; n: Commutativity : 8x8y8z xR i y ^ yR j z ! 9u (xR j u ^ uR i z) ^ xR j y ^ yR i z ! 9u (xR i u ^ uR j z) Church{Rosser property : 8x8y8z xR i y ^ xR j z ! 9u (yR j u ^ zR i u) This means that the corresponding modal interaction formulas 2 i 2 j p $ 2 j 2 i p and 3 i 2 j p ! 2 j 3 i p belong to every ndimensional product logic. The geometrically intuitive manydimensional structure of product frames makes them a perfect tool for constructing formalisms suitable for, say, spatiotemporal representation and reasoning (see e.g. [33, 34]) or reasoning about the behaviour of multiagent systems (see e.g. [4]). However, the price we have to pay for the use of products is an extremely high computational complexityeven the product of two NPcomplete logics can be nonrecursively enumerable (see e.g. [29, 27]). In higher dimensions practically all products of `standard' modal logics are undecidable and non nitely axiomatisable [16]
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 (7 self)
 Add to MetaCart
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.
Duality for LatticeOrdered Algebras and for Normal Algebraizable Logics
 Studia Logica
, 1997
"... Part I of this paper is developed in the tradition of Stonetype dualities, where we present a new topological representation for general lattices (influenced by and abstracting over both Goldblatt's [17] and Urquhart's [46]), identifying them as the lattices of stable compactopens of their dual St ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
Part I of this paper is developed in the tradition of Stonetype dualities, where we present a new topological representation for general lattices (influenced by and abstracting over both Goldblatt's [17] and Urquhart's [46]), identifying them as the lattices of stable compactopens of their dual Stone spaces (stability refering to a closure operator on subsets). The representation is functorial and is extended to a full duality. In part II, we consider latticeordered algebras (lattices with additional operators) , extending the J'onsson and Tarski representation results [30] for Boolean algebras with Operators. Our work can be seen as developing, and indeed completing, Dunn's project of gaggle theory [13, 14]. We consider general lattices (rather than Boolean algebras), with a broad class of operators, which we dubb normal, and which includes the J'onssonTarski additive operators. Representation of `algebras is extended to full duality. In part III we discuss applications in logic...