A Treatise on Many-Valued Logics
A growing interest in many-valued logics has developed over recent years, which to a large extent is based on applications, intended as well as already realised ones. These applications range from the field of computer science, e.g. in the areas of automated theorem proving, approximate reasoning, multi-agent systems, switching theory, and program verification, through the field of pure mathematics, e.g. in independence of consistency proofs, in generalised set theories, or in the theory of particular algebraic structures.
84 pages matching Proof in this book
Results 1-3 of 84
What people are saying - Write a review
We haven't found any reviews in the usual places.
The Formalized Language and its Interpretations
Logical Validity and Entailment
23 other sections not shown
according additionally adequate axiomatization algebraic structures axiom schemata basic BL-algebra characterized classical logic condition conjunction consider Corollary corresponding defined definition denoted derivation designated truth degree disjunction elements equivalence relation exists extended filter finitely many-valued first-order first-order logic functionally complete Furthermore fuzzy logic fuzzy relation fuzzy sets G-algebra Godel systems hence Heyting algebra holds true immediately implication connective inference rules infinitely isomorphic language lattice ordering left continuous t-norm Lindenbaum algebra logical calculus logically valid Lukasiewicz systems many-valued logic many-valued systems means modal monoidal MV-algebras n-ary negation function notion operations ordinal sum Post algebras predicate symbol product algebra Proof propositional variables prove quantifiers residuated lattice result S-sequent satisfies schema sentences sequence signed formulas subset suitable Suppose systems of many-valued t-norm based truth degree constants truth degree functions truth degree set truth value unary universe of discourse valuation wff H