- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Algebraic new foundations
Journal of Symbolic Logic 84 (2):798-832 (2019)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
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.
SICs and Algebraic Number Theory.Marcus Appleby, Steven Flammia, Gary McConnell & Jon Yard - 2017 - Foundations of Physics 47 (8):1042-1059.
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 Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Algebraic Theories, Algebraic Categories, and Algebraic Functors.F. William Lawvere - 1971 - Journal of Symbolic Logic 36 (2):336-337.
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.
Review: F. William Lawvere, Algebraic Theories, Algebraic Categories, and Algebraic Functors. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
Beyond Rasiowa's Algebraic Approach to Non-classical Logics.Josep Maria Font - 2006 - Studia Logica 82 (2):179-209.
Why conceptual rigour matters to philosophy: On the ontological significance of algebraic quantum field theory. [REVIEW]Meinard Kuhlmann - 2010 - Foundations of Physics 40 (9-10):1625-1637.
Hyperformulas and Solid Algebraic Systems.Klaus Denecke & Dara Phusanga - 2008 - Studia Logica 90 (2):263-286.
Independence in Operator Algebras.StanisŁaw Goldstein, Andrzej Łuczak & Ivan F. Wilde - 1999 - Foundations of Physics 29 (1):79-89.
Analytics
Added to PP
2019-04-12
Downloads
24 (#656,297)
6 months
1 (#1,469,946)
2019-04-12
Downloads
24 (#656,297)
6 months
1 (#1,469,946)
Historical graph of downloads
References found in this work
Frege's double correlation thesis and Quine's set theories NF and ML.Nino B. Cocchiarella - 1985 - Journal of Philosophical Logic 14 (1):1 - 39.
Relating first-order set theories, toposes and categories of classes.Steve Awodey, Carsten Butz, Alex Simpson & Thomas Streicher - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
Automorphisms of models of set theory and extensions of NFU.Zachiri McKenzie - 2015 - Annals of Pure and Applied Logic 166 (5):601-638.
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.Joanna Golińska-Pilarek & Taneli Huuskonen - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-zf4z4 uwo