A Syntactic Proof Of A Conjecture Of Andrzej Wronski

Reports on Mathematical Logic:81-86 (1994)
  Copy   BIBTEX

Abstract

A syntactic derivation of Cornish identity from the axioms of HBCK is presented which amounts to a syntactic proof of Wronski's conjecture that naturally ordered BCK-algebras form a variety.

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,506

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On a property of BCK-identities.Misao Nagayama - 1994 - Studia Logica 53 (2):227 - 234.
Cut-elimination for Weak Grzegorczyk Logic Go.Rajeev Goré & Revantha Ramanayake - 2014 - Studia Logica 102 (1):1-27.
A Syntactic Proof of Cut‐Elimination For GLlin.S. Valentini - 1986 - Mathematical Logic Quarterly 32 (7‐9):137-144.
A Syntactic Proof of the Decidability of First-Order Monadic Logic.Eugenio Orlandelli & Matteo Tesi - 2024 - Bulletin of the Section of Logic 53 (2):223-244.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Proof-theoretic modal PA-Completeness II: The syntactic countermodel.Paolo Gentilini - 1999 - Studia Logica 63 (2):245-268.
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.Rosalie Iemhoff - 2016 - Notre Dame Journal of Formal Logic 57 (2):233-247.
Proof-theoretic modal PA-Completeness III: The syntactic proof.Paolo Gentilini - 1999 - Studia Logica 63 (3):301-310.
Corrigendum to Reducing ω-model reflection to iterated syntactic reflection.Fedor Pakhomov & James Walsh - 2023 - Journal of Mathematical Logic 23 (3).
Syntactic representation in the lemma stratum.Holly P. Branigan & Martin J. Pickering - 2004 - Behavioral and Brain Sciences 27 (2):296-297.

Analytics

Added to PP
2015-02-12

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Tomasz Kowalski
La Trobe University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references