On models of certain formulas of the predicate calculus of first order
B. P. Alimpić (1968)
Matematički Vesnik
Similarity:
B. P. Alimpić (1968)
Matematički Vesnik
Similarity:
Kosta Došen (1986)
Publications de l'Institut Mathématique
Similarity:
Kosta Došen (1984)
Publications de l'Institut Mathématique
Similarity:
Markovic, Zoran (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
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:
E. G. K. López-Escobar, Francisco Miraglia
Similarity:
Božić, Milan (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Andrzej Grzegorczyk (1968)
Compositio Mathematica
Similarity:
Daishi Yazaki (2019)
Bulletin of the Section of Logic
Similarity:
The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and S4.3. The application of the inference rules is said to be acceptable, if all the formulas in the upper sequents are subformula of the formulas in lower sequent. For some modal logics, Takano analyzed the relationships between the acceptable inference rules and semantical...
Marković, Zoran, Ognjanović, Zoran, Rašković, Miodrag (2003)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Mirjana Ilić (2016)
Bulletin of the Section of Logic
Similarity:
A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus derivations to natural deduction derivations and back.
Szymon Chlebowski, Dorota Leszczyńska-Jasion (2019)
Bulletin of the Section of Logic
Similarity:
We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.