Proof-theoretic semantics
From MaRDI portal
Recommendations
- The original sin of proof-theoretic semantics
- Views of proof-theoretic semantics: reified proof-theoretic meanings
- The granularity of meaning in proof-theoretic semantics
- Proof-theoretic semantics, a problem with negation and prospects for modality
- Proof-theoretic semantics for subsentential phrases
Cited in
(72)- Proof Theory, Semantics and Algebra for Normative Systems
- scientific article; zbMATH DE number 7307096 (Why is no real title available?)
- A proof-theoretic semantics for adjectival modification
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
- Advances in proof-theoretic semantics
- Existential import and relations of categorical and modal categorical statements
- Does the implication elimination rule need a minor premise?
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
- FRACTIONAL-VALUED MODAL LOGIC
- The idea of a proof-theoretic semantics and the meaning of the logical operations
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics
- On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- Negative predication and distinctness
- A novel approach to equality
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
- A Proof-theoretic Treatment of Assignments
- ST, LP and tolerant metainferences
- Calculi of epistemic grounding based on Prawitz's theory of grounds
- How to classify varieties of consequence
- A Strongly Differing Opinion on Proof-Theoretic Semantics?
- Fractional semantics for classical logic
- Subatomic negation
- From explosion to implosion: a new justification for the ex falso quodlibet rule
- Inferential semantic contamination, harmony and realist pollution
- The placeholder view of assumptions and the Curry-Howard correspondence
- A note on synonymy in proof-theoretic semantics
- Proof-theoretic semantics: an autobiographical survey
- Counterfactual assumptions and counterfactual implications
- Comments on the contributions
- Truth-value constants in multi-valued logics
- Inferentialist resource semantics
- The proof-theoretic square
- Declarative representation of proof terms
- Proof-theoretic semantics as a resource for expressing semantic variability
- Proof-theoretic semantics for subsentential phrases
- Proof theory and meaning: on the context of deducibility
- Logical multilateralism
- A proof-theoretic universal property of determiners
- On the proof-theoretic structure of counterfactual inference
- Hopeful monsters: a note on multiple conclusions
- The granularity of meaning in proof-theoretic semantics
- Bilateral Rules as Complex Rules
- Fractional-Valued Modal Logic and Soft Bilateralism
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
- Categoricity problem for LP and K3
- The calculus of natural calculation
- scientific article; zbMATH DE number 7109521 (Why is no real title available?)
- Explicit provability and constructive semantics
- Proof-theoretic semantics for a natural language fragment
- Views of proof-theoretic semantics: reified proof-theoretic meanings
- Meaning, logic and ludics.
- A proof-theoretic semantics for exclusion
- Proof-theoretic semantics for natural language
- The role of negation in proof-theoretic semantics: a proposal
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
- (Conceptual) explanations in logic
- The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)
- Bi-connexive logic, bilateralism, and negation inconsistency
- Single-assumption systems in proof-theoretic semantics
- Game of grounds
- Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations
- Meaning is use: the case of propositional identity
- Peter Schroeder-Heister on proof-theoretic semantics
- On harmony and permuting conversions
- Bilateralism, trilateralism, multilateralism and poly-sequents
- General-elimination stability
- The original sin of proof-theoretic semantics
- A general schema for bilateral proof rules
- Toward the formulation of presupposition by illative combinatory logic
This page was built for publication: Proof-theoretic semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3467536)
