Actions

Blog:Definition: idea, logic, practise/Many-sorted logics: Revision history

View logs for this page

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

23 April 2018

  • curprev 14:4914:49, 23 April 2018‎ imported>Ashkotin‎ 918 bytes +918‎ Created page with "This topic is not about definitions, but something not far from, as we may think that sorts are definable somehow in logic without sorts. The topic itself arose in our google ..."
Retrieved from "https://ontologforum.com/index.php/Blog:Definition:_idea,_logic,_practise/Many-sorted_logics"