Showing 1 - 20 results of 43 for search '"sequent calculus"', query time: 0.10s Refine Results
  1. 1
    Applied Logic for Computer Scientists Computational Deduction and Formal Proofs /
    Table of Contents: “… -- Derivations and Proofs in the Predicate Logic -- Deductions in the Style of Gentzen's Sequent Calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    A Proof Theory for Description Logics
    by Rademaker, Alexandre
    Published 2012
    Table of Contents: “…Introduction -- Background -- Sequent Calculus for ALC -- Comparing SCalc with other ALC Deduction…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Cut-Free Sequent Calculus for Bi-intuitionistic Logic -- Tableaux with Dynamic Filtration for Layered…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers /
    Published 2017
    Table of Contents: “… grammar -- Dependent type semantics -- Sequent calculus -- Fundamental and practical issues -- Law…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /
    Published 1997
    Table of Contents: “… applications -- Free variable tableaux for propositional modal logics -- A sequent calculus for skeptical…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
    Published 2013
    Table of Contents: “… -- Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture -- Understanding…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings /
    Published 2003
    Table of Contents: “… Framework -- A Labelled Sequent-Calculus for Observation Logic -- Bounded ?ukasiewicz Logics -- Parallel…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Mappings -- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus -- Property…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
    Published 2007
    Table of Contents: “… and Specifications -- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic -- Testing…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
    Published 2009
    Table of Contents: “… Normalization -- First-Class Object Sets -- Monadic Translation of Intuitionistic Sequent Calculus -- Towards a…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    Published 2008
    Table of Contents: “…) - Model Evolution with Linear Integer Arithmetic Constraints -- A Constraint Sequent Calculus for First…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers /
    Published 2004
    Table of Contents: “… Coercions for ? -Types -- Induction and Co-induction in Sequent Calculus -- QArith: Coq Formalisation…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Agents and Artificial Intelligence 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers /
    Published 2019
    Table of Contents: “… with Generalized Conflicts: An Experimental Study -- Dynamics of Narrow-minded Belief and Its Cut-free Sequent…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
    Published 2013
    Table of Contents: “… for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms -- Logic of Non-monotonic Interactive…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
    Published 1997
    Table of Contents: “…, inverse method and the sequent calculus -- Subtyping over a lattice (abstract) -- A new method…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Recent Trends in Philosophical Logic
    Published 2014
    Table of Contents: “… and James A. Woodbridge -- Chapter 2. Emptiness and discharge in sequent calculus and natural deduction…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Gentzen's Centenary The Quest for Consistency /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
    Published 2013
    Table of Contents: “… between Natural Deduction and the Sequent Calculus.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search