toph

less info

network profile

90 reputation

5

bio	website
	location
	age
visits	member for	1 year, 5 months
	seen	Nov 13 '12 at 0:13
stats	profile views	11

summary answers questions tags badges favorites bounties reputation activity

2 Questions

votes activity newest

13	Proving $(p \to (q \to r)) \to ((p \to q) \to (p \to r))$
4	Help proving $ \sim \sim (p \to q),\sim \sim p \vdash \sim \sim q $ with intuitionistic axioms

90 Reputation

+65	Proving $(p \to (q \to r)) \to ((p \to q) \to (p \to r))$
+20	Help proving $ \sim \sim (p \to q),\sim \sim p \vdash \sim \sim q $ with intuitionistic axioms

1 Answer

votes activity newest

0	Help proving $ \sim \sim (p \to q),\sim \sim p \vdash \sim \sim q $ with intuitionistic axioms

2 Tags

0

logic × 3

0

intuitionism × 2

1 Account

$Mathematics Stack Exchange$

Mathematics

90 rep

5

5 Badges

recent class name

Editor	Scholar
Nice Question	Student
Supporter

0 Active bounties

active offered earned

This user has no active bounties

2 Votes Cast

all time			by type
2	up		0	question
0	down		2	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.17.690