Name: Deduction in many-valued logics: a survey
Keywords: ddc:004, Proof theory in general (including proof-theoretic semantics), Classificació AMS::03 Mathematical logic and foundations::03B General logic, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, databases, Research exposition (monographs, survey articles) pertaining to computer science, Lógica difusa, fuzzy control, expert systems, Lógica simbólica

Deduction in many-valued logics: A survey

descriptionPublicationkeyboard_double_arrow_right Article 01 Jan 1997 English Publisher:KarlsruheJournal:Mathware & soft computing

Authors: Haehnle, Reiner; Escalada-Imaz, Gonzalo;

doi: 10.5445/ir/74097

handle: 2099/3490 , 10261/2226

Deduction in many-valued logics: a survey

- Summary
- Subjects
- Metrics

Abstract

Peer reviewed

Related Organizations

Spanish National Research Council
Spain
Karlsruhe Institute of Technology
Germany
Universitat Polite`cnica de Catalunya
Spain
Universitat Politècnica de Catalunya
Spain

Keywords

ddc:004, Proof theory in general (including proof-theoretic semantics), Classificació AMS::03 Mathematical logic and foundations::03B General logic, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, databases, Research exposition (monographs, survey articles) pertaining to computer science, Lógica difusa, fuzzy control, expert systems, Lógica simbólica, proof theory, Many-valued logics, Lògica matemàtica, :03 Mathematical logic and foundations::03B General logic [Classificació AMS], computer systems, formal verification, Logic in artificial intelligence, DATA processing & computer science, knowledge representation, Deduction, General theory of computer systems, Lógica multivaluada, Inteligencia artificial, 004, Programación lógica, Mechanization of proofs and logical operations, many-valued logics, Many-valued logic, deduction, coding theory, info:eu-repo/classification/ddc/004, natural language representation

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average