Results for 'Nikolaos Myridis'

178 found
Order:
  1.  12
    Isotopic Analysis and Intentionality.Dimitra Sarakatsianou & Nikolaos Myridis - forthcoming - Semiotics:9-25.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  68
    Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.
    This is also where we begin investigating lattices of logics and varieties, rather than particular examples.
    Direct download  
     
    Export citation  
     
    Bookmark   94 citations  
  3.  71
    Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
    It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provable in the former iff its double negation is provable in the latter. We extend Glivenko's theorem and show that for every involutive substructural logic there exists a minimum substructural logic that contains the first via a double negation interpretation. Our presentation is algebraic and is formulated in the context of residuated lattices. In the last part (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  4.  98
    Equivalence of consequence relations: an order-theoretic and categorical perspective.Nikolaos Galatos & Constantine Tsinakis - 2009 - Journal of Symbolic Logic 74 (3):780-810.
    Equivalences and translations between consequence relations abound in logic. The notion of equivalence can be defined syntactically, in terms of translations of formulas, and order-theoretically, in terms of the associated lattices of theories. W. Blok and D. Pigozzi proved in [4] that the two definitions coincide in the case of an algebraizable sentential deductive system. A refined treatment of this equivalence was provided by W. Blok and B. Jónsson in [3]. Other authors have extended this result to the cases of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  5.  46
    Die Duhem-Quine-These unter dem Geltungsaspekt der erkenntnistheoretischen Fragestellung Kants.Nikolaos Avgelis - 1991 - Kant Studien 82 (3):285-302.
  6.  53
    Cut elimination and strong separation for substructural logics: an algebraic approach.Nikolaos Galatos & Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (9):1097-1133.
    We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existing work on substructural logics over the full Lambek Calculus [34], Galatos and Ono [18], Galatos et al. [17]). We present a Gentzen-style sequent system that lacks the structural rules of contraction, weakening, exchange and associativity, and can be considered a non-associative formulation of . Moreover, we introduce an equivalent Hilbert-style system and show that the logic associated (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  7.  34
    Compassionate care during withdrawal of treatment: A secondary analysis of ICU nurses' experiences.Nikolaos Efstathiou & Jonathan Ives - 2018 - Nursing Ethics 25 (8):1075-1086.
    Background: Withdrawal of treatment is a common practice in intensive care units when treatment is considered futile. Compassion is an important aspect of care; however, it has not been explored much within the context of treatment withdrawal in intensive care units. Objectives: The aim was to examine how concepts of compassion are framed, utilised and communicated by intensive care nurses in the context of treatment withdrawal. Design: The study employed a qualitative approach conducting secondary analysis of an original data set. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  38
    Tenure and academic deadwood.Nikolaos Nikolioudakis, Athanassios C. Tsikliras, Stylianos Somarakis & Konstantinos I. Stergiou - 2015 - Ethics in Science and Environmental Politics 15 (1):87-93.
  9. To provlēma tou kakou: dokimion paterikēs theologias.Nikolaos A. Matsoukas - 1976 - Thessalonikē: Aristoteleion Panepistēmion Thessalonikēs.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  29
    Turbulence Phenomena in Real Analysis.Nikolaos Efstathiou Sofronidis - 2005 - Archive for Mathematical Logic 44 (7):801-815.
    The purpose of this paper is first to show that if X is any locally compact but not compact perfect Polish space and stands for the one-point compactification of X, while E X is the equivalence relation which is defined on the Polish group C(X,R +*) by where f, g are in C(X,R +*), then E X is induced by a turbulent Polish group action. Second we show that given any if we identify the n-dimensional unit sphere S n with (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  17
    Between Three Worlds. The “Veneto-Saracenic” Candleholder of Docheiariou Monastery.Nikolaos Vryzidis - 2020 - Convivium 7 (2):58-73.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  37
    Preface.Nikolaos Galatos, Peter Jipsen & Hiroakira Ono - 2012 - Studia Logica 100 (6):1059-1062.
  13.  57
    Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
    Given a positive universal formula in the language of residuated lattices, we construct a recursive basis of equations for a variety, such that a subdirectly irreducible residuated lattice is in the variety exactly when it satisfies the positive universal formula. We use this correspondence to prove, among other things, that the join of two finitely based varieties of commutative residuated lattices is also finitely based. This implies that the intersection of two finitely axiomatized substructural logics over FL + is also (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  14.  97
    Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.
    Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  15.  12
    Zu Poppers Begriff der Wissenschaftstheorie.Nikolaos Avgelis - 1988 - Philosophie Et Culture: Actes du XVIIe Congrès Mondial de Philosophie 3:58-62.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. (1 other version)Aesch. Sept. 1045.Nikolaos Georgantzoglou - 1991 - Hermes 119 (4):464.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  38
    Art & Science Reconciled.Nikolaos Gkogkas - 2003 - Philosophy Now 43:26-28.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  79
    Film as Symbol.Nikolaos Gkogkas - 2013 - Philosophical Inquiry 37 (3-4):78-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  9
    Psihoanaliza i pravoslavna teologija: o želji, sveobuhvatnosti i eshatologiji.Nikolaos Loudovikos - 2010 - Beograd: PBF. Edited by Maja Rašović.
  20. Historia tēs Vyzantinēs philosophias: me parartēma to scholastikismo tou Dytikou Mesaiōna.Nikolaos A. Matsoukas - 1994 - Thessalonikē: Ekdoseis Vanias.
  21. Peri kathekontōn vivlos.Nikolaos Maurokordatos - 2014 - Athènes: Morphōtiko Hidryma Ethnikēs Trapezēs. Edited by Lampros Kamperidēs & Nikolaos Maurokordatos.
     
    Export citation  
     
    Bookmark  
  22.  7
    Anaptyxis tēs Theologikēs stoicheiōseōs Proklou Platōnikou philosophou.Nikolaos - 1984 - Leiden: E.J. Brill. Edited by Athanasios D. Angelou & Proclus.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  17
    Practice and Human Form.Nikolaos Psarros - 2019 - Conatus 3 (1):45.
    All variants of pragmatism share the flaw that their concepts of practice rely on the idea of the local value of actions with respect only to locally defined aims and not on the criterion of a universal goodness. This paper claims that such a criterion can be found with the aid of an ontologically founded theory of the Good, which regards forms not as solely noematic universals, but as real, though abstract, entities. The idea of goodness is derived from the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  37
    Church and Bioethics in Greece.Metropolitan Nikolaos - 2011 - Studies in Christian Ethics 24 (4):415-427.
    The Bioethics Committee of the Church of Greece, headed by Metropolitan Nikolaos of Mesogaia and Lavreotiki, was founded a few years ago, bringing together clergy, medical and legal experts. In his address, Metropolitan Nikolaos explains the concerns and the conditions that led to its foundation and he outlines some of the activities and the principles of the Committee. This address, a somewhat broad-brush presentation of the state of bioethics in Greece, is offered as a proposal as to how (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  3
    Dynamic Identities: The Right to Choose and Change Cultural Affiliations.Nikolaos Gaitenidis - forthcoming - Human Rights Review:1-16.
    The article explores the right to cultural identity, advocating for the freedom to choose and change cultural affiliations as a critical human right. It emphasizes that while cultural identity is essential for human dignity and personal freedom, this right remains underexplored in contemporary human rights discourse, leading to the essentialization of culture and neglecting its dynamic nature. By promoting the recognition of the freedom to redefine cultural identity, the article positions this freedom as crucial to human rights. It supports this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  22
    Zur gegenwärtigen Problemlage in der Wissenschaftstheorie.Nikolaos Avgelis - 1987 - Zeitschrift für Philosophische Forschung 41 (4):645 - 669.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Nachweise aus Heinrich Romundt, Grundlegung zur Reform der Philosophie (1885).Nikolaos Loukidelis - 2007 - Nietzsche Studien 36:403.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  8
    (1 other version)Nachweis aus Otto Liebmann, Gedanken und Thatsachen.Nikolaos Loukidelis - 2006 - Nietzsche Studien 35 (1):391.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  3
    Willensfreiheit und normativer Schuldbegriff.Nikolaos Pavlakos - 2024 - Archiv für Rechts- und Sozialphilosophie 110 (4):536-550.
    Freedom of will is crucial to the concept of guilt in criminal law, yet its existence is a major philosophical issue. Since the 17th century, classical mechanics and relativistic physics suggested determinism, negating free will. However, quantum mechanics, emerging in the 1930 s, challenged this deterministic view, leaving the reality of free will debatable. Natural sciences cannot conclusively resolve the free will question, allowing jurisprudence to adopt a normative-functional approach: people must be seen as free to uphold the rule of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  5
    Ars Mutandi: Issues in Philosophy and History of Chemistry.Nikolaos Psarros & Kōstas Gavroglou (eds.) - 1999 - Leipziger Universitätsverlag.
  31.  46
    Towards a History of the Greek hil‘at: An Interweaving of Byzantine and Ottoman Traditions.Nikolaos Vryzidis - 2017 - Convivium 4 (2):176-191.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  71
    Being and Essence Revisited: Reciprocal Logoi and Energies in Maximus the Confessor and Thomas Aquinas, and the Genesis of the Self-Referring Subject.Nikolaos Loudovikos - 2016 - Revista Portuguesa de Filosofia 72 (1):117-146.
  33.  16
    Most Simple Extensions of Are Undecidable.Nikolaos Galatos & Gavin St John - 2022 - Journal of Symbolic Logic 87 (3):1156-1200.
    All known structural extensions of the substructural logic $\textbf{FL}_{\textbf{e}}$, the Full Lambek calculus with exchange/commutativity (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee, \cdot, 1\}$ -equations), have decidable theoremhood; in particular all the ones defined by knotted axioms enjoy strong decidability properties (such as the finite embeddability property). We provide infinitely many such extensions that have undecidable theoremhood, by encoding machines with undecidable halting problem. An even bigger class of extensions is shown to have undecidable deducibility problem (the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  18
    Decidability of Lattice Equations.Nikolaos Galatos - 2024 - Studia Logica 112 (3):607-610.
    We provide an alternative proof of the decidability of the equational theory of lattices. The proof presented here is quite short and elementary.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  17
    Can Engineers Build AI/ML Systems? Analysis and an Alternative Approach.Nikolaos Panagiotopoulos - 2023 - Open Journal of Philosophy 13 (3):504-530.
    Although Artificial Intelligence (AI) and Machine Learning (ML) are attracting a lot of scientific and engineering attention nowadays, nothing up to now has been achieved to reach the level of building machines that possess human-like intelligence. Though, the engineering community continuously claims that several engineering problems are solved using AI or ML. Here, it is argued that engineers are not being able to build intelligent machines, implying that the systems claimed to have AI/ML belong to different engineering domains. The base (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  16
    Die „grosse Vernunft“ des Leibes und das Über-sich-hinaus-Schaffen. Eine Interpretation zur vierten Rede Zarathustras.Nikolaos Loukidelis - 2011 - In Volker Caysa & Konstanze Schwarzwald, Nietzsche - macht - größe. Nietzsche - philosoph der größe der macht oder der macht der größe? deGruyter. pp. 213-224.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  8
    Ho mochthos tēs metochēs: Einai kai Methexē ston Grēgorio Palama kai ton Thōma Akinatē.Nikolaos Loudovikos - 2010 - Athēna: Ekdoseis Harmos.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  53
    On the Geometry of the Berry-Robbins Approach to Spin-Statistics.Nikolaos Papadopoulos & Andrés F. Reyes-Lega - 2010 - Foundations of Physics 40 (7):829-851.
    Within a geometric and algebraic framework, the structures which are related to the spin-statistics connection are discussed. A comparison with the Berry-Robbins approach is made. The underlying geometric structure constitutes an additional support for this approach. In our work, a geometric approach to quantum indistinguishability is introduced which allows the treatment of singlevaluedness of wave functions in a global, model independent way.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  36
    Calculus of variations and descriptive set theory.Nikolaos E. Sofronidis - 2009 - Mathematical Logic Quarterly 55 (5):535-538.
    If X is a locally compact Polish space, then LSC denotes the compact Polish space of lower semi-continuous real-valued functions on X equipped with the topology of epi-convergence.Our purpose in this article is to prove the following: if –∞ < α < β < ∞ and –∞ < a < b < ∞, while r ∈ ℕ \ {0}, then the set CV of all f ∈ LSC for which there is u ∈ Cr such that for any v ∈ (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  25
    À propos d'une amphore géométrique pansue du type à trois métopes de cercles concentriques. Reconsidération d'un cadre théorique.Nikolaos Stampolidis & Nota Kourou - 1996 - Bulletin de Correspondance Hellénique 120 (2):705-719.
    Με αφορμή ένα γεωμετρικό αμφορέα του επιγάστριου αττικο-κυκλαδικού τύπου από το νεκροταφείο της Ελεύθερνας, διακοσμημένο με τρεις μετόπες ομόκεντρων κύκλων στη ζώνη της κοιλιάς, συζητούνται τα προβλήματα τυπολογίας και προέλευσης αυτής της χαρακτηριστικής κατηγορίας αγγείων στο φως της νεότερης έρευνας. Η τεχνοτροπία όλων των αμφορέων αυτού του τύπου, δηλ. με δύο ή με τρεις μετόπες ομοκέντρων κύκλων, ακολουθεί πάντοτε τον αττικό ρυθμό, αλλά ενώ η αττική καταγωγή των διμετο- πικών αμφορέων του τύπου ουδέποτε αμφισβητήθηκε, η καταγωγή των τριμετοπικών αμφορέων, που (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41.  16
    Pteroenta Pedila.Nikolaos Yalouris - 1953 - Bulletin de Correspondance Hellénique 77 (1):293-321.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  51
    Adding involution to residuated structures.Nikolaos Galatos & James G. Raftery - 2004 - Studia Logica 77 (2):181 - 207.
    Two constructions for adding an involution operator to residuated ordered monoids are investigated. One preserves integrality and the mingle axiom x 2x but fails to preserve the contraction property xx 2. The other has the opposite preservation properties. Both constructions preserve commutativity as well as existent nonempty meets and joins and self-dual order properties. Used in conjunction with either construction, a result of R.T. Brady can be seen to show that the equational theory of commutative distributive residuated lattices (without involution) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  43.  21
    Applying Exploratory Structural Equation Modeling to Examine the Student-Teacher Relationship Scale in a Representative Greek Sample.Nikolaos Tsigilis, Athanasios Gregoriadis, Vasilis Grammatikopoulos & Evridiki Zachopoulou - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  28
    Democracy as Popular Sovereignty.Nikolaos Garipidis - 2017 - Philosophical Inquiry 41 (4):80-85.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  17
    Editorial: Economic Games, (Dis)honesty and Trust.Nikolaos Georgantzis, Tarek Jaber-Lopez & Ismael Rodriguez-Lara - 2022 - Frontiers in Psychology 13.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Michel Fattal,'Logos', pensée et vérité dans la philosophie grecque Reviewed by.Nikolaos An Gkogkas - 2002 - Philosophy in Review 22 (6):407-408.
     
    Export citation  
     
    Bookmark  
  47. The dias proposal: A research program conceiving law as an open social system.Nikolaos G. Intzessiloglou - 2002 - Rechtstheorie 33 (2-4):411-482.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  43
    Ig II 2 2490, the epakreis and the pre-cleisthenic trittyes.Nikolaos Papazarkadas - 2007 - Classical Quarterly 57 (01):22-.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  22
    Graffiti du Gymnase d'Andros.Nikolaos Petrochilos - 2008 - Bulletin de Correspondance Hellénique 132 (1):403-426.
    Seize plaques de marbres du gymnase d’Andros ont été trouvées à l’état fragmentaire. De longueur et largeur irrégulières, mais de hauteur constante, elles vont s’épaississant régulièrement d’un long côté à l’autre. Des graffiti sont inscrits sur le côté vertical et étroit de ces plaques, plus rarement aussi sur un autre côté. Ces plaques rappellent les bancs des gymnases et des palestres où, dans ce que l’on appelle l’ephebeion, les jeunes gens assistaient aux leçons. Les graffiti trouvés dans cette pièce reflètent (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Max Stirner, der Philosoph: ein Versuch der Versöhnung seines Denkens mit der philosophischen Tradition.Nikolaos Psarros - 2022 - Würzburg: Königshausen & Neumann.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 178