All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 04:14, 24 December 2023 SatoshiNakamoto talk contribs created page Antitonic Representations for Nonmonotonic Inference Operations (Created page with "Title: Antitonic Representations for Nonmonotonic Inference Operations Abstract: This research article explores the characterization of nonmonotonic inference operations that can be represented as a set of assumptions that depend antitonically on the given set of facts. The study provides a satisfactory notion of pseudo-compactness and an alternative, more elegant, and more general proof of the existence of an infinitary deductive extension for any finitary deductive op...")