scientific article; zbMATH DE number 1337625
From MaRDI portal
Publication:4264064
zbMath0925.03203MaRDI QIDQ4264064
Publication date: 21 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Classical logic, storage operators and second-order lambda-calculus ⋮ A general storage theorem for integers in call-by-name \(\lambda\)- calculus ⋮ Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) ⋮ The differential \(\lambda \mu\)-calculus ⋮ Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules ⋮ Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus ⋮ Focusing in Linear Meta-logic ⋮ Strong normalization for all-style LKtq ⋮ Polarized and focalized linear and classical proofs ⋮ A framework for proof systems ⋮ An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ About classical logic and imperative programming ⋮ Proof-search in type-theoretic languages: An introduction ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory ⋮ CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI ⋮ Normalisation and subformula property for a system of classical logic with Tarski's rule
This page was built for publication:
