Algebraization of quantifier logics, an introductory overview
From MaRDI portal
Publication:1189899
DOI10.1007/BF00370684zbMath0772.03033OpenAlexW1481249376MaRDI QIDQ1189899
Publication date: 27 September 1992
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370684
surveyrelation algebrasBoolean algebras with operatorscylindric algebraspolyadic algebrasalgebraic quantifier logicfinitely axiomatizable varietiesfinitizabilityuniversal algebraic logic
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cylindric and polyadic algebras; relation algebras (03G15) Abstract model theory (03C95)
Related Items (42)
Weakly representable but not representable relation algebras ⋮ Relational lattices: from databases to universal algebra ⋮ Towards automating duality ⋮ Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras ⋮ Derivation rules as anti-axioms in modal logic ⋮ On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality ⋮ A note on neat reducts ⋮ Elementary generation and canonicity for varieties of Boolean algebras with operators ⋮ A finitely axiomatized formalization of predicate calculus with equality ⋮ Directions in generalized quantifier theory ⋮ Relation algebras of intervals ⋮ Cylindric modal logic ⋮ A short proof of representability of fork algebras ⋮ On the algebraization of Henkin‐type second‐order logic ⋮ The universal theory of first order algebras and various reducts ⋮ Squares in fork arrow logic ⋮ Monadic bounded residuated lattices ⋮ How many varieties of cylindric algebras are there ⋮ Step by step – Building representations in algebraic logic ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Axiomatizability of positive algebras of binary relations ⋮ On fork arrow logic and its expressive power ⋮ Monadic GMV-algebras ⋮ Undecidable theories of Lyndon algebras ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ Monadic bounded commutative residuated \(\ell\)-monoids ⋮ Lambda abstraction algebras: representation theorems ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Representations of distributive lattice-ordered semigroups with binary relations ⋮ On the definition and the representability of quasi-polyadic equality algebras ⋮ Cylindric structures and dependencies in relational databases ⋮ A representation theorem for measurable relation algebras ⋮ Monadic bounded hoops ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Modal languages and bounded fragments of predicate logic ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ Notions of density that imply representability in algebraic logic ⋮ A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism ⋮ On the algebraic models of lambda calculus ⋮ Many-dimensional arrow logics ⋮ Algebraic Logic and Knowledge Bases ⋮ Lambek calculus and its relational semantics: Completeness and incompleteness
Cites Work
- Total correctness in nonstandard logics of programs
- A categorical approach to polyadic algebras
- The relational model of data and cylindric algebras
- The representation of relation algebras. II
- A sequent calculus for relation algebras
- Varieties of relation algebras
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
- Modal definability in enriched languages
- Definability with bounded number of bound variables
- Cylindric algebras. Part II
- The Craig interpolation theorem for propositional logics with strong negation
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- An algebraic study of well-foundedness
- Q-ultrafilters and normal ultrafilters in B-algebras
- Matrix relation algebras
- Dynamic algebras with test
- On varieties of cylindric algebras with applications to logic
- Relation algebras and Schröder categories
- Stone duality for first order logic
- Topological duality for diagonalizable algebras
- Notes on modal definability
- A proof system for the first-order relational calculus
- Interpolation properties of superintuitionistic logics
- Homomorphisms, homomorphic relations and power algebras
- Quantifiers as modal operators
- The lattice of varieties of modal algebras is not strongly atomic
- Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
- Language in action. Categories, lambdas and dynamic logic
- Introduction to the special issue on algebraic logic
- Algebraic logic for classical conjunction and disjunction
- Axiomatizing logics closely related to varieties
- An algebraic approach to non-classical logics
- A simple, purely algebraic proof of the completeness of some first order logics
- Logic in algebraic form. Three languages and theories
- Provability interpretations of modal logic
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- On universal algebraic constructions of logics
- Some sufficient conditions for the representability of relation algebras
- Weakly representable but not representable relation algebras
- On the structure of varieties with equationally definable principal congruences. III
- Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic
- A unifying theorem for algebraic semantics and dynamic logics
- Free Heyting algebras
- A remark of representable positive cylindric algebras
- On inducing homomorphisms between relation set algebras
- On representable relation algebras
- Relation algebras and function semigroups
- Extending Boolean operations
- Varieties of complex algebras
- Near-equational and equational systems of logic for partial functions. I
- Weak cylindric set algebras and weak subdirect indecomposability
- The Neat Embedding Problem and the Number of Variables Required in Proofs
- Finite Axiomatizability using additional predicates
- Nonhomogeneous Polyadic Algebras
- Fixed point algebras
- Peirce, frege, the logic of relations, and church's theorem
- Cylindric algebras with terms
- A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
- Some Varieties Containing Relation Algebras
- Galois Theory for Cylindric Algebras and its Applications
- The completeness of a predicate-functor logic
- Alfred Tarski's work on general metamathematics
- Isomorphic but not lower base-isomorphic cylindric set algebras
- Finitary Algebraic Logic
- Algebraizable logics
- Canonical Relativized Cylindric Set Algebras
- The lattice of modal logics: an algebraic investigation
- Kohärente Systeme von BOOLEschen Algebren
- Cylindric Algebras with Filter Quantifiers
- Predicate functors revisited
- Polyadic MV-Algebras
- Algebraic Analysis of the Topological Logic L(I)
- Pair-Dense Relation Algebras
- GENERAL DYNAMICS
- Non-finite-axiomatizability results in algebraic logic
- Algebraic Semantics for Modal Predicate Logic
- Nonfinite axiomatizability results for cylindric and relation algebras
- A first approach to abstract modal logics
- Axiom systems for first order logic with finitely many variables
- On Automorphisms of Polyadic Algebras
- Nonfinitizability of classes of representable cylindric algebras
- Nonfinitizability of classes of representable polyadic algebras
- On an algebra of sets of finite sequences
- Lawvere's elementary theories and polyadic and cylindric algebras
- Provability with Finitely Many Variables
- Local definability theory
- Substitution algebras in their relation to cylindric algebras
- Copeland algebras
- A Sheaf-Theoretic Duality Theory for Cylindric Algebras
- A simpler set of axioms for polyadic algebras
- Cylindric Algebras and Algebras of Substitutions
- A complete first-order logic with infinitary predicates
- Representation theory for polyadic algebras
- Toward a calculus of concepts
- Algebraic Treatment of the Functional Calculi of Heyting and Lewis
- Boolean Algebras with Operators. Part I
- POLYADIC BOOLEAN ALGEBRAS
- Free algebras in discriminator varieties
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Algebraization of quantifier logics, an introductory overview
