Page history

MyWikiBiz, Author Your Legacy — Monday September 29, 2025
Jump to navigationJump to search

Jon Awbrey/Papers/Functional Logic : Higher Order Propositions

4 July 2013

  • Jon Awbrey

    add categories

    03:12

    +733

25 May 2013

  • Jon Awbrey

    →‎Higher Order Propositions and Logical Operators (n = 1): force png

    02:22

    +52

18 March 2012

  • Jon Awbrey

    →‎Extending the Existential Interpretation to Quantificational Logic: PNG not displaying -- try the JPEG instead

    17:22

23 November 2009

  • Jon Awbrey

    →‎Application of Higher Order Propositions to Quantification Theory: restyle tables

    22:22

    +578

  • Jon Awbrey

    sub [ smallmatrix / matrix ] in column heads

    03:20

    +160

  • Jon Awbrey

    add last piece

    03:10

    +27,628

22 November 2009

  • Jon Awbrey

    add content

    16:10

    +1,961

  • Jon Awbrey

    →‎Measure for Measure: remove unnecessary parentheses

    14:54

    +6

  • Jon Awbrey

    add a bit more

    14:44

    +2,586

  • Jon Awbrey

    add another piece

    13:26

    +5,051

  • Jon Awbrey

    →‎Measure for Measure: fix table heading & spacing

    04:05

    -2

  • Jon Awbrey

    add a bit more

    04:00

    +906

  • Jon Awbrey

    →‎Measure for Measure: fix truth table labels + cleanup

    03:52

    +11

  • Jon Awbrey

    try again

    03:45

    +68,160

Retrieved from "https://mywikibiz.com/Special:History/Directory:Jon_Awbrey/Papers/Functional_Logic_:_Higher_Order_Propositions"

Navigation menu

Page actions

  • Directory
  • Discussion
  • View source
  • History

Page actions

  • Directory
  • Discussion
  • More
  • Tools
  • In other languages

Personal tools

  • English
  • Log in
  • Request account

Navigation

  • Main page
  • Add a listing
  • Directory portals
  • Recent changes
  • Random article
  • Help
  • Contact MyWikiBiz
  • Site Stats

semantic

  • SEO methods
  • Properties
  • Categories

Site statistics

Tools

  • Special pages
  • Printable version

 
Powered by MediaWikiPowered by Semantic MediaWiki
  • Privacy policy
  • About MyWikiBiz
  • Disclaimers
  • Mobile view