scientific article

zbMath0576.03006MaRDI QIDQ3695251

Janusz Czelakowski

Publication date: 1984

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

zbMATH Keywords

sentential logicmatricesequivalential logicconsequence relations

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items

Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity ⋮ Remarks on a survey article on many valued logic by A. Urquhart ⋮ Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property