- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Mathematical Logic Quarterly ; 46 (2000), 4. - S. 461-466. - Wiley. - ISSN 0942-5616. - eISSN 1521-3870
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
KOPS Universität Konstanz
- (when)
-
2000
- Creator
- URN
-
urn:nbn:de:bsz:352-2-1o9cnbabmvlb83
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 PM CET
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
- Halbach, Volker
- Horsten, Leon
- KOPS Universität Konstanz
Time of origin
- 2000
Other Objects (12)
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Proof-Theoretic Semantics : Some Basic Ideas
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Harmony: The Issue of Propositional Quantification
The Model-Theoretic Expressiveness of Propositional Proof Systems
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
A Finite-Model-Theoretic View on Propositional Proof Complexity
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
On synonymy in proof-theoretic semantics : The case of 2Int
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Proof-Theoretic Semantics : Some Basic Ideas
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Harmony: The Issue of Propositional Quantification
The Model-Theoretic Expressiveness of Propositional Proof Systems
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
A Finite-Model-Theoretic View on Propositional Proof Complexity
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
On synonymy in proof-theoretic semantics : The case of 2Int
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Proof-Theoretic Semantics : Some Basic Ideas
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Harmony: The Issue of Propositional Quantification
The Model-Theoretic Expressiveness of Propositional Proof Systems
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
A Finite-Model-Theoretic View on Propositional Proof Complexity
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics