Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0433
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates ; day:26 ; month:7 ; year:2021 ; pages:1-31
Journal of philosophical logic ; (26.7.2021), 1-31
- Creator
-
Golan, Rea
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10992-021-09616-6
- URN
-
urn:nbn:de:101:1-2021102409142463881567
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:31 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Golan, Rea
- SpringerLink (Online service)
Other Objects (12)
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
The semantic salience hierarchy model : the L2 acquisition of psych predicates
Proof-Theoretic Semantics : Some Basic Ideas
Two proof-theoretic remarks on EA + ECT
Proof-theoretic harmony: towards an intensional account
Peter Schroeder-Heister on Proof-Theoretic Semantics
The Model-Theoretic Expressiveness of Propositional Proof Systems
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Proof-Theoretic Harmony: The Issue of Propositional Quantification
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
The semantic salience hierarchy model : the L2 acquisition of psych predicates
Proof-Theoretic Semantics : Some Basic Ideas
Two proof-theoretic remarks on EA + ECT
Proof-theoretic harmony: towards an intensional account
Peter Schroeder-Heister on Proof-Theoretic Semantics
The Model-Theoretic Expressiveness of Propositional Proof Systems
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Proof-Theoretic Harmony: The Issue of Propositional Quantification
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
The semantic salience hierarchy model : the L2 acquisition of psych predicates
Proof-Theoretic Semantics : Some Basic Ideas
Two proof-theoretic remarks on EA + ECT
Proof-theoretic harmony: towards an intensional account
Peter Schroeder-Heister on Proof-Theoretic Semantics
The Model-Theoretic Expressiveness of Propositional Proof Systems
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic