scientific article

zbMath0651.03021MaRDI QIDQ3795657

Walter Alexandre Carnielli

Publication date: 1987

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

zbMATH Keywords

tableaudependence logicdecision proceduresproof-theoretical propertiessyntactical analysisrelatedness logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Related Items (5)

THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS ⋮ History of Relating Logic. The Origin and Research Directions ⋮ Tableaux for logics of content relationship and set-assignment semantics ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Algebraic analysis of demodalised analytic implication

This page was built for publication: