sci.logic
[Top] [All Lists]
<prev [Date] next>
<prev [Thread] next>

Any First Order or Set Theoretic versions of Fitch Operators?

from [Dan Christensen]
Subject: Any First Order or Set Theoretic versions of Fitch Operators?
From: "Dan Christensen"
Date: Mon, 28 Aug 2006 15:24:30 -0400
Newsgroups: sci.logic 
Are there any first order or set theoretic versions of the so-called Fitch 
operators as defined in Fitch's "A Logical Analysis of Some Value Concepts?"

Dan
[More with this subject...]
<Prev in Thread] Current Thread [Next in Thread>
  • Any First Order or Set Theoretic versions of Fitch Operators?, Dan Christensen <=
Previous by Date:  Re: Torkel Franzén Lives!, george
Next by Date:  Re: Must higher-order logic be typed?, Owen
Previous by Thread:  Must higher-order logic be typed?, yuyang08
Next by Thread:  The incompleteness theorems, Sigma-1-completeness, induction, all that, Aatu Koskensilta
Indexes:  [Date] [Thread] [Top] [All Lists]
Privacy Policy