D-complete Single Axioms for the Equivalential Calculus with the rules D and R
Ulrich showed that most of the known axiomatisations of the classical equivalence calculus (EC) are D-incomplete, that is, they are not complete with the condensed detachment rule (D) as the primary rule of the proof procedure. He proved that the axiomatisation EEpEqrErEqp, EEEpppp by Wajsberg is D-...
Saved in:
Main Author: | Marcin Czakon |
---|---|
Format: | Article |
Language: | English |
Published: |
Lodz University Press
2024-11-01
|
Series: | Bulletin of the Section of Logic |
Subjects: | |
Online Access: | https://czasopisma.uni.lodz.pl/bulletin/article/view/22207 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
p-regular Cauchy completions
by: Darrell C. Kent, et al.
Published: (2000-01-01) -
Separation axioms for partially ordered convergence spaces
by: Reino Vainio
Published: (1984-01-01) -
Calculus : a complete course /
by: Adams, Robert A. -
Understanding and ad hoc Explanation: A Case of Russell’s Reducibility Axiom
by: V. V. Tselishchev, et al.
Published: (2022-05-01) -
Calculus /
by: Flanders, Harley
Published: (1985)