scientific article; zbMATH DE number 589741
From MaRDI portal
Publication:4295874
zbMath0799.03032MaRDI QIDQ4295874
V. Lugardon, Luis Fariñas del Cerro
Publication date: 15 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05)
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:
