On axiomatization of many-valued logics associated with formalization of plausible reasonings

DOI10.1007/BF00370198zbMath0706.03021OpenAlexW2018401144WikidataQ63762584 ScholiaQ63762584MaRDI QIDQ918536

O. M. Anshakov, Dimitrij Skvortsov, Victor K. Finn

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370198

zbMATH Keywords

plausible reasoningaxiomatizability of a class of infinite-valued logicsmany-sorted predicate logics with quantifiers over finite sequences of variable lengthMill's inductive methods

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

On finite-valued propositional logical calculi, Mathematical aspects of concept analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item