scientific article

zbMath0774.03006MaRDI QIDQ4012975

Walter Alexandre Carnielli

Publication date: 27 September 1992

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

zbMATH Keywords

cut eliminationtableau systemssequent systems

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items

On finite-valued propositional logical calculi ⋮ An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Combining many-valued and intuitionistic tableaux ⋮ A survey of nonstandard sequent calculi ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ On partial and paraconsistent logics ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness ⋮ Paraconsistent informational logic ⋮ A mechanization of strong Kleene logic for partial functions