A simple algebra of first order logic

Notre Dame Journal of Formal Logic 14 (3):361-366 (1973)
  Copy   BIBTEX

Abstract

A new system of algebraic logic is described. it is closely related to cylindric and polyadic algebras, and is axiomatized by a small number of very simple equations

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891000

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The semijoin algebra and the guarded fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
A General Setting for Dedekind's Axiomatization of the Positive Integers.George Weaver - 2011 - History and Philosophy of Logic 32 (4):375-398.
Augustus De Morgan's Boolean Algebra.Daniel D. Merrill - 2005 - History and Philosophy of Logic 26 (2):75-91.
Interpreting first-order theories into a logic of records.Marcel van de Vel - 2002 - Studia Logica 72 (3):411-432.
Interpreting First-Order Theories into a Logic of Records.Marcel van De Vel - 2002 - Studia Logica 72 (3):411 - 432.
On łukasiewicz-moisil algebras of fuzzy sets.Sergiu Rudeanu - 1993 - Studia Logica 52 (1):95 - 111.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Problems of equivalence, categoricity of axioms and states description in databases.Tatjana L. Plotkin, Sarit Kraus & Boris I. Plotkin - 1998 - Studia Logica 61 (3):347-366.
An Infinitary Extension of Jankov’s Theorem.Yoshihito Tanaka - 2007 - Studia Logica 86 (1):111 - 131.
Logic games are complete for game logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.
Orthoimplication algebras.J. C. Abbott - 1976 - Studia Logica 35 (2):173 - 177.
Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras.J. P. Díaz Varela & B. F. López Martinolich - 2011 - Studia Logica 98 (1-2):307-330.

Analytics

Added to PP
2010-08-24

Downloads
15 (#926,042)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Charles Claude Pinter
Bucknell University

Citations of this work

An autobiography of polyadic algebras.Paul R. Halmos - 2000 - Logic Journal of the IGPL 8 (4):383-392.

Add more citations

References found in this work

No references found.

Add more references