See this document in CiteSeerX!

Deduction in Many-Valued Logics: a Survey (1997)  (Make Corrections)  (2 citations)
Reiner Hähnle, Gonzalo Escalada-Imaz



  Home/Search   Context   Related

 
View or download:
sonja.ira.uka.de/p...surveyfinal.ps.gz
cs.chalmers.se/~re...surveyfinal.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  i12www.ira.uka.de/~reiner/pub (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: this article, there is considerable activity in MVL deduction which is why we felt justified in writing this survey. Needless to say, we cannot give a general introduction to MVL in the present context. For this, we have to refer to general treatments such as [153, 53, 93]. 2 A classification of many-valued logics according to their intended application (Update)

Cited by:   More
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005)   (Correct)
Towards a Fuzzy Description Logic for the Semantic Web - Straccia (2005)   (Correct)

Active bibliography (related documents):   More   All
3.4:   Tutorial: Complexity of Many-Valued Logics - Hähnle   (Correct)
1.5:   Efficient Deduction in Many-Valued Logics - Reiner Hähnle   (Correct)
1.4:   Calculi for the Gödel Logic - Ultlog (2001)   (Correct)

Similar documents based on text:   More   All
0.4:   Simplification of Many-Valued Logic Formulas Using.. - Bernhard Beckert.. (1997)   (Correct)
0.3:   The Calculus of Refinements, a Formal Specification Model Based on .. - Levy (1994)   (Correct)
0.3:   Specialisation Calculus and Communication - Puyol-Gruart, Godo, Sierra (1998)   (Correct)

BibTeX entry:   (Update)

Reiner H anle and Gonzalo Escalada-Imaz. Deduction in many-valued logics: a survey. Mathware and Soft Computing, IV(2):69--97, 1997. http://citeseer.ist.psu.edu/anle97deduction.html   More

@misc{ anle97deduction,
  author = "R. anle and G. Escalada-Imaz",
  title = "Deduction in many-valued logics: a survey",
  text = "Reiner H anle and Gonzalo Escalada-Imaz. Deduction in many-valued logics:
    a survey. Mathware and Soft Computing, IV(2):69--97, 1997.",
  year = "1997",
  url = "citeseer.ist.psu.edu/anle97deduction.html" }
