[FOM] Square of Opposition Congress

Jon Awbrey jawbrey at att.net
Tue Dec 15 12:12:59 EST 2009


There's no way I can get to that conference,
but I have run into a slightly novel (to me)
perspective on the square of opposition in
connection with my studies of higher order
propositional logic.  See the tables here:

http://ncatlab.org/nlab/revision/higher-order+logic/47

or here:

http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Functional_Logic_:_Quantification_Theory

Jon Awbrey

-- 

inquiry list: http://stderr.org/pipermail/inquiry/
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
mof: http://mathoverflow.net/users/1636/jon-awbrey
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey



More information about the FOM mailing list