Independence of rose's axioms for m-valued implication
Journal of Symbolic Logic 34 (2):283-284 (1969)
| 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,672 |
| External links |
|
| Through your library | Configure |
Sara Miner More & Pavel Naumov (2010). An Independence Relation for Sets of Secrets. Studia Logica 94 (1).
Jamie Tappenden (2000). Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments? Notre Dame Journal of Formal Logic 41 (3):271-315.
Ulrich Höhle (1998). GL-Quantales: Q-Valued Sets and Their Singletons. Studia Logica 61 (1):123-148.
Ross T. Brady (1972). The Relative Consistency of the Class Axioms of Abstraction and Extensionality and the Axioms of NBG in a Three-Valued Logic. Notre Dame Journal of Formal Logic 13 (2):161-176.
Samson Abramsky & Jouko Väänänen (2009). From If to Bi. Synthese 167 (2):207 - 230.
Michael Katz (1981). Łukasiewicz Logic and the Foundations of Measurement. Studia Logica 40 (3):209 - 225.
Anjan Shukla (1965). A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implication. Notre Dame Journal of Formal Logic 6 (2):123-128.
Itay Ben-Yaacov (2003). Discouraging Results for Ultraimaginary Independence Theory. Journal of Symbolic Logic 68 (3):846-850.
T. Thacher Robinson (1968). Independence of Two Nice Sets of Axioms for the Propositional Calculus. Journal of Symbolic Logic 33 (2):265-270.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |

