- Publication services
- →
- Browsing by Title
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Title
Now showing items 77280-77299 of 114917
-
(2014)If we generate elimination from introduction rules, or, conversely, introduction rules from elimination rules according to a general pattern, we often observe a rise in level: To introduction rules that are just production ...
-
(2014)We present our calculus of higher-level rules, extended with propositional quantification within rules. This makes it possible to present general schemas for introduction and elimination rules for arbitrary propositional ...
-
(2022)This manuscript is the first version of the entry "Proof-Theoretic Semantics" in the Stanford Encyclopedia of Philosophy, which was submitted in 2011. For the version which finally appeared in 2012 it was reduced to one ...
-
(2024-02-13)
-
(2019-10-28)The third Tübingen conference on proof-theoretic semantics took place in the Alte Aula of the University of Tübingen from the 27th to the 30th of March 2019. These proceedings contain all abstracts, the slides of most ...
-
(2022)This manuscript of 2003 describes and compares two basic approaches to what the author has called “proof-theoretic semantics”. The “standard” approach, which is mainly due to Dummett and Prawitz, attempts to give a semantics ...
-
(2015)In the tradition of Dummett-Prawitz-style proof-theoretic semantics, which considers validity of derivations or proofs as one of its core notions, this paper sketches an approach to proof-theoretic validity based on ...
-
(2008)Model-theoretic and proof-theoretic notions of logical consequence are compared. According to standard semantics, they rely on the idea of the transmission of a categorical concept (truth, canonical provability) from the ...
-
(2016)
Now showing items 77280-77299 of 114917