Pages that link to "Item:Q1840142"
From MaRDI portal
The following pages link to Untersuchungen über das logische Schliessen. I (Q1840142):
Displaying 50 items.
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (Q264193) (← links)
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- ``Inference versus consequence'' revisited: inference, consequence, conditional, implication (Q383072) (← links)
- Graphs of plural cuts (Q383359) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- Dialogue structure and logical expressivism (Q408346) (← links)
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- On the concept of finitism (Q510710) (← links)
- Assertion, denial, content, and (logical) form (Q513980) (← links)
- Conventionalism, consistency, and consistency sentences (Q514102) (← links)
- Gentzen-style sequent calculus for semi-intuitionistic logic (Q514513) (← links)
- The relativity and universality of logic (Q514548) (← links)
- On Dummett's verificationist justification procedure (Q516329) (← links)
- General-elimination stability (Q526738) (← links)
- Coherence for modalities (Q531368) (← links)
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- On the computational complexity of cut-reduction (Q636310) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- A minimal classical sequent calculus free of structural rules (Q636359) (← links)
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- On the elimination of quantifier-free cuts (Q650922) (← links)
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Extension without cut (Q714731) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- CERES in higher-order logic (Q716500) (← links)
- Compatible operations on residuated lattices (Q763311) (← links)
- Cut elimination and word problems for varieties of lattices (Q786808) (← links)
- On some proof theoretical properties of the modal logic GL (Q798649) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Gentzen calculi for the existence predicate (Q817698) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- A logical approach to stable domains (Q859843) (← links)
- Variable declarations in natural deduction (Q861825) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Intermediaries and intervenients in normative systems (Q931780) (← links)
- Resolution is cut-free (Q972424) (← links)
