scientific article; zbMATH DE number 7307096
From MaRDI portal
Publication:5149159
zbMATH Open1505.03124MaRDI QIDQ5149159FDOQ5149159
Authors: Preston Stovall 
Publication date: 6 February 2021
Title of this publication is not available (Why is that?)
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
Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03)
Cited In (5)
- Title not available (Why is that?)
- Meaning and computing: two approaches to computable propositions
- The definitional view of atomic systems in proof-theoretic semantics
- Rules for subatomic derivation
- 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)
