scientific article; zbMATH DE number 7307096

MaRDI QIDQ5149159zbMATH OpenFDO

Authors Preston Stovall

Publication date 6 February 2021

zbMATH Keywords

proof-theoretic semanticsexplanationintended interpretationatomic sentences

Mathematics Subject Classification ID

Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• The definitional view of atomic systems in proof-theoretic semantics
• Proof-theoretic semantics
• scientific article; zbMATH DE number 7109521
• Proof-theoretic semantics and inquisitive logic
• Proof-theoretic semantics and feasibility
• Explicit provability and constructive semantics
• Advances in proof-theoretic semantics
• Some Remarks on Proof-Theoretic Semantics
• Proof Theories for Semilattice Logics
• Steps towards a proof-theoretical semantics

Cited in

(5)

• Rules for subatomic derivation
• scientific article; zbMATH DE number 6819811 (Why is no real title available?)
• The definitional view of atomic systems in proof-theoretic semantics
• Meaning and computing: two approaches to computable propositions
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5149159)