Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Proof-theoretic_semantics> }
Showing triples 1 to 16 of
16
with 100 triples per page.
- Analytic_proof wikiPageWikiLink Proof-theoretic_semantics.
- Cut-elimination_theorem wikiPageWikiLink Proof-theoretic_semantics.
- Formal_semantics_(logic) wikiPageWikiLink Proof-theoretic_semantics.
- Gerhard_Gentzen wikiPageWikiLink Proof-theoretic_semantics.
- Index_of_logic_articles wikiPageWikiLink Proof-theoretic_semantics.
- Index_of_philosophy_articles_(I–Q) wikiPageWikiLink Proof-theoretic_semantics.
- Inferential_role_semantics wikiPageWikiLink Proof-theoretic_semantics.
- List_of_mathematical_logic_topics wikiPageWikiLink Proof-theoretic_semantics.
- Meaning_(philosophy_of_language) wikiPageWikiLink Proof-theoretic_semantics.
- Per_Martin-Löf wikiPageWikiLink Proof-theoretic_semantics.
- Principle_of_explosion wikiPageWikiLink Proof-theoretic_semantics.
- Semantics wikiPageWikiLink Proof-theoretic_semantics.
- Truth-conditional_semantics wikiPageWikiLink Proof-theoretic_semantics.
- Truth-value_semantics wikiPageWikiLink Proof-theoretic_semantics.
- 495c96b47b57d436e6ce314e7e8baeac48dfabbf6083762bf136cbfda6dfe97e isCitedBy Proof-theoretic_semantics.
- Proof-theoretic_semantics primaryTopic Proof-theoretic_semantics.