Exploiting non-canonicity in the sequent calculus

Exploiting non-canonicity in the sequent calculus

Bibliographic Details
Main Author:	Nigam, Vivek
Published:	Ecole Polytechnique X 2009
Subjects:	[MATH] Mathematics
Online Access:	http://pastel.archives-ouvertes.fr/pastel-00005487 http://pastel.archives-ouvertes.fr/docs/00/50/12/93/PDF/phd.pdf

Similar Items

Réseaux et séquents ordonnés
by: Retoré, Christian
Published: (1993)

Sequent Calculus and Equational Programming
by: Nicolas Guenot, et al.
Published: (2015-07-01)

Sequent calculus for logic of correlated knowledge
by: Haroldas Giedra, et al.
Published: (2011-12-01)

Sequent Calculus Representations for Quantum Circuits
by: Cameron Beebe
Published: (2016-06-01)

Intersection Logic in sequent calculus style
by: Simona Ronchi Della Rocca, et al.
Published: (2011-01-01)

Algebra and Sequent Calculus for Epistemic Actions
by: Baltag, Alexandru, et al.
Published: (2005)

Properties of Sequent-Calculus-Based Languages
by: Johnson-Freyd, Philip Alden
Published: (2018)

Properties of Sequent-Calculus-Based Languages
by: Johnson-Freyd, Philip
Published: (2018)

Conservative extensions of the λ-calculus for the computational interpretation of sequent calculus
by: Espírito Santo, José Carlos Soares
Published: (2002)

Restrictions for loop-check in sequent calculus for temporal logic
by: Adomas Birštunas
Published: (2008-12-01)

On the decidability of monadic first order logic in sequent calculus
by: Jean-Baptiste Joinet
Published: (2016-12-01)

Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem
by: Caminati Marco
Published: (2011-01-01)

ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS
by: CECILIA REIS ENGLANDER LUSTOSA
Published: (2014)

Eulerian calculus arising from permutation statistics
by: Lin, Zhicong
Published: (2014)

[en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS
by: CECILIA REIS ENGLANDER LUSTOSA
Published: (2015)

Cut free sequent calculus for logic S5n(ED)
by: Haroldas Giedra
Published: (2010-12-01)

Loop-free sequent calculus for modal logic K4
by: Julius Andirkonis
Published: (2009-12-01)

A sequent calculus for propositional temporal logic with time gaps
by: Romas Alonderis
Published: (2011-12-01)

A labeled sequent calculus for propositional linear time logic
by: Romas Alonderis
Published: (2012-12-01)

Sequent Calculus: A Logic and a Language for Computation and Duality
by: Downen, Paul
Published: (2017)

MULTIPLE SUCCEDENT SEQUENT CALCULUS FOR INTUITIONISTIC FIRST-ORDER LOGIC
by: MARIA FERNANDA PALLARES COLOMAR
Published: (2007)

A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences
by: Millson, J.
Published: (2019)

Dépendances fonctionnelles : extraction et exploitation
by: Garnaud, Eve
Published: (2013)

Canonical Languages with special study of a canonical predicate calculus for number theory a canonical grammar for the English language.
by: Kingsbury, Donald.
Published: (1959)

[en] MULTIPLE SUCCEDENT SEQUENT CALCULUS FOR INTUITIONISTIC FIRST-ORDER LOGIC
by: MARIA FERNANDA PALLARES COLOMAR
Published: (2008)

Restrictions for loop-check in sequent calculus for temporal logic with until operator
by: Adomas Birštunas
Published: (2009-12-01)

The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs
by: Arno Ehle, et al.
Published: (2018-03-01)

Cut, invariant rule, and loop-check free sequent calculus for PLTL
by: Romas Alonderis, et al.
Published: (2011-12-01)

Extension of the canonical trace and associated determinants
by: Ouedraogo, Marie-Françoise
Published: (2009)

Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
by: Romas Alonderis
Published: (2008-12-01)

Numerical study of non-linear dispersive partial differential equations
by: Roidot, Kristelle
Published: (2011)

Loi de Weyl presque sûre et résolvante pour des opérateurs non-autoadjoints
by: Bordeaux Montrieux, William
Published: (2008)

Algèbres de polynômes bornés sur ensembles semi-algébriques non bornés
by: Michalska, Maria
Published: (2011)

Invariants topologiques quantiques non semi-simples.
by: Patureau-Mirand, Bertrand
Published: (2012)

Advanced Placement Calculus AB Evaluation
by: David Klein
Published: (2007-03-01)

Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus
by: Romas Alonderis
Published: (2009-12-01)

Rupture de symétrie et formation de structures dans certaines équations de champs neuronaux
by: Faye, Grégory
Published: (2012)

Qualitative and quantitative results in stochastic homogenization
by: Gloria, Antoine
Published: (2012)

Proprietes geometriques et analytiques de certaines structures non lisses
by: Gigli, Nicola
Published: (2011)

Estimation et contrôle non-linéaire : application à quelques systèmes quantiques et classiques
by: Mirrahimi, Mazyar
Published: (2011)