arXiv (All)
open access
Classical Logic as Intuitionistic Logic with Duality
The field of proof-theoretic semantics (P-tS) offers an alternative approach to meaning in logic that is based on inference and argument (rather than truth in a model). It has been successfully developed for various logics; in particular, Sandqvist has developed such semantics for both classical and
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality#746188
- Sketch of a Proof-Theoretic Semantics for Necessity#746193
- Proof-Theoretic Semantics and Inquisitive Logic#770237
- Towards a Formal Analysis of Semantic Pollution of Proof Systems#80284
- Subjunctive Conditionals and Time. A Defense of a Weak Classical Approach#85136
Record · ID 1201862
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive