Superdeduction in Lambda-Bar-Mu-Mu-Tilde

Superdeduction in Lambda-Bar-Mu-Mu-Tilde

Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way. A proof-term language and a cut-elimination reduction already exist for supe...

Full description

Bibliographic Details
Main Author:	Clément Houtmann
Format:	Article
Language:	English
Published:	Open Publishing Association 2011-01-01
Series:	Electronic Proceedings in Theoretical Computer Science
Online Access:	http://arxiv.org/pdf/1101.5443v1

Similar Items

Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
by: Peter Battyanyi, et al.
Published: (2017-09-01)

Adding Negation to Lambda Mu
by: Steffen van Bakel
Published: (2023-05-01)

First measurement of the ratio of branching fractions B(Lambda(0)(b) -> Lambda(+)(c) mu(-) (nu)over-bar(mu))/B(Lambda(0)(b) -> Lambda(+)(c) pi(-))
by: Aaltonen, T, et al.
Published: (2009)

Sound and Complete Typing for lambda-mu
by: Steffen van Bakel
Published: (2011-01-01)

Intersection Types for the lambda-mu Calculus
by: Steffen van Bakel, et al.
Published: (2018-01-01)

Observation of the Baryonic Flavor-Changing Neutral Current Decay Lambda(0)(b) -> Lambda mu(+)mu(-)
by: Aaltonen, T, et al.
Published: (2011)

Extensional Models of Untyped Lambda-mu Calculus
by: Koji Nakazawa, et al.
Published: (2012-10-01)

Characterisation of Strongly Normalising lambda-mu-Terms
by: Steffen van Bakel, et al.
Published: (2013-07-01)

Model independent new physics analysis in $$\Lambda _b\rightarrow \Lambda \mu ^+\mu ^-$$ Λb→Λμ+μ- decay
by: Diganta Das
Published: (2018-03-01)

Search for B(s)(0)->mu(+)mu(-) and B(s)(0)->mu(+)mu(-) decays in p(p)over-bar collisions with CDF II
by: Abulencia, A, et al.
Published: (2005)

A fully-abstract semantics of lambda-mu in the pi-calculus
by: Steffen van Bakel, et al.
Published: (2014-09-01)

Tilde-gamma-open sets and (Tilde-gamma , Tilde-beta)-continuous mappings
by: Dhanabal Saravanakumar, et al.
Published: (2022-12-01)

Search for B-s(0)->mu(+)mu(-) and B-0 ->mu(+)mu(-) Decays with 2 fb(-1) of p(p)over-bar Collisions
by: Aaltonen, T, et al.
Published: (2008)

An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus
by: Péter Battyányi, et al.
Published: (2018-06-01)

On the closed subfields of Q¯~p${\tilde{\bar Q}}_p$
by: Achimescu Sever, et al.
Published: (2016-01-01)

Search for doubly charged Higgs boson pair production in the decay to mu(+)mu(+)mu(-)mu(-) in p(p)over-bar collisions at root s=1.96 TeV
by: Abazov, V, et al.
Published: (2004)

Search for the decays B-d(0)->mu(+)mu(-) and B-s(0)->mu(+)mu(-) in p(p)over-bar collisions at root s=1.8 TeV
by: Abe, F, et al.
Published: (1998)

Search for B(s)(0)->mu(+)mu(-) and B(d)(0)->mu(+)mu(-) decays in p(p)over-bar collisions at root s=1.96 TeV
by: Acousta, D, et al.
Published: (2004)

The $$\varvec{\Lambda _b\rightarrow \Lambda (\rightarrow p\pi ^-)\mu ^+\mu ^-}$$ Λ b → Λ ( → p π - ) μ + μ - decay in the aligned two-Higgs-doublet model
by: Quan-Yi Hu, et al.
Published: (2017-04-01)

Search for D+(s) to pi+ mu+ mu- and D+(s) to pi- mu+ mu+ decays
by: collaboration, L, et al.
Published: (2013)

Search for the rare decays B+-->mu+mu-K+, B-->mu+mu-K*(892), and Bs-->mu+mu- phi at CDF
by: Knuteson, Bruce O., et al.
Published: (2010)

First observations of separated atmospheric nu(mu) and (nu)over-bar(mu) events in the MINOS detector
by: Adamson, P, et al.
Published: (2006)

Probing effects of new physics in Λ b 0 → Λ c + μ − v ¯ μ $$ {\varLambda}_b^0\to {\varLambda}_c^{+}{\mu}^{-}{\overline{v}}_{\mu } $$ decays
by: Martina Ferrillo, et al.
Published: (2019-12-01)

Search for B-S(0) -> mu(+)mu(-) and B-0 -> mu(+)mu(-) decays
by: Chatrchyan, S, et al.
Published: (2012)

Search for the rare decays B-s(0) -> mu(+)mu(-) and B-0 -> mu(+)mu(-)
by: Aaij, R, et al.
Published: (2012)

Strong Constraints on the Rare Decays B-s(0) -> mu(+)mu(-) and B-0 -> mu(+)mu(-)
by: Aaij, R, et al.
Published: (2012)

Search for B-s(0) -> mu(+)mu(-) and B-0 -> mu(+)mu(-) Decays with CDF II
by: Aaltonen, T, et al.
Published: (2011)

Search for the rare decays B+ -> mu(+)mu K--(+), B-0 -> mu(+)mu(-) K*(892)(0), and B-s(0) -> mu(+)mu(-)phi at CDF
by: Aaltonen, T, et al.
Published: (2009)

Search for the rare decay $${{{B} ^+}} \!\rightarrow {\mu ^+} {\mu ^-} {\mu ^+} {{\upnu } _\mu } $$ B+→μ+μ-μ+νμ
by: R. Aaij, et al.
Published: (2019-08-01)

Search for Lepton Number Violating Decays B+ -> pi(-)mu(+)mu(+) and B+ -> K-mu(+)mu(+)
by: Aaij, R, et al.
Published: (2012)

Observation of Exclusive Charmonium Production and gamma gamma -->mu+mu- in pp-bar Collisions at sqrt[s]=1.96 TeV
by: Xie, Si, et al.
Published: (2010)

Fıkıh Çözüm mü Üretir, Sorun mu?
by: Ali Bardakoğlu
Published: (2014-12-01)

\mu-\mu^{*} - Connectedness via Hereditary Classes
by: Shyamapada Modak
Published: (2015-12-01)

Dinî Çoğulculuk mu, Dinde Çoğulculuk mu?
by: Recep Kılıç
Published: (2015-11-01)

A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics
by: Karim Nour, et al.
Published: (2017-08-01)

Statistical convergence of double sequences on probabilistic normed spaces defined by $[ V, \lambda, \mu ]$-summability
by: Pankaj Kumar, et al.
Published: (2015-07-01)

Search for pair production of doubly charged Higgs bosons in the H++H- - -->mu+ mu+ mu- mu- final state.
by: Abazov, V, et al.
Published: (2008)

Search for the rare decay $${{{B} ^+}} \!\rightarrow {\mu ^+} {\mu ^-} {\mu ^+} {{\upnu } _\mu } $$ B + → μ + μ - μ + ν μ
by: Aaij, R., et al.
Published: (2021)

Search for pair production of doubly charged Higgs bosons in the H(++)H(--)->mu(+)mu(+)mu(-)mu(-) final state
by: Abazov, V, et al.
Published: (2008)

Measurement of the CP-violation parameter of B-0 mixing and decay with p(p)over-bar ->mu mu X data
by: Abazov, V, et al.
Published: (2006)