A natural extension of natural deduction
From MaRDI portal
Publication:3691668
Recommendations
Cites work
Cited in
(only showing first 100 items - show all)- Stabilizing quantum disjunction
- The normalization theorem for extended natural deduction
- Inversion principles and introduction rules
- Meaning in use
- ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
- On reduction rules, meaning-as-use, and proof-theoretic semantics
- Failure of completeness in proof-theoretic semantics
- Sequent calculus in natural deduction style
- Verificationism and Classical Realizability
- General-elimination harmony and higher-level rules
- Gentzen's proof systems: byproducts in a work of genius
- The foundation of a generic theorem prover
- The calculus of natural calculation
- Natural Deduction for Equality: The Missing Entity
- scientific article; zbMATH DE number 4092734 (Why is no real title available?)
- Proof-theoretic semantics and inquisitive logic
- A poly-connexive logic
- Simple consequence relations
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
- Hypothesis-discharging rules in atomic bases
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
- HARMONISING HARMONY
- European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
- On flattening elimination rules
- Classical harmony and separability
- A note on harmony
- General-elimination harmony and the meaning of the logical constants
- A new connective in natural deduction, and its application to quantum computing
- A new connective in natural deduction, and its application to quantum computing
- Inductive families
- Least and greatest fixed points in intuitionistic natural deduction
- On Inversion Principles
- Propositional logics complexity and the sub-formula property
- Proof, meaning and paradox: some remarks
- A Brief History of Natural Deduction
- On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
- Full Lambek Calculus in natural deduction
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
- Varieties of linear calculi
- \(\pi\)-calculus in (Co)inductive-type theory
- Non-reflexivity and revenge
- Hyper natural deduction
- Focusing in Linear Meta-logic
- Logical connectives for constructive modal logic
- Semantic values for natural deduction derivations
- The relevance of premises to conclusions of core proofs
- Natural deduction and arbitrary objects
- A note on the proof theory of the \(\lambda \Pi\)-calculus
- Functional completeness for subsystems of intuitionistic propositional logic
- Weak disharmony: some lessons for proof-theoretic semantics
- On the strength of dependent products in the type theory of Martin-Löf
- Proof-theoretic harmony: towards an intensional account
- On harmony and permuting conversions
- scientific article; zbMATH DE number 4006263 (Why is no real title available?)
- scientific article; zbMATH DE number 3895056 (Why is no real title available?)
- Do-it-yourself type theory
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
- The naturality of natural deduction
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
- Bilateralism in proof-theoretic semantics
- Comparing higher-order encodings in logical frameworks and tile logic
- Natural deduction as higher-order resolution
- General-elimination stability
- Harmonic inferentialism and the logic of identity
- PURE LOGIC OF ITERATED FULL GROUND
- Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
- On natural deduction in dependence logic
- Partial inductive definitions
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
- scientific article; zbMATH DE number 7243672 (Why is no real title available?)
- A framework for proof systems
- A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP
- Carnap's problem, definability and compositionality
- Sequent calculi for first-order ST
- The Recursion Scheme from the Cofree Recursive Comonad
- Natural deduction bottom up
- Bilateral relevant logic
- Calculi of epistemic grounding based on Prawitz's theory of grounds
- scientific article; zbMATH DE number 4193763 (Why is no real title available?)
- Paradox and inconsistency: revising Tennant's distinction through Schroeder-Heister's assumption rules
- \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
- Eight rules for implication elimination
- Intensional harmony as isomorphism
- Proof-theoretic semantics: an autobiographical survey
- Comments on the contributions
- A hybrid calculus for the validities and invalidities of classical propositional logic
- NDK and natural reasoning
- On structural inference rules for Gentzen-style natural deduction. I
- The placeholder view of assumptions and the Curry-Howard correspondence
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
- Deriving natural deduction rules from truth tables
- scientific article; zbMATH DE number 3853043 (Why is no real title available?)
- Does the implication elimination rule need a minor premise?
- Natural implication and modus ponens principle
- Eta-rules in Martin-Löf type theory
- Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning
This page was built for publication: A natural extension of natural deduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3691668)