Citations (may not include all citations):
1726   Graph-based algorithms for Boolean function manipulation - Bryant - 1986
1543   Probabilistic reasoning in intelligent systems: networks of .. (context) - Pearl - 1994
1450   The design and analysis of computer algorithms (context) - Aho, Hopcroft et al. - 1975
510   Symbolic boolean manipulation with ordered binary decision d.. - Bryant - 1992
390   A machine program for theorem-proving (context) - Davis, Logemann et al. - 1962
373   Constraint logic programming: A survey - Jaffar, Maher - 1994
355   Knowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
322   First-Order Logic and Automated Theorem Proving (context) - Fitting - 1996
316   Efficient implementation of a BDD package (context) - Brace, Rudell et al. - 1990
296   Logic Minimization Algorithms for VLSI Synthesis (context) - Brayton, Hachtel et al. - 1984
183   A useful four-valued logic (context) - Jr - 1977
158   Rule-Based Expert Systems: The MYCIN Experiments of the Stan.. (context) - Buchanan, Shortliffe - 1984
150   Entailment: The Logic of Relevance and Necessity (context) - Anderson, Jr - 1975
134   Theory of generalized annotated logic programming and its ap.. - Kifer, Subrahmanian - 1992
134   Labelled Deductive Systems (context) - Gabbay - 1996
123   A linear-time algorithm for testing the truth of certain qua.. (context) - Aspvall, Plass et al. - 1979
106   Paraconsistent logic programming (context) - Blair, Subrahmanian - 1987
106   Paraconsistent logic programming (context) - Blair, Subrahmanian - 1989
91   Knowledge Engineering Review (context) - Nowana, An - 1995
88   From Discourse to Logic: Introduction to Modeltheoretic Sema.. (context) - Kamp, Reyle - 1993
71   A fast parallel algorithm for the maximal independent set pr.. (context) - Karp, Wigderson - 1985
71   A logic for reasoning with inconsistency - Kifer, Lozinskii - 1992
65   IEEE Transactions on Computers (context) - Akers, diagrams - 1978
58   Algorithms for discrete function manipulation (context) - Srinivasan, Kam et al. - 1990
50   Representations of Discrete Functions (context) - Sasao, Fujita - 1996
43   Mixed integer programming methods for computing nonmonotonic.. - Bell, Nerode et al. - 1994
41   ACM Transactions on Database Systems (context) - Subrahmanian, bases - 1994
36   Many-Valued Logics (context) - Bolc, Borowik - 1992
35   Automated Deduction in Multiple-Valued Logics (context) - Hahnle - 1994
34   Many-valued modal logics - Fitting - 1991
32   Many-Valued Logic (context) - Rescher - 1969
32   Systematization of finite many-valued logics through the met.. (context) - Carnielli - 1987
30   A mechanization of strong Kleene logic for partial functions - Kerber, Kohlhase - 1994
28   Natural 3-valued logics---characterization and proof theory - Avron - 1991
28   Modeling uncertainty in deductive databases - Lakshmanan, Sadri - 1994
28   Many-valued logic (context) - Urquhart - 1986
27   Fuzzy Sets and Fuzzy Logic (context) - Gottwald - 1993
26   MILORD: The architecture and management of linguistically ex.. (context) - Godo, de M'antaras et al. - 1989
26   Multi-valued logics (context) - Ginsberg - 1988
25   Dissolution: Making paths vanish (context) - Murray, Rosenthal - 1993
25   a notation for ordinal numbers (context) - Kleene - 1938
24   An overview of distributed artificial intelligence (context) - Moulin, Chaib-draa - 1996
22   RI: A logic for reasoning with inconsistency (context) - Kifer, Lozinskij - 1989
21   Formal verification of digital circuits using symbolic terna.. - Bryant, Seger - 1991
21   Resolution for many-valued logics (context) - Baaz, Fermuller - 1992
20   Resolution-based theorem proving for many-valued logics - Baaz, Fermuller - 1995
20   Many-valued modal logics II - Fitting - 1992
19   A decidable first-order logic for knowledge representation (context) - Patel-Schneider - 1990
19   The tableau-based theorem prover 3 T A P (context) - Beckert, Hahnle et al. - 1996
17   Binary Decision Diagrams and Applications for VLSI CAD (context) - Minato - 1996
16   Three-valued predicates for software specification and valid.. (context) - Blikle - 1991
16   Logic Synthesis and Optimization (context) - Sasao - 1993
16   Fuzzy logic and the resolution principle (context) - Lee - 1972
15   Exploiting data dependencies in many-valued logics - Hahnle - 1996
15   Combining multiplevalued logics in modular expert systems (context) - Agust'i-Cullell, Esteva et al. - 1991
14   Soft computing: the convergence of emerging reasoning techno.. - Bonissone - 1997
14   Sequents in many valued logic (context) - Rousseau - 1967
13   Deduktion mit Shannongraphen fur Pradikatenlogik erster Stuf.. (context) - Posegga - 1993
13   Optimal axiomatizations for multiple-valued operators and qu.. (context) - Salzer - 1996
12   Fundamenta Informaticae (context) - Or, resolution et al. - 1978
12   Short conjunctive normal forms in finitely-valued logics (context) - Hahnle - 1994
11   Trends in distributed artificial intelligence (context) - Chaib-Draa, Moulin et al. - 1992
11   Introduction to the OBDD algorithm for the ATP community - Moore - 1994
11   Logic programming with signs and annotations (context) - Lu - 1996
11   Local multi-valued logics in modular expert systems (context) - Agust'i-Cullell, Esteva et al. - 1994
10   Many-Valued Logics (context) - Rosser, Turquette - 1952
10   Signed formulas and annotated logics (context) - Lu, Murray et al. - 1993
10   Negation functions based semantics for ordered linguistic la.. (context) - Torra - 1996
10   Fibered Structures and Applications to Automated Theorem Pro.. (context) - Sofronie-Stokkermans - 1997
10   What are fuzzy rules and how to use them - Dubois, Prade - 1996
10   Proof theory of finite-valued logics (context) - Zach - 1993
10   Reasoning in paraconsistent logics (context) - Lu, Henschen et al. - 1991
10   the complexity of proofs in propositional logics (context) - Tseitin - 1970
9   Many-valued logics of extended Gentzen style (context) - Takahashi - 1967
9   Satisfiability in many-valued sentential logic is NP-complet.. (context) - Mundici - 1987
9   Logic synthesis with EXOR gates (context) - Sasao - 1993
9   Verification of switch level designs with many-valued logic - Hahnle, Kernig - 1993
8   MILORD II: A Language for Knowledge-Based Systems (context) - Puyol-Gruart - 1996
8   Signed formulas: A liftable meta logic for multiplevalued lo.. (context) - Murray, Rosenthal - 1993
8   A tableau calculus for partial functions - Kerber, Kohlhase - 1996
8   Ternary decision diagrams and their applications (context) - Sasao - 1996
7   Die Nichtaxiomatisierbarkeit des unendlichwertigen Pradikate.. (context) - Scarpellini - 1962
7   Uniform notation of tableaux rules for multiple-valued logic.. (context) - Hahnle - 1991
7   The satisfiability problem for multiple-valued Horn formulae (context) - Escalada-Imaz, Manya - 1994
7   Philosophische Bemerkungen zu mehrwertigen Systemen des Auss.. (context) - Lukasiewicz - 1986
7   Commodious axiomatization of quantifiers in multiple-valued .. - Hahnle - 1996
7   Methoden zur Axiomatisierung beliebiger Aussagen- und Pradik.. (context) - Schroter - 1955
7   Systematic construction of natural deduction systems for man.. - Baaz, Fermuller et al. - 1993
6   Nouvelles Techniques de D'eduction Automatique en Logiques P.. (context) - Zabel - 1993
6   A resolution calculus for presuppositions - Kerber, Kohlhase - 1996
6   the complexity of entailment in propositional multivalued lo.. - Cadoli, Schaerf - 1997
6   Many-valued logic and mixed integer programming (context) - Hahnle - 1994
6   An improved refutation system for intuitionistic predicate l.. (context) - Miglioli, Moscato et al. - 1994
6   A constraint-based approach to proof procedures for multi-va.. (context) - Doherty - 1991
5   Fuzzy logic from the logical point of view (context) - H'ajek - 1995
5   Many-valued non-monotonic modal logics - Fitting - 1992
5   Comparison of the worst and best sum-of-products expressions.. (context) - Sasao, Butler - 1997
5   A sequent calculus for reasoning in four-valued description .. - Straccia - 1997
4   quantifiers and S-quantifiers (context) - Thiele - 1994
4   Validation of the medical expert system PNEUMON--IA (context) - Verdaguer, Patak et al. - 1992
4   A Petri net model for reasoning in the presence of inconsist.. (context) - Murata, Subrahmanian et al. - 1991
4   Resolution and model building in the infinite-valued calculu.. (context) - Mundici, Olivetti - 1996
4   Query processing in annotationed logic programming: Theory a.. (context) - Leach, Lu - 1996
4   Combining knowledge with many-valued logics (context) - Messing - 1997
3   Principles of Database and Knowledge-Bade Systems (context) - Ullman - 1988
3   Some properties of fuzzy logic (context) - Lee, Chang - 1971
3   Towards a general approach for modeling actions and change i.. - Pfalzgraf, Sigmund et al. - 1996
3   An Expert System Architecture for Taxonomic Domains (context) - Domingo - 1996
3   Some Applications of Non-Clausal Deduction - Ramesh - 1995
3   A resolution principle for a class of many-valued logics (context) - Morgan - 1976
3   Short normal forms for arbitrary finitely-valued logics (context) - Hahnle - 1993
3   Model generation theorem proving with interval constraints - Hahnle, Hasegawa et al. - 1995
3   Towards an efficient tableau proof procedure for multiple-va.. - Hahnle - 1991
3   Computational aspects of three-valued logic (context) - Schmitt - 1986
2   Simplification of many-valued logic formulas using anti-link.. - Beckert, Hahnle et al. - 1997
2   Proof Procedures for Multiple-Valued Propositional Logics (context) - Manya - 1996
2   Knowledge representation in many-valued horn clauses - Messing - 1995
2   MUltlog: an expert system for multiple-valued logics (context) - Salzer - 1996
2   Adapting classical inference techniques to multiplevalued lo.. (context) - Murray, Rosenthal - 1994
2   A framework for automated reasoning in multiple-valued logic.. (context) - Lu, Murray et al.
2   Gentzen's method of the many-valued propositional calculi (context) - Kirin - 1966
2   Refutation systems for propositional modal logics (context) - Miglioli, Moscato et al. - 1995
2   Resolution and path-dissolution in multiple-valued logics (context) - Murray, Rosenthal - 1991
2   Perspectives in multi-valued logic (context) - Schmitt - 1989
2   DT---an automated theorem prover for multiple-valued first-o.. - Gerberding - 1996
2   Resolution Proof Systems: an Algebraic Theory (context) - Stachniak - 1996
2   line algorithms for satisfiability problems with uncertainty (context) - Ausiello, Giaccio - 1997
2   Signed formula logic programming: Operational semantics and .. - Calmet, Lu et al. - 1996
2   La m'ethode de Smullyan de construire le calcul n-valent de .. (context) - Sucho'n - 1974
2   Proof theory of many-valued logic---linear optimization---lo.. (context) - Hahnle - 1997
2   Preliminary report: NM3 --- a three-valued non-monotonic for.. (context) - Doherty - 1990
1   volume 25 of Oxford Logic Guides (context) - Malinowski - 1993
1   Darstellung und Integration von Wissen in verbandsbasierten .. (context) - Messing - 1996
1   The complexity of adaptive error-correcting codes (context) - Mundici - 1990
1   Regular signed resolution applied to annotated logic program.. (context) - Messing, Stackelberg - 1995
1   Eine Einfuhrung in Theorie und Anwendungen (context) - Gottwald - 1989
1   Note on calculi for a three-valued logic for logic programmi.. (context) - Baaz, Zach - 1992
1   Computing prime implicants/implicates for regular logics (context) - Ramesh, Murray - 1994
1   Deduction with first-order Shannon graphs (context) - Posegga, Schmitt - 1995
1   Increasing the efficiency of automated theorem proving (context) - Aguilera, de Guzm'an et al. - 1995
1   On resolution-based derivation in `bold' fuzzy logic with we.. (context) - Lehmke - 1994
1   Verifikation digitaler Systeme: eine Einfuhrung in den Entwu.. (context) - Eveking - 1991
1   The resolution rule: An algebraic perspective (context) - Stachniak - 1988
1   Logic-based deductive reasoning in AI systems (context) - Lu, Rosenthal - 1997
1   Towards an expert system for many-valued logics (context) - for, Logics - 1996
1   Many-valuedness and uncertainty (context) - Or - 1997
1   An application of many-valued logic to decide propositional .. (context) - Caferra, Zabel - 1990
1   Tableau style proof systems for various many-valued logics (context) - Bloesch - 1994
1   Eidgenossische Technische Hochschule Zurich (context) - Hosli, PhD - 1993
1   Pseudo-Boolean logic circuits (context) - Hayes - 1986
1   Towards a knowledge level analysis of classification in biol.. (context) - Domingo - 1993
1   A Many-Valued Approach to Deduction and Reasoning for Artifi.. (context) - de Bessonet - 1991
1   A resolution-based axiomatisation of `bold' propositional fu.. (context) - Lehmke - 1996

Documents on the same site (http://i12www.ira.uka.de/~reiner/pub.html):   More
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic - Hähnle (1997)   (Correct)
Efficient Deduction in Many-Valued Logics - Reiner Hähnle   (Correct)
Improving Temporal Logic Tableaux using Integer Constraints - Reiner Hähnle, Ortrun Ibens (1994)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC