A deductive-reductive form of logic: Intuitionistic S4 modalities

Piotr Łukowski

DOI: http://dx.doi.org/10.12775/LLP.2002.005

Abstract


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.

Full Text:

PDF

References


Ł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).




Bookmark and Share




logo
 
 
 
Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.


ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism