A calculus for the common rules of \(\wedge\) and \(\vee\)
From MaRDI portal
Publication:918952
DOI10.1007/BF00370205zbMath0707.03006MaRDI QIDQ918952
Publication date: 1989
Published in: Studia Logica (Search for Journal in Brave)
03B22: Abstract deductive systems
Related Items
AGGREGATION AND IDEMPOTENCE, Investigations into a left-structural right-substructural sequent calculus, Singulary extensional connectives: A closer look, False though partly true -- an experiment in logic, Replacement in logic, Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
Cites Work