Tableaux for many-valued logics

MaRDI QIDQ2753604zbMATH OpenFDO

Authors Reiner Hähnle

Publication date 14 November 2001

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Structure of proofs (03F07)

Cited in

(17)

• Non-distributive relatives of ETL and NFL
• Analytic tableaux for non-deterministic semantics
• A qualitative temporal extension of here-and-there logic
• Prefixed tableaus for three-valued modal propositional logics
• Tableaux for intuitionistic logics
• Classic-Like Analytic Tableaux for Finite-Valued Logics
• scientific article; zbMATH DE number 63610 (Why is no real title available?)
• Canonical signed calculi with multi-ary quantifiers
• scientific article; zbMATH DE number 1950252 (Why is no real title available?)
• Tabular Logics with no Finite Bases for Inference Rules
• scientific article; zbMATH DE number 5230352 (Why is no real title available?)
• Graded tableaux for Rational Pavelka Logic
• Axiomatizing non-deterministic many-valued generalized consequence relations
• Two-layered logics for paraconsistent probabilities
• Signed dual tableaux for Kleene answer set programs
• An informational view of classical logic
• Non-deterministic semantics for logics with a consistency operator

This page was built for publication: Tableaux for many-valued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753604)