The following pages link to (Q4264064):
Displaying 24 items.
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Classical proof forestry (Q636369) (← links)
- A framework for proof systems (Q707742) (← links)
- Classical logic, storage operators and second-order lambda-calculus (Q1326769) (← links)
- A general storage theorem for integers in call-by-name \(\lambda\)- calculus (Q1329740) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- About classical logic and imperative programming (Q1817076) (← links)
- Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
- The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
- A semantics of realisability for the classical propositional natural deduction (Q2851691) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- Cut elimination for classical bilinear logic (Q4327830) (← links)
- Towards structurally-free theorem proving (Q4392659) (← links)
- An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)
- Strong normalization for all-style LKtq (Q4645240) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5918648) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
- A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)
