Switch to: Citations

References in:

A categorical approach to polyadic algebras

Roch Ouellet

Studia Logica 41 (4):317 - 327 (1982)

Add references

You must login to add references.

Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.details 2014 Reprint of 1962 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. In "Algebraic Logic" Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of Alfred Tarski and his students. An elementary version of polyadic algebra is described in monadic Boolean algebra. This book addresses some of the problems of mathematical logic and the theory of polyadic Boolean algebras in particular. It is intended to be an efficient (...) Download Export citation Bookmark 59 citations
Inclusive first-order logic.Roch Ouellet - 1981 - Studia Logica 40 (1):13 - 28.details Some authors have studied in an ad hoc fashion the inclusive logics, that is the logics which admit or include objects or sets without element. These logics have been recently brought into the limelight because of the use of arbitrary topoi for interpreting languages. (In topoi there are usually many objects without element.)The aim of the paper is to present, for some inclusive logics, an axiomatization as natural and as simple as possible. Because of the intended applications to category theory, (...) Download Export citation Bookmark 1 citation

1