Proof-theoretic semantics: Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

3 June 2025

9 July 2024

  • curprev 17:4117:41, 9 July 2024 imported>Oneequalsequalsone 3,275 bytes +3,275 Adding local short description: "Approach to the semantics of logic", overriding Wikidata description "approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, but in the role that the proposition or logical connective plays within the system of inference"
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Proof-theoretic_semantics"