Algebraic Structures of Mathematical Foundations

Open Journal of Philosophy 8 (4):401-407 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.4236/ojpp.2018.84027

Links

PhilArchive



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

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

Algebraic aspects of cut elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - Studia Logica 77 (2):209 - 240.
Countably Categorical Structures with n‐Degenerate Algebraic Closure.Evgueni V. Vassiliev - 1999 - Mathematical Logic Quarterly 45 (1):85-94.
Effective algebraicity.Rebecca M. Steiner - 2013 - Archive for Mathematical Logic 52 (1-2):91-112.
Generalized Kripke Frames.Mai Gehrke - 2006 - Studia Logica 84 (2):241-275.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
The distance function in commutative ℓ-semigroups and the equivalence in łukasiewicz logic.Andrzej Wroński - 2004 - Studia Logica 77 (2):241 - 253.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Foundations for Mathematical Structuralism.Uri Nodelman & Edward N. Zalta - 2014 - Mind 123 (489):39-78.
Reconstructing Hilbert to construct category theoretic structuralism.Elaine Landry - unknown
On the ranges of algebraic functions on lattices.Sergiu Rudeanu & Dan A. Simovici - 2006 - Studia Logica 84 (3):451 - 468.
On the Ranges of Algebraic Functions on Lattices.Sergiu Rudeanu & Dan A. Simovici - 2007 - Studia Logica 84 (3):451-468.
Algebraic Dependence Structures.Vlastimil Dlab - 1966 - Mathematical Logic Quarterly 12 (1):345-377.
How to be a structuralist all the way down.Elaine Landry - 2011 - Synthese 179 (3):435 - 454.
Categorical languages for algebraic structures.W. S. Hatcher & A. Shafaat - 1975 - Mathematical Logic Quarterly 21 (1):433-438.

Analytics

Added to PP
2018-08-10

Downloads
16 (#851,323)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Interpreting the Quantum World.Jeffrey Bub - 1998 - British Journal for the Philosophy of Science 49 (4):637-641.
The logic of existence.Henry S. Leonard - 1956 - Philosophical Studies 7 (4):49 - 64.
Hilbert.Constance Reid - 1999 - Studia Logica 63 (2):297-300.

View all 9 references / Add more references