Validity concepts in proof-theoretic semantics
From MaRDI portal
Publication:2500820
Recommendations
Cites work
- A Proof-Theoretic Approach to Logic Programming
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
- scientific article; zbMATH DE number 3758289 (Why is no real title available?)
- scientific article; zbMATH DE number 65539 (Why is no real title available?)
- scientific article; zbMATH DE number 3508455 (Why is no real title available?)
- scientific article; zbMATH DE number 949290 (Why is no real title available?)
- Intensional interpretations of functionals of finite type I
- Meaning approached via proofs
- On the idea of a general proof theory
- On the proof-theoretic foundation of general definition theory
- Partial inductive definitions
- Proof-theoretic semantics for classical mathematics
- Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\)
Cited in
(87)- On reduction rules, meaning-as-use, and proof-theoretic semantics
- Meaning and dialogue coherence: A proof-theoretic investigation
- Anything goes
- Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms
- Subatomic negation
- Single-assumption systems in proof-theoretic semantics
- Game of grounds
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics
- Calculi of epistemic grounding based on Prawitz's theory of grounds
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
- Proof-theoretic semantics and inquisitive logic
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- Validity in intensional languages: A new approach
- Radical anti-realism, Wittgenstein and the length of proofs
- The harmony of identity
- The seeming interdependence between the concepts of valid inference and proof
- Dag Prawitz on proofs, operations and grounding
- Proof, meaning and paradox: some remarks
- On paradoxes in normal form
- Bilattice logic properly displayed
- Truth from a proof-theoretic perspective
- Steps towards a proof-theoretical semantics
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
- Failure of completeness in proof-theoretic semantics
- General proof theory: introduction
- The fundamental problem of general proof theory
- Boolos and the metamathematics of Quine's definitions of logical truth and consequence
- scientific article; zbMATH DE number 4014710 (Why is no real title available?)
- Rules for subatomic derivation
- Proof-theoretic validity based on elimination rules
- The concepts of proof and ground
- SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
- Validity Measurement in Some Propositional Logics
- Distribution in the logic of meaning containment and in quantum mechanics
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
- The Rule of Existential Generalisation and Explicit Substitution
- Constructive semantics, admissibility of rules and the validity of Peirce's law
- On harmony and permuting conversions
- Prawitz, Proofs, and Meaning
- General-elimination harmony and higher-level rules
- Constructibility and Geometry
- Revisiting Dummett's proof-theoretic justification procedures
- The definitional view of atomic systems in proof-theoretic semantics
- An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited
- Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs
- Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
- INTUITIONISTIC EPISTEMIC LOGIC
- On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
- Free semantics
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
- WHAT IS A RULE OF INFERENCE?
- Bilateral Rules as Complex Rules
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
- Proof-theoretic semantics: an autobiographical survey
- The validity of inference and argument
- On the structure of proofs
- Comments on the contributions
- On Dummett's pragmatist justification procedure
- The proof-theoretic square
- Following all the rules: intuitionistic completeness for generalized proof-theoretic validity
- Adjectival and adverbial modification: the view from modern type theories
- A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
- Inferentialism and uniformity
- Base-extension semantics for modal logic
- Constructive validity of a generalized Kreisel-Putnam rule
- Meaning is use: the case of propositional identity
- Proof-theoretic semantics for first-order logic
- Separability and harmony in ecumenical systems
- Natural deduction for dual-intuitionistic logic
- A defense of logicism
- Categorical proof-theoretic semantics
- Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics
- Disjunctive syllogism: the universal characterization of multiplicative ``or
- Inferential semantic contamination, harmony and realist pollution
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- Whence admissibility constraints? From inferentialism to tolerance
- Classical logic, uniformity, and weak excluded middle in non-monotonic proof-theoretic semantics
- Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators
- From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
- A proof-theoretic approach to the semantics of classical linear logic
- Book review of: G. Lavers, Mathematics Is (mostly) analytic
- Bilateral base-extension semantics
- A proof-theoretic universal property of determiners
- Verificaton, falsification, and cancellation in KT
This page was built for publication: Validity concepts in proof-theoretic semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2500820)
