We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: On the independence of Robinson's set of axioms for propositional calculus

Authors: Benoît Jubin
Abstract: We give a normal five-valued truth-table proving independence of one of the axioms in Robinson's set of axioms for propositional calculus from 1968, answering a question raised in his article, where he uses a non-normal truth-table. We also give a normal four-valued truth-table proving independence of one of the other axioms, where he uses a normal five-valued truth-table.
Comments: 3 pages; v3: addendum with one table
Subjects: Logic (math.LO)
MSC classes: 03B05 (Primary) 03B50 (Secondary)
Cite as: arXiv:2109.14745 [math.LO]
  (or arXiv:2109.14745v3 [math.LO] for this version)

Submission history

From: Benoît Jubin [view email]
[v1] Wed, 29 Sep 2021 22:37:30 GMT (2kb)
[v2] Tue, 12 Oct 2021 13:32:42 GMT (3kb)
[v3] Tue, 19 Oct 2021 11:48:21 GMT (2kb)

Link back to: arXiv, form interface, contact.