Minimal logic valid?
- From: Jan Burse <janburse@xxxxxxxxxxx>
- Date: Fri, 06 Jun 2008 15:42:28 +0200
~A, ~A->(B->A) |- ~B
.
- Follow-Ups:
- Re: Minimal logic valid?
- From: Jan Burse
- Re: Minimal logic valid?
- From: Jan Burse
- Re: Minimal logic valid?
- From: MoeBlee
- Re: Minimal logic valid?
- Prev by Date: Re: Intuitionistic second order propositional logic: Any sources?
- Next by Date: Re: Intuitionistically valid?
- Previous by thread: Top seven reasons why u want a better relationship with your boss.
- Next by thread: Re: Minimal logic valid?
- Index(es):
