Show simple item record

Some Results Concerning Axioms for Equivalential Calculus

dc.contributor.authorCzakon, Marcin
dc.date.accessioned2025-12-12T15:23:25Z
dc.date.available2025-12-12T15:23:25Z
dc.date.issued2025-07-02
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/56969
dc.description.abstractOne of the most important questions in the area of the equivalential calculus (EC) currently is the issue of the single shortest axiom. We show some new a single organic and inorganic axioms for EC which are either D-complete or R-complete. We also present a number of two-element sets of axioms which posses some special properties. Two matrix are also discussed, which exclude two formulas from the set of potential 2MP-complete axioms.en
dc.language.isoen
dc.publisherWydawnictwo Uniwersytetu Łódzkiegopl
dc.relation.ispartofseriesBulletin of the Section of Logic;3en
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0
dc.subjectequivalential calculusen
dc.subjectD-completeen
dc.subjectR-completeen
dc.subjectsingle axiomen
dc.subjectcondensed detachmenten
dc.titleSome Results Concerning Axioms for Equivalential Calculusen
dc.typeArticle
dc.page.number325-341
dc.contributor.authorAffiliationJohn Paul II Catholic University of Lublin, Department of Logicen
dc.identifier.eissn2449-836X
dc.referencesY. Arai, On axiom systems of propositional calculi, XVII, Proceedings of the Japan Academy, vol. 42(4) (1966), pp. 351–354, DOI:https://doi.org/10.3792/pja/1195522032en
dc.referencesM. Czakon, D-complete Single Axioms for the Equivalential Calculus with the rules D and R, Bulletin of the Section of Logic, vol. 53(4) (2024), pp. 479–489, DOI: https://doi.org/10.18778/0138-0680.2024.15en
dc.referencesW. Dudek, Algebras connected with the equivalential calculus, Mathematica Montisnigri, (1995), pp. 13–18.en
dc.referencesW. Dudek, Algebras motivated by the equivalential calculus, Rivista di matematica pura ed applicata, vol. 17 (1996), pp. 107–112.en
dc.referencesW. Dudek, Algebras inspired by the equivalential calculus, Italian Journal of Pure and Applied Mathematics, vol. 9 (2001), pp. 139–148.en
dc.referencesJ. R. Hindley, BCK and BCI logics, condensed detachment and the 2-property, Notre Dame Journal of Formal Logic, vol. 34(2) (1993), pp. 231–250, DOI: https://doi.org/10.1305/ndjfl/1093634655en
dc.referencesJ. R. Hindley, D. Meredith, Principal Type-Schemes and Condensed Detachment, The Journal of Symbolic Logic, vol. 55(1) (1990), pp. 90–105, URL: http://www.jstor.org/stable/2274956en
dc.referencesK. Hodgson, Shortest Single Axioms for the Equivalential Calculus with CD and RCD, Journal of Automated Reasoning, vol. 20 (1998), pp. 283–316, DOI: https://doi.org/10.1023/A:1005731217123en
dc.referencesJ. A. Kalman, A shortest single axiom for the classical equivalential calculus, Notre Dame Journal of Formal Logic, vol. 19(1) (1978), pp. 141–144, DOI: https://doi.org/10.1305/ndjfl/1093888216en
dc.referencesJ. A. Kalman, Condensed Detachment as a Rule of Inference, Studia Logica, vol. 42(4) (1983), pp. 443–451, DOI: https://doi.org/10.1007/bf01371632en
dc.referencesS. Leśniewski, Grundzüge eines neuen Systems der Grundlagen der Mathematik, Fundamenta Mathematicae, vol. 14(1) (1929), pp. 1–81, DOI: https://doi.org/10.4064/FM-14-1-1-81en
dc.referencesJ. Łukasiewicz, Równoważnościowy rachunek zdań, [in:] J. Łukasiewicz (ed.), Z zagadnień logiki i filozofii, Państwowe Wydawnictwo Naukowe, Warszawa (1939), pp. 234–235.en
dc.referencesC. A. Meredith, A. N. Prior, Notes on the axiomatics of the propositional calculus, Notre Dame Journal of Formal Logic, vol. 4(3) (1963), pp. 171–187, DOI: https://doi.org/10.1305/ndjfl/1093957574en
dc.referencesJ. G. Peterson, Shortest single axioms for the classical equivalential calculus, Notre Dame Journal of Formal Logic, vol. 17(2) (1976), pp. 267–271, DOI: https://doi.org/10.1305/ndjfl/1093887534en
dc.referencesD. Ulrich, D-complete axioms for the classical equivalential calculus, Bulletin of the Section of Logic, vol. 34 (2005), pp. 135–142.en
dc.referencesM. Wajsberg, Ein neues Axiom des Aussaugenkalkül in der Symbolik von Sheffer, Monatshefte für Mathematik und Physik, vol. 39 (1932).en
dc.referencesM. Wajsberg, Metalogische Beiträge, Wiadomości Matematyczne, vol. 43 (1937), pp. 131–168.en
dc.referencesL. Wos, D. Ulrich, B. Fitelson, Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus, Journal of Automated Reasoning, vol. 28 (2002), pp. 107–124, DOI: https://doi.org/10.1023/A:1021693818601en
dc.referencesL. Wos, D. Ulrich, B. Fitelson, XCB, The last of the shortest single axioms for the classical equivalential calculus, Bulletin of the Section of Logic, vol. 32(3) (2003), pp. 131–136.en
dc.referencesL. Wos, S. Winker, R. Veroff, B. Smith, L. Henschen, Questions concerning possible shortest single axioms for the equivalential calculus: An application of automated theorem proving to infinite domains, Notre Dame Journal of Formal Logic, vol. 24(2) (1983), pp. 205–223, DOI: https://doi.org/10.1305/ndjfl/1093870311en
dc.contributor.authorEmailmarcinczakon@kul.pl
dc.identifier.doi10.18778/0138-0680.2025.05
dc.relation.volume54


Files in this item

Thumbnail
Name:
325-341_Czakon.pdf
Size:
961.3Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by-nc-nd/4.0
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0