- 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
Quasilinear Posets and some Subsystems Of Dummett's LC
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):257-266 (1987)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
A Cut-Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):289-301.
Representation of posets.Yungchen Cheng & Paula Kemp - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):269-276.
On a Property of Matrices for Subsystems of IC+.Dolph Ulrich - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):193-194.
On subsystems of the system J1 of Arruda and Da Costa.Igor Urbas - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):95-106.
The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (1-2):29-32.
Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.Mitio Takano - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):129-138.
Weak axioms of determinacy and subsystems of analysis I: δ20 games.Kazuyuki Tanaka - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):481-491.
Syllogistics of Some Theories.S. N. Furs - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):31-42.
Some Notions of Reducibility and Productiveness.A. H. Lachlan - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (1):17-44.
The Complexity of Some Combinatorial Constructions.Hans Georg Carstens - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):121-130.
Analytics
Added to PP
2013-12-01
Downloads
32 (#127,447)
6 months
5 (#1,552,255)
2013-12-01
Downloads
32 (#127,447)
6 months
5 (#1,552,255)
Historical graph of downloads
Author's Profile
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-6686886f5-ktvwr uwo