Przeglądaj Bulletin of the Section of Logic 48/4 (2019) według tytułu
Wyświetlanie pozycji 4-5 z 5
-
Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3
(Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)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 ... -
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation ...