Proof-theoretic semantics: Revision history

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. Template:Nowrap from current version, Template:Nowrap from preceding version, Template:Nowrap, Template:Nowrap, Template:Nowrap

9 July 2024

  • curprev 17:4117:41, 9 July 2024imported>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"