Studia Logica 52 (3):443 - 455 (1993)
|Abstract||An Ackermann constant is a formula of sentential logic built up from the sentential constant t by closing under connectives. It is known that there are only finitely many non-equivalent Ackermann constants in the relevant logic R. In this paper it is shown that the most natural systems close to R but weaker than it-in particular the non-distributive system LR and the modalised system NR-allow infinitely many Ackermann constants to be distinguished. The argument in each case proceeds by construction of an algebraic model, infinite in the case of LR and of arbitrary finite size in the case of NR. The search for these models was aided by the computer program MaGIC (Matrix Generator for Implication Connectives) developed by the author at the Australian National University.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
José M. Méndez (1985). Systems with the Converse Ackermann Property. Theoria 1 (1):253-258.
W. J. Blok & Don Pigozzi (1986). Protoalgebraic Logics. Studia Logica 45 (4):337 - 369.
Jacek Hawranek & Jan Zygmunt (1984). On the Degree of Complexity of Sentential Logics.II. An Example of the Logic with Semi-Negation. Studia Logica 43 (4):405 - 413.
Janusz Czelakowski (1985). Algebraic Aspects of Deduction Theorems. Studia Logica 44 (4):369 - 387.
Renato A. Lewin, Irene F. Mikenberg & María G. Schwarze (1997). On the Algebraizability of Annotated Logics. Studia Logica 59 (3):359-386.
Kosta Došen (1985). Sequent-Systems for Modal Logic. Journal of Symbolic Logic 50 (1):149-168.
Rafał Urbaniak (2006). On Representing Sentential Connectives of Lesniewski's Elementary Protothetic. Journal of Logic and Computation 16 (4):451-460.
J. G. Raftery (2011). Contextual Deduction Theorems. Studia Logica 99 (1-3):279-319.
John K. Slaney (1985). 3088 Varieties a Solution to the Ackermann Constant Problem. Journal of Symbolic Logic 50 (2):487-501.
Robert K. Meyer (1986). Sentential Constants in R and R⌝. Studia Logica 45 (3):301 - 327.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?