Results for 'Rostislav Fojtik'

23 found
Order:
  1. Mobile Technologies and Distance Education.Rostislav Fojtik & Hashim Habiballa - 2006 - Communication and Cognition: An Interdisciplinary Quarterly Journal 39 (1/2):95.
     
    Export citation  
     
    Bookmark  
  2.  23
    A Thomistic Untraslatable: A Conceptual Analysis of Aquinas’ Doctrine of Transubstantiation.Tkachenko Rostislav - 2016 - Sententiae 34 (1):61-79.
    The article treats the doctrine of transubstantiation or the Eucharistic change as formulated by Thomas Aquinas in his Summa theologiae, Question 75, against its double conceptual (Christian religious vs. Aristotelian philosophical), as well as double linguistic (Latin vs. translated Greek), background. The doctrine is presented and analyzed as a philosophical-theological theory that can be explicated and assessed using the concept of philosophical untranslatable(s), recently discovered and brought to the fore by the proponents of the “translational turn” in continental philosophy. It (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. The 30th Anniversary of the Culmination of the Czechoslovakian Struggle for National Liberation and the Liberation of Czechoslovakia by the Soviet Army.J. Fojtik - 1975 - Filosoficky Casopis 23 (3):343-366.
  4.  41
    Product Ł Ukasiewicz Logic.Rostislav Horčík & Petr Cintula - 2004 - Archive for Mathematical Logic 43 (4):477-503.
    Łu logic plays a fundamental role among many-valued logics. However, the expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Łu logic by adding a new connective which expresses multiplication. The resulting logic, PŁ, is defined, developed, and put into the context of other well-known many-valued logics. We also deal with several extensions of this propositional logic. A predicate version of PŁ logic is introduced and developed too.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  5.  39
    Peter Lombard on God’s Knowledge: Sententiae, Book I, Distinctions 35-38, as the Basis for Later Theological Discussions.Rostislav Tkachenko - 2017 - Sententiae 36 (1):17-30.
    Since the mid-90’s the figure of Peter Lombard and his Book of Sentences has regained the importance in scholarly world and been studied from both historical-theological and historical-philosophical perspectives. But some aspects of his thinking, encapsulated in the written form, which was to become the material basis for the thirteenth- through the fifteenth-century theological projects, remained somewhat insufficiently researched. Therefore this article analyzes the select parts of the Book of Sentences with the purpose of looking at how Peter Lombard handled (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  8
    Formal Systems of Fuzzy Logic and Their Fragments.Petr Cintula, Petr Hájek & Rostislav Horčík - 2007 - Annals of Pure and Applied Logic 150 (1):40-65.
    Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  55
    Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties: Nonassociative Substructural Logics.Petr Cintula, Rostislav Horčík & Carles Noguera - 2013 - Review of Symbolic Logic 6 (3):394-423.
    Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a nonassociative generalization of FL has been studied by Galatos and Ono as the logic of lattice-ordered residuated unital groupoids. This paper is based on an alternative Hilbert-style presentation for SL which is almost MP -based. This presentation is then used to obtain, in a uniform way applicable to most substructural logics, a form (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  17
    On N -Contractive Fuzzy Logics.Rostislav Horčík, Carles Noguera & Milan Petrík - 2007 - Mathematical Logic Quarterly 53 (3):268-288.
    It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL-chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since each finite MTL-chain satisfies a form of this generalized contraction. Simultaneously, we also consider extensions of MTL by the generalized excluded middle laws introduced in [9] and the axiom of weak cancellation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  36
    Standard Completeness Theorem for ΠMTL.Rostislav Horĉík - 2004 - Archive for Mathematical Logic 44 (4):413-424.
    .ΠMTL is a schematic extension of the monoidal t-norm based logic by the characteristic axioms of product logic. In this paper we prove that ΠMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the class of ΠMTL-algebras in the real unit interval [0,1] generates the variety of all ΠMTL-algebras.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  6
    Provability Logics with Quantifiers on Proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.
    We study here extensions of the Artemov's logic of proofs in the language with quantifiers on proof variables. Since the provability operator □ A could be expressed in this language by the formula u[u]A, the corresponding logic naturally extends the well-known modal provability logic GL. Besides, the presence of quantifiers on proofs allows us to study some properties of provability not covered by the propositional logics.In this paper we study the arithmetical complexity of the provability logic with quantifiers on proofs (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  27
    Peter Lombard on God’s Knowledge and Its Capacities: Sententiae, Book I, Distinctions 38-39.Rostislav Tkachenko - 2018 - Sententiae 37 (1):6-18.
    The global Peter Lombard research reinaugurated in 1990s has resulted in a number of recent publications, but the Master of the Sentences’ theology proper is partially underresearched. In particular, a more detailed exposition of the distinctions 35-41 of his Book of Sentences is needed in order to clarify his doctrine of God’s knowledge and its relation to the human free will. The article builds on the earlier established evidence that, for Peter Lombard in distinctions 35-38, God’s knowledge, in general, is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  14
    Indexické V Ý Razy (I).Rostislav Niederle - 2002 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 9 (1):1-45.
    The goal of this article is a general inspection of indexicals as a specific phenomenon of natural language on the one side, and a consideration of "semantization" of indexicals on the other side. The term "semantization" represents a criterion on the basis of which various approaches to relevant solutions are valuated: if, according to Frege´s view, all language expressions should express their senses, what kind of senses could be expressed in the case of indexicals? First, indexicals are explicated as a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  33
    Archimedean Classes in Integral Commutative Residuated Chains.Rostislav Horčík & Franco Montagna - 2009 - Mathematical Logic Quarterly 55 (3):320-336.
    This paper investigates a quasi-variety of representable integral commutative residuated lattices axiomatized by the quasi-identity resulting from the well-known Wajsberg identity → q ≤ → p if it is written as a quasi-identity, i. e., → q ≈ 1 ⇒ → p ≈ 1. We prove that this quasi-identity is strictly weaker than the corresponding identity. On the other hand, we show that the resulting quasi-variety is in fact a variety and provide an axiomatization. The obtained results shed some light (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  18
    An Analysis of Anselm’s Philosophical Theology and the Problem of Man’s Freedom in His De Concordia.Rostislav Tkachenko - 2015 - Sententiae 32 (1):6-35.
    The purpose of this study is to discover, present and analyze the key ideas of Anselm of Canterbury concerning the notions of knowledge, will and mode of divine-human relations in the context of this “knowledge-will” framework which is important due to (a) somewhat insufficient attention to the medieval insights on the issue and (b) the peculiarity that Anselm’s intuitions have. More specifically, the object of the given paper is Anselmian understanding of relations between God’s foreknowledge and will, on the one (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Regional'nye Politicheskie Rezhimy V Rossii: K Metodologii Analiza.Rostislav Turovskiy - 2009 - Polis (Misc) 2:77-95.
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  21
    Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
    We solve several open problems on the cardinality of atoms in the subvariety lattice of residuated lattices and FL-algebras [4, Problems 17—19, pp. 437]. Namely, we prove that the subvariety lattice of residuated lattices contains continuum many 4-potent commutative representable atoms. Analogous results apply also to atoms in the subvariety lattice of FL i -algebras and FL o -algebras. On the other hand, we show that the subvariety lattice of residuated lattices contains only five 3-potent commutative representable atoms and two (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    Full Lambek Calculus with Contraction is Undecidable.Karel Chvalovský & Rostislav Horčík - 2016 - Journal of Symbolic Logic 81 (2):524-540.
  18.  7
    Product Ukasiewicz Logic.Rostislav Hork & Petr Cintula - 2004 - Archive for Mathematical Logic 4.
  19.  5
    Professor Tarski, ‘The Liar’, and the True.Rostislav Pazukhin - 1992 - Semiotica 91 (3-4):301-318.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  3
    Fische und Fischkulte im Alten ÄgyptenFische und Fischkulte im Alten Agypten.Rostislav Holthoer & Ingrid Gamer-Wallert - 1973 - Journal of the American Oriental Society 93 (4):579.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  1
    A Contribution to the General Theory of Models.Rostislav Pazukhin - 1987 - Semiotica 67 (1-2):61-82.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Communist Morality.N. V. Bychkova, Rostislav Aleksandrovich Lavrov & V. A. Li͡ubisheva (eds.) - 1962 - Moscow: Progress Publishers.
     
    Export citation  
     
    Bookmark  
  23. Representation: Similarity, Connection, Symbol.Rostislav Niederle - 2012 - Filosoficky Casopis 60:65-89.
     
    Export citation  
     
    Bookmark