{"id":1141,"date":"2009-07-15T14:26:55","date_gmt":"2009-07-15T21:26:55","guid":{"rendered":"http:\/\/www.realfuture.org\/wordpress\/?p=1141"},"modified":"2009-07-15T14:30:36","modified_gmt":"2009-07-15T21:30:36","slug":"logic-systems","status":"publish","type":"post","link":"https:\/\/www.realfuture.org\/wordpress\/logic-systems\/","title":{"rendered":"Logic Systems"},"content":{"rendered":"<p><strong>System T<\/strong><\/p>\n<p>(1) \u00e2\u2013\u00a1 p \u00e2\u2020\u2019 p<\/p>\n<p>(2) \u00e2\u2013\u00a1 (p \u00e2\u2020\u2019 q) \u00e2\u2020\u2019 (\u00e2\u2013\u00a1 p \u00e2\u2020\u2019 \u00e2\u2013\u00a1 q)<\/p>\n<p><strong>System B<\/strong> (Brouwerian)<\/p>\n<p>(3) p \u00e2\u2020\u2019 \u00e2\u2013\u00a1 \u00e2\u2014\u0160 p<\/p>\n<p><strong>System S4 <\/strong>(Lewis)<\/p>\n<p>(4) \u00e2\u2013\u00a1 p \u00e2\u2020\u2019 \u00e2\u2013\u00a1 \u00e2\u2013\u00a1 p<\/p>\n<p><strong>System S5<\/strong><strong> <\/strong>(Lewis)<\/p>\n<p>(5) \u00e2\u2014\u0160 p \u00e2\u2020\u2019 \u00e2\u2013\u00a1 \u00e2\u2014\u0160 p<\/p>\n","protected":false},"excerpt":{"rendered":"<p>System T (1) \u00e2\u2013\u00a1 p \u00e2\u2020\u2019 p (2) \u00e2\u2013\u00a1 (p \u00e2\u2020\u2019 q) \u00e2\u2020\u2019 (\u00e2\u2013\u00a1 p \u00e2\u2020\u2019 \u00e2\u2013\u00a1 q) System B (Brouwerian) (3) p \u00e2\u2020\u2019 \u00e2\u2013\u00a1 \u00e2\u2014\u0160 p System S4 (Lewis) (4) \u00e2\u2013\u00a1 p \u00e2\u2020\u2019 \u00e2\u2013\u00a1 \u00e2\u2013\u00a1 p System S5 (Lewis) (5) \u00e2\u2014\u0160 p \u00e2\u2020\u2019 \u00e2\u2013\u00a1 \u00e2\u2014\u0160 p<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[37],"tags":[],"class_list":["post-1141","post","type-post","status-publish","format-standard","hentry","category-logic"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/www.realfuture.org\/wordpress\/wp-json\/wp\/v2\/posts\/1141","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.realfuture.org\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.realfuture.org\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.realfuture.org\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.realfuture.org\/wordpress\/wp-json\/wp\/v2\/comments?post=1141"}],"version-history":[{"count":5,"href":"https:\/\/www.realfuture.org\/wordpress\/wp-json\/wp\/v2\/posts\/1141\/revisions"}],"predecessor-version":[{"id":1143,"href":"https:\/\/www.realfuture.org\/wordpress\/wp-json\/wp\/v2\/posts\/1141\/revisions\/1143"}],"wp:attachment":[{"href":"https:\/\/www.realfuture.org\/wordpress\/wp-json\/wp\/v2\/media?parent=1141"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.realfuture.org\/wordpress\/wp-json\/wp\/v2\/categories?post=1141"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.realfuture.org\/wordpress\/wp-json\/wp\/v2\/tags?post=1141"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}