scientific article; zbMATH DE number 1337625
From MaRDI portal
Publication:4264064
zbMATH Open0925.03203MaRDI QIDQ4264064FDOQ4264064
Authors: Michel Parigot
Publication date: 21 September 1999
Title of this publication is not available (Why is that?)
Recommendations
- Free logics: a survey
- Free logic and the quantified argument calculus
- scientific article; zbMATH DE number 883824
- scientific article; zbMATH DE number 1028821
- scientific article; zbMATH DE number 1749197
- scientific article; zbMATH DE number 3931007
- scientific article; zbMATH DE number 1867306
- A more unified approach to free logics
- Note on deduction theorems in contraction-free logics
- Automated deduction in classical and non-classical logics. Selected papers
Cited In (29)
- About classical logic and imperative programming
- A framework for proof systems
- Normalisation and subformula property for a system of classical logic with Tarski's rule
- Title not available (Why is that?)
- Polarized and focalized linear and classical proofs
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
- An estimation for the lengths of reduction sequences of the \(\lambda\mu\rho\theta\)-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
- The differential \(\lambda \mu\)-calculus
- Classical natural deduction
- Superdeduction in \(\bar{\lambda}\mu\tilde{\mu}\)
- Classical logic, storage operators and second-order lambda-calculus
- Title not available (Why is that?)
- A new connective in natural deduction, and its application to quantum computing
- A new connective in natural deduction, and its application to quantum computing
- A computational glimpse at the Leibniz and Frege hierarchies
- A general storage theorem for integers in call-by-name \(\lambda\)- calculus
- Classical proof forestry
- Confluence for classical logic through the distinction between values and computations
- Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\)
- Focusing in Linear Meta-logic
- A quick overview on the quantum control approach to the lambda calculus
- Cut-elimination and deductive polarization in complementary classical logic
- Computer Science Logic
- A semantics of realisability for the classical propositional natural deduction
- Proof-search in type-theoretic languages: An introduction
- Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
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 Q4264064)