A deductive-reductive form of logic: Intuitionistic S4 modalities
DOI:
https://doi.org/10.12775/LLP.2002.005Abstrakt
The paper is a continuation of A deductive-reductive form of logic: general theory and intuitionistic case ([1]) and considers the problem of definability of modal operators on the intuitionistic base. Contrary to the classical case, it seems that the fact whether the connective is Heyting’s or Brouwerian is essential for the intuitionistic logic. The connective of possibility has the classical interpretation, if it is defined on the base of the logic with Brouwerian connective of coimplication.Bibliografia
Łukowski, P., “A deductive-reductive form of logic: general theory and intuitionistic case”, this volume. DOI: http://dx.doi.org/10.12775/LLP.2002.004
Rauszer, C., “An algebraic and Kripke-style approach to a certain extension of intuitionistic logic”, Dissertationes Mathematicae CLXVII, PWN Warszawa 1980.
Suszko, R., “Abolition of the Fregean Axiom”, Lectures Notes in Mathematics, No. 453, 1975, pp. 169–239.
Wójcicki, R., “Dual counterparts of consequence operation”, Bulletin of the Section of Logic 2/1, 54–57 (1973).
Pobrania
Opublikowane
19.01.2004
Jak cytować
1.
ŁUKOWSKI, Piotr. A deductive-reductive form of logic: Intuitionistic S4 modalities. Logic and Logical Philosophy [online]. 19 styczeń 2004, T. 10, nr 10, s. 79–91. [udostępniono 25.7.2024]. DOI 10.12775/LLP.2002.005.
Numer
Dział
Artykuły
Statystyki
Liczba wyświetleń i pobrań: 310
Liczba cytowań: 0