Showing 1 - 20 results of 139 for search '"propositional logic"', query time: 0.42s Refine Results
  1. 1
    Pragmatic markers and propositional attitude /
    Published 2000
    Subjects: “...Proposition (Logic) Congresses...”

    Conference Proceeding Book
  2. 2
    Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
    Published 1999
    Table of Contents: “...A Semantical Calculus for Intuitionistic Propositional Logic /...”

    Conference Proceeding Book
  3. 3
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Published 1992
    Table of Contents: “...Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic /...”

    Conference Proceeding Book
  4. 4
    Frontiers of paraconsistent logic /
    Published 2000
    Table of Contents: “... Propositional Logic /...”

    Conference Proceeding Book
  5. 5
    Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers /
    Published 2008
    Table of Contents: “...Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation /...”

    Conference Proceeding Book
  6. 6
    Logic, rationality, and interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
    Published 2013
    Table of Contents: “...On Fuzzy Propositional Logic with Different Negations /...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  7. 7
    Frontiers of paraconsistent logic /
    Published 2000
    Table of Contents: “... Propositional Logic /...”

    Conference Proceeding Book
  8. 8
    Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings /
    Published 1997
    Table of Contents: “... Parallelization / G. Puebla and M. Hermenegildo -- Reductions of Petri Nets and Unfolding of Propositional Logic...”

    Conference Proceeding Book
  9. 9
    Proceedings of the Sixth Asian Logic Conference : Beijing, China, 20-24 May 1996 /
    Published 1998
    Table of Contents: “...Computational Complexity of Infinite-Valued Lukasiewicz Propositional Logic /...”

    Conference Proceeding Book
  10. 10
    The later Husserl and the idea of phenomenology : idealism-realism, historicity, and nature : papers and debate of the International Phenomenological Conference held at the University of Waterloo, Canada, April 9-14, 1969 /
    Published 1972
    Table of Contents: “...Life-world constitution of propositional logic and elementary predicate logic /...”

    Conference Proceeding Book
  11. 11
    Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /
    Published 1995
    Table of Contents: “...Propositional Logics on the Computer /...”

    Conference Proceeding Book
  12. 12
    Symbol grounding and beyond : Third International Workshop on the Emergence and Evolution of Linguistic Communication, EELC 2006, Rome, Italy, September 30-October 1, 2006 : proceedings /
    Published 2006
    Table of Contents: “...Propositional logic syntax acquisition /...”

    Conference Proceeding Book
  13. 13
    Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17th, 1996 : proceedings /
    Published 1996
    Table of Contents: “... propositional logics / Alain Heuerding, Michael Seyfried, Heinrich Zimmermann -- Strong normalization for all...”

    Conference Proceeding Book
  14. 14
    Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings /
    Published 1996
    Table of Contents: “...On the Computational Complexity of Propositional Logic Programs with Nested Implications / Jorg...”

    Conference Proceeding Book
  15. 15
    Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX ʹ97, Pont-à-Mousson, France, May 1997 : proceedings /
    Published 1997
    Table of Contents: “... Propositional Logics / Alessandro Avellone, Pierangelo Miglioli and Ugo Moscato [et al.] -- Lean Induction...”

    Conference Proceeding Book
  16. 16
    Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
    Published 2001
    Table of Contents: “...A Certified Polynomial-Based Decision Procedure for Propositional Logic /...”

    Conference Proceeding Book
  17. 17
    Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
    Published 2001
    Table of Contents: “... Certified Polynomial-Based Decision Procedure for Propositional Logic -- Finite Set Theory in ACL2...”

    Conference Proceeding Book
  18. 18
    Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings /
    Published 1998
    Table of Contents: “... New One-Pass Tableau Calculus for PLTL -- Decision Procedures for Intuitionistic Propositional Logic...”

    Conference Proceeding Book
  19. 19
    Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /
    Published 2005
    Table of Contents: “...Naming proofs in classical propositional logic /...”

    Conference Proceeding Book
  20. 20
    Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /
    Published 2005
    Table of Contents: “...Naming proofs in classical propositional logic /...”

    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search