Bulletin of the Section of Logic: Ostatnio dodane
Wyświetlanie pozycji 221-224 z 224
-
On Some Applied First-Order Theories which Can Be Represented by Definitions
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)In the paper we formulate a sufficient criterion in order for the first order theory with finite set of axioms to be represented by definitions in predicate calculus. We prove the corresponding theorem. According to this ... -
Non-Fregean Logics of Analytic Equivalence (I)
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)The identity connective is usually interpreted in non-Fregean logic as an operator representing the identity of situations. This interpretation is related to the modal criterion of the identity of sentence correlates, ... -
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties ... -
A Note on some Characterization of Distributive Lattices of Finite Length
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)Using known facts we give a simple characterization of the distributivity of lattices of finite length.