Publication:4789457
From MaRDI portal
zbMath1003.03522MaRDI QIDQ4789457
Publication date: 29 January 2003
03B50: Many-valued logic
Related Items
On Semantic Gamification, 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, Generalized fuzzy rough description logics, Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3, Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\), Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, Binary resolution over Boolean lattices, On the refutational completeness of signed binary resolution and hyperresolution, Fuzzy description logics with general t-norms and datatypes, Constraint tableaux for two-dimensional fuzzy logics, Analytic tableaux for non-deterministic semantics, JGXYZ: an ATP system for gap and glut logics, Automated theorem proving by resolution in non-classical logics, From Fuzzy to Annotated Semantic Web Languages, Introduction to Judgment Aggregation, Classic-Like Analytic Tableaux for Finite-Valued Logics