Life-world constitution of propositional logic and elementary predicate logic
Philosophy and Phenomenological Research 32 (3):322-340 (1972)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
|
| Through your library | Configure |
M. J. Cresswell (1995). Incompleteness and the Barcan Formula. Journal of Philosophical Logic 24 (4):379 - 403.
Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček (1998). Embedding Logics Into Product Logic. Studia Logica 61 (1):35-47.
Peter W. O'Hearn & David J. Pym (1999). The Logic of Bunched Implications. Bulletin of Symbolic Logic 5 (2):215-244.
Ernst Zimmermann (2002). A Predicate Logical Extension of a Subintuitionistic Propositional Logic. Studia Logica 72 (3):401-410.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
Dmitrij Skvortsov (1997). Not Every "Tabular" Predicate Logic is Finitely Axiomatizable. Studia Logica 59 (3):387-396.
A. A. Stoli͡ar (1984). Introduction to Elementary Mathematical Logic. Dover Publications.
Morten H. Sørensen & Paweł Urzyczyn (2010). A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic. Notre Dame Journal of Formal Logic 51 (4):457-473.
Greg Restall (2005). Logic: An Introduction. Routledge.
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,729 of 549,132 )Recent downloads (6 months)0How can I increase my downloads? |

