Negative modal operators in intuitionistic logic.
Došen, Kosta (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Došen, Kosta (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
J. D. Kečkić (1968)
Matematički Vesnik
Similarity:
R. Kulesza (1970)
Applicationes Mathematicae
Similarity:
Mitio Takano (2020)
Bulletin of the Section of Logic
Similarity:
A modified subformula property for the modal logic KD with the additionalaxiom □ ◊(A ∨ B) ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a natural extension of our former one on which modified subformula property for the modal logics K5, K5D and S4.2 has been shown ([2] and [4]). The finite model property as well as decidability for the logic follows from this.
Zofia Kostrzycka (2020)
Bulletin of the Section of Logic
Similarity:
We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication, whereas variables and other positive sentences remain as they are. The proposed translation preserves fragments of the Rieger-Nishimura lattice which is the Lindenbaum algebra of monadic formulas in INT. Unfortunately, INT is not embedded...
Jan Woleński (2009)
Banach Center Publications
Similarity:
Mitio Takano (2019)
Bulletin of the Section of Logic
Similarity:
The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is shown that, every GS4.2-provable sequent S has a GS4.2-proof such that every formula occurring in it is either a subformula of some formula in S, or the formula □¬□B or ¬□B, where □B occurs in the scope of some occurrence of □ in some formula of S. These are just the...
Newton C.A. da Costa (1989)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
The Author describes new systems of logic (called "nonalethic") which are both paraconsistent and paracomplete. These systems are connected with the logic of vagueness and with certain philosophical problems (e.g. with some aspects of Hegel's logic).
Taneli Huuskonen (2015)
Formalized Mathematics
Similarity:
This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]). This part presents the syntax and axioms of Grzegorczyk’s Logic of Descriptions (LD) as originally proposed by him, as well as some theorems not depending on any semantic constructions. There are both some clear similarities and fundamental differences between LD and the non-Fregean logics introduced...
Slobodan Vujošević (2012)
Review of the National Center for Digitization
Similarity:
Janusz Ciuciura (2017)
Bulletin of the Section of Logic
Similarity:
In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.
T. Traczyk (1964)
Colloquium Mathematicae
Similarity:
H. T. Goranson, Sirius-Beta (1999)
Visual Mathematics
Similarity:
Miodrag Rašković, Radosav Đorđević, Zoran Marković (2001)
Publications de l'Institut Mathématique
Similarity: