A calculus for the common rules of \(\wedge\) and \(\vee\)

DOI10.1007/BF00370205zbMath0707.03006MaRDI QIDQ918952

Wolfgang Rautenberg

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

finite axiomatizabilitycommon sequential rules for \(\wedge \) and \(\vee \)dual connectives

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items

Singulary extensional connectives: A closer look ⋮ Replacement in logic ⋮ False though partly true -- an experiment in logic ⋮ AGGREGATION AND IDEMPOTENCE ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ Investigations into a left-structural right-substructural sequent calculus

Cites Work

• On a fragment of the implicative propositional calculus
• 2-element matrices
• Joins and Direct Products of Equational Classes
• Unnamed Item