Classic-Like Analytic Tableaux for Finite-Valued Logics

DOI10.1007/978-3-642-02261-6_22zbMath1246.03045OpenAlexW2148735093WikidataQ61593356 ScholiaQ61593356MaRDI QIDQ3638289

João Marcos, Carlos Caleiro

Publication date: 2 July 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_22

zbMATH Keywords

proof theorymany-valued logics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Many-valued logic (03B50)

Related Items

Correspondence analysis for some fragments of classical propositional logic, On Gentzen relations associated with finite-valued logics preserving degrees of truth, Unnamed Item, Non-distributive relatives of ETL and NFL, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, What is a non-truth-functional logic?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Non-deterministic Multiple-valued Structures
• Systematization of finite many-valued logics through the method of tableaux
• Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions