-
Join 79 other subscribers
-
Recent Posts
Archives
- April 2024
- March 2024
- February 2024
- March 2023
- February 2023
- December 2022
- November 2022
- July 2022
- June 2022
- May 2022
- March 2022
- February 2022
- January 2022
- December 2021
- August 2021
- July 2021
- June 2021
- May 2021
- March 2021
- February 2021
- January 2021
- September 2020
- August 2020
- July 2020
- June 2020
- April 2020
- March 2020
- February 2020
- January 2020
- December 2019
- October 2019
- June 2019
- April 2019
- March 2019
- October 2018
- September 2018
- November 2017
- June 2017
- May 2017
- April 2017
- March 2017
- March 2016
- January 2016
- December 2015
- November 2015
- October 2015
- September 2015
- July 2012
- April 2012
- March 2012
- December 2011
- May 2011
- April 2011
- March 2011
- February 2011
- July 2010
Meta
Monthly Archives: March 2017
Logic without Bound Variables [200 views]
I’ve already described the relatively simple Monadic Hybrid Calculus that allows you to say simple things formally without bound variables. For example, sG may mean “Socrates is Greek”, [G]M “all Greeks are Mortal”, and the conclusion “Socrates is Mortal”, sM. … Continue reading
Posted in Uncategorized
Leave a comment
Bill Wadge's Blog 