scientific article; zbMATH DE number 786494
From MaRDI portal
Publication:4842975
Recommendations
- A note on sequent calculi intermediate between LJ and LK
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
- scientific article; zbMATH DE number 1163987
- Gentzen-type formulation of the propositional logic LQ
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
Cited in
(24)- Focusing and polarization in linear, intuitionistic, and classical logics
- On the linear decoration of intuitionistic derivations
- A semantic framework for proof evidence
- Multi-focused proofs with different polarity assignments
- Polarized games
- Game-theoretic analysis of call-by-value computation
- From axioms to synthetic inference rules via focusing
- Call-by-name reduction and cut-elimination in classical logic
- Proof checking and logic programming
- Classical call-by-need and duality
- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
- scientific article; zbMATH DE number 1231532 (Why is no real title available?)
- Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\)
- Sequent calculus for the intersection of LK and the reversed
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
- Yet another bijection between sequent calculus and natural deduction
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction
- Proof checking and logic programming
- Proof theory in the abstract
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Proof search in classical propositional logic with partial proof terms
- A framework for proof systems
- Categorical proof theory of classical propositional calculus
- A logical characterization of forward and backward chaining in the inverse method
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842975)
