scientific article; zbMATH DE number 1852927

zbMath1003.03522MaRDI QIDQ4789457

Reiner Hähnle

Publication date: 29 January 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

Introduction to Judgment Aggregation, Constraint tableaux for two-dimensional fuzzy logics, Analytic tableaux for non-deterministic semantics, Automated theorem proving by resolution in non-classical logics, Binary resolution over Boolean lattices, A first polynomial non-clausal class in many-valued logic, Qualitative reasoning in a two-layered framework, Two-layered logics for paraconsistent probabilities, Many-valued logic and sequence arguments in value theory, Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\), From Fuzzy to Annotated Semantic Web Languages, Generalized fuzzy rough description logics, Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, JGXYZ: an ATP system for gap and glut logics, On Semantic Gamification, Classic-Like Analytic Tableaux for Finite-Valued Logics, On the refutational completeness of signed binary resolution and hyperresolution, Fuzzy description logics with general t-norms and datatypes