Results for 'Branislav R. Boričić'

1000+ found
Order:
  1.  15
    On some interpretations of classical logic.Branislav R. Boričić & B. R. Boričić - 1992 - Mathematical Logic Quarterly 38 (1):409-412.
    In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  31
    On some interpretations of classical logic.Branislav R. Boričić & B. R. Boričić - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):409-412.
  3.  70
    On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.
  4.  42
    A cut-free gentzen-type system for the logic of the weak law of excluded middle.Branislav R. Boričić - 1986 - Studia Logica 45 (1):39-53.
    The logic of the weak law of excluded middleKC p is obtained by adding the formula A A as an axiom scheme to Heyting's intuitionistic logicH p . A cut-free sequent calculus for this logic is given. As the consequences of the cut-elimination theorem, we get the decidability of the propositional part of this calculus, its separability, equality of the negationless fragments ofKC p andH p , interpolation theorems and so on. From the proof-theoretical point of view, the formulation presented (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  15
    A note on some intermediate propositional calculi.Branislav R. Boričić - 1984 - Journal of Symbolic Logic 49 (2):329-333.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  17
    On certain normalizable natural deduction formulations of some propositional intermediate logics.Branislav R. Boričić - 1988 - Notre Dame Journal of Formal Logic 29 (4):563-568.
  7.  25
    A note on sequent calculi intermediate between LJ and LK.Branislav R. Boričić - 1988 - Studia Logica 47 (2):151 - 157.
    We prove that every finitely axiomatizable extension of Heyting's intuitionistic logic has a corresponding cut-free Gentzen-type formulation. It is shown how one can use this result to find the corresponding normalizable natural deduction system and to give a criterion for separability of considered logic. Obviously, the question how to obtain an effective definition of a sequent calculus which corresponds to a concrete logic remains a separate problem for every logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  30
    Interpolation Theorem for intuitionistic S4.Branislav R. Boricic - 1991 - Bulletin of the Section of Logic 20 (1):2-6.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  15
    On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Mathematical Logic Quarterly 31 (14‐18):243-247.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  30
    On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Mathematical Logic Quarterly 31 (14-18):243-247.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  13
    Some modifications of the Godel translation of classical intuitionictic logic.Branislav R. Boricic - 1990 - Bulletin of the Section of Logic 19 (3):84-86.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  12
    A note on the system GRW with the intensional contraction rule.Mirjana Ilić & Branislav Boričić - 2021 - Logic Journal of the IGPL 29 (3):333-339.
    In Ilić and Boričić, the right-handed cut-free sequent calculus $GRW$ for the contraction-less relevant logic $RW$ is defined. In this paper, we show that the enlargement of the system $GRW$ with the structural rule of intensional contraction presents the sequent system for the principal relevant logic $R$ but the rule of cut cannot be eliminated in $GRW+$.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  36
    An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.
    A normalizable natural deduction formulation, with subformula property, of the implicative fragment of classical logic is presented. A traditional notion of normal deduction is adapted and the corresponding weak normalization theorem is proved. An embedding of the classical logic into the intuitionistic logic, restricted on propositional implicational language, is described as well. We believe that this multiple-conclusion approach places the classical logic in the same plane with the intuitionistic logic, from the proof-theoretical viewpoint.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  12
    Validity Measurement in Some Propositional Logics.Branislav Boričić - 1997 - Mathematical Logic Quarterly 43 (4):550-558.
    The language of the propositional calculus is extended by two families of propositional probability operators, inductively applicable to the formulae, and the set of all formulae provable in an arbitrary superintuitionistic propositional logic is extended by the probability measure axioms concerning those probability operators. A logical system obtained in such a way, similar to a kind of polymodal logic, makes possible to express a probability measure of truthfulness of any formula. The paper contains a description of the Kripke-type possible worlds (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  11
    A Note On Probabilistic Validity Measure In Propositional Calculi.Branislav Boricic - 1995 - Logic Journal of the IGPL 3 (5):721-724.
    The propositional language extended by two families of unary propositional probability operators and the corresponding list of probability measure axioms concerning those operators is the basis of the system preseted here. We describe a Kripke-type possible worlds semantics covering such a kind of logical systems.1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    Algorithms for computing strategies in two-player simultaneous move games.Branislav Bošanský, Viliam Lisý, Marc Lanctot, Jiří Čermák & Mark H. M. Winands - 2016 - Artificial Intelligence 237:1-40.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  22
    Possible application of deliberative democracy in parliament.Branislav Dolný - 2011 - Human Affairs 21 (4):422-436.
    Deliberative democracy, as a dominant paradigm in contemporary democratic theory, offers a new, attractive conception of democratic legitimacy, which represents an alternative to a democracy that functions through the mechanism of political competition. A major problem with deliberation is the issue of its institutionalisation, as the theories of deliberative democracy have not produced a more specific institutional framework or form in which it could be used in political practice. Parliaments appear to be particularly suitable places for its potential implementation. Moreover, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  5
    Zur Erkenntnistheorie Hegels in der Phänomenologie des Geistes.R. W. Wilcocks - 1917 - New York: G. Olms.
  19.  28
    How Transcranial Direct Current Stimulation Can Modulate Implicit Motor Sequence Learning and Consolidation: A Brief Review.Branislav Savic & Beat Meier - 2016 - Frontiers in Human Neuroscience 10.
  20. Reason and value: themes from the moral philosophy of Joseph Raz.R. Jay Wallace (ed.) - 2004 - New York: Oxford University Press.
    Reason and Value collects 15 new papers by leading contemporary philosophers on themes from the work of Joseph Raz. Raz has made major contributions in a wide range of areas, including jurisprudence, political philosophy, and the theory of practical reason; but all of his work displays a deep engagement with central themes in moral philosophy. The subtlety and power of Raz's reflections on ethical topics make his writings a fertile source for anyone working in this area. Especially significant are his (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  1
    What We Do when We Talk to Each Other: Conversation and Virtue in Plato's Dialogues.Branislav Kotoc - 2022 - Dissertation, King's College London
    My thesis focuses on the connection between conversation and virtue in Plato’s dialogues. It is often argued that conversation is an instrumental good - that it is conducted in order to obtain knowledge, and more precisely, knowledge of virtue. And once one obtains this knowledge, one can go about one’s life and act virtuously. I am proposing that conversation is a final good. My starting point is the analysis of the Apology, and by taking seriously Socrates’ claim at 38a that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  10
    Iterative Systems and Diagram Algorithms.Branislav Martić - 1981 - Mathematical Logic Quarterly 27 (36):561-564.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  20
    Iterative Systems and Diagram Algorithms.Branislav Martić - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):561-564.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Nauka i nauno-tehnoloski razvoj u SFRJ.Branislav Soski - forthcoming - Scientia.
    No categories
     
    Export citation  
     
    Bookmark  
  25. The Rightness of Acts and the Goodness of Lives.”.R. Jay Wallace - 2004 - In Reason and value: themes from the moral philosophy of Joseph Raz. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   8 citations  
  26.  15
    “Sacred and Beautiful”: The Lived Experience of Slovak Women who had a Planned Homebirth.Branislav Uhrecký, Radomíra Rajnohová & Martina Baránková - 2024 - Human Affairs 34 (1):15-37.
    While many Western countries do legally permit homebirths under certain conditions, in the Slovak Republic they exist in a legal vacuum – they are neither permitted nor prohibited. In the present study, we aimed to explore how Slovak women who deliberately delivered at home perceive the reason for this decision and the subsequent homebirth itself. We interviewed eight women aged 21 to 36 and analysed the transcripts using the interpretative phenomenological analysis framework. The analysis revealed four major themes – (1) (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. A critical theory of education: Habermas and our children's future.R. E. Young - 1989 - New York: Teachers College Press.
  28.  99
    The Nature of God: An Inquiry into Divine Attributes.Edward R. Wierenga - 1989 - Ithaca: Cornell University Press.
    The Nature of God explores a perennial problem in the philosophy of religion.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  29.  3
    Ideologijata i poedinecot.Branislav Sarkanjac - 2009 - Skopje: Makavej.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  8
    Kako da razberam čovek?Branislav Sarkanjac - 2017 - Skopje: Makavej.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. L'apôtre André et les archevêques serbes sur les fresques de Sopocani.Branislav Todic - 2002 - Byzantion 72 (2):449-474.
    No categories
     
    Export citation  
     
    Bookmark  
  32. Ressentiment, value, and self-vindication : making sense of Nietzsche's slave revolt.R. Jay Wallace - 2007 - In Brian Leiter & Neil Sinhababu (eds.), Nietzsche and morality. New York: Oxford University Press. pp. 110--137.
     
    Export citation  
     
    Bookmark   7 citations  
  33. Christianity and Royalty: The touch of the holy.Branislav Cvetkovic - 2002 - Byzantion 72 (2):347-364.
     
    Export citation  
     
    Bookmark  
  34. Intentional asymmetry in Byzantine imagery: The communion of the apostles in st sophia of ohrid and later instances.Branislav Cvetkovic - 2006 - Byzantion 76:74-96.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  32
    Imperial Aspirations: Relics and Reliquaries of the Byzantine Periphery.Branislav Cvetković & Cynthia Hahn - 2015 - Convivium 2 (1):182-201.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. From Myth to Story: The Origins, Advancement and Breakdown of Grand Stories.Branislav Malik - 2009 - Filozofia 64 (1):45-56.
    The article deals with the breakdown of the co called „grand narratives“ and with processes that preceded it. The author focuses on the degradation of the traditional meaningful forms, such as myth and grand narrative, and their becoming a „story“. He offers a detailed examination of the essential characteristics of a story. He sees the particular forms of the codification of the world as related to following developments: the rise of grand narratives as related to the transition to linear alphabetical (...)
    No categories
     
    Export citation  
     
    Bookmark  
  37. Introduction to'The order of discourse'by Michel Foucault.R. Young - 1981 - In Robert Young (ed.), Untying the text: a post-structuralist reader. Boston: Routledge & Kegan Paul. pp. 48--51.
     
    Export citation  
     
    Bookmark  
  38. The search for unity.R. Weber - 1986 - In Renée Weber (ed.), Dialogues with scientists and sages: the search for unity. New York: Routledge & Kegan Paul. pp. 1--19.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  39. Reason and responsibility.R. Jay Wallace - 1997 - In Garrett Cullity & Berys Nigel Gaut (eds.), Ethics and practical reason. New York: Oxford University Press. pp. 321--345.
  40.  15
    Petronievics, Branislav, Dr. phil. Die typischen Geometrien und das Unendliche.Branislav Petronievics - 1908 - Kant Studien 13 (1-3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  10
    Out of line: essays on the politics of boundaries and the limits of modern politics.R. B. J. Walker - 2016 - New York: Routledge.
    Despite All Critique (2014) -- World Politics and Western Reason (1980) -- The Doubled Outsides of the Modern International (2005) -- The Subject of Security (1995) -- The Protection of Nature and the Nature of Protection (2005) -- Social Movements/World Politics (1994) -- Europe is Not Where It is Supposed to Be (2000) -- They Seek it Here, They Seek it There : Looking for Politics in Clayoquot Sound (2003) -- Violence, Modernity, Silence : From Weber to International Relations (1993) (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Characterizations of fuzzy set properties.R. R. Yager - 1998 - In Enrique H. Ruspini, Piero Patrone Bonissone & Witold Pedrycz (eds.), Handbook of fuzzy computation. Philadelphia: Institute of Physics.
     
    Export citation  
     
    Bookmark  
  43.  10
    What does it mean “being chilled”? mental well-being as viewed by Slovak adolescent boys.Miroslava Balážová & Branislav Uhrecký - 2018 - Human Affairs 28 (3):285-296.
    In adaptive development, mental well-being has a role to play in adolescents’ search in adolescents’ niche in life and the formation of a separate identity. Although this has been an area of interest in a number of disciplines, there remains ambiguity over our understanding of terms such as quality of life, life satisfaction, and mental well-being. Our aim was to employ an interpretative phenomenological analysis to find out how adolescent boys perceive the concept of mental well-being and ascertain what helps (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  23
    Parametric method in unsteady MHD boundary layer theory of fluid with variable electroconductivity.V. Saljnikov, Z. Boričić & D. Nikodijević - 1997 - Facta Universitatis, Series: Linguistics and Literature 2 (7/2):331-340.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  47
    Comparison of twinning rates for villages in makarska region, croatia.Jadranka Sunde, Matija Borić, Natalija Urlić & Lara Urlić - 2013 - Journal of Biosocial Science 45 (6):841-852.
    SummaryA detailed database on the genealogy of the Makarska region in Croatia has been created. The twinning rate for three villages in the region were analysed over the period 1870 to 1940 and factors such as mother's age and birth order are discussed. Of the three villages, Podgora was identified as having the highest twinning rate and consequently records for Podgora were examined further to include almost 400 years of historical data.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  46.  7
    The heart of the matter: a simple guide to discovering gifts in strange wrapping paper.Darren R. Weissman - 2013 - Carlsbad, California: Hay House. Edited by Cate Montana.
    How do we access the authentic self in order to live fulfilling, meaningful lives? In straightforward terms, The Heart of the Matter: Gifts in Strange Wrapping Paper explains a simple but extraordinarily powerful technique called the See, Feel, Hear Challenge that enables people to easily gain entry into the storehouse of their subconscious core beliefs. In the process, it cracks the coded messages that those beliefs release in the form of disease, suffering, addictions, unhappy relationships, and victimized circumstances. Based in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  16
    A Fragment of the Lost Epistle to the Corinthians.R. Whitelaw - 1890 - The Classical Review 4 (1-2):12-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  12
    The duplicity of philosophy's shadow: Heidegger, Nazism, and the Jewish other.Elliot R. Wolfson - 2018 - New York: Columbia University Press.
    Elliot R. Wolfson intervenes in the debate over Martin Heidegger and Nazism from a unique perspective, as a scholar of Jewish mysticism and philosophy who has been profoundly influenced by Heidegger's work. He reveals crucial aspects of Heidegger's thinking that betray an affinity with dimensions of Jewish thought.
  49.  24
    Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification.Marija Boričić - 2019 - Bulletin of Symbolic Logic 25 (4):446-447.
  50.  32
    Sequent calculus for classical logic probabilized.Marija Boričić - 2019 - Archive for Mathematical Logic 58 (1-2):119-136.
    Gentzen’s approach to deductive systems, and Carnap’s and Popper’s treatment of probability in logic were two fruitful ideas that appeared in logic of the mid-twentieth century. By combining these two concepts, the notion of sentence probability, and the deduction relation formalized in the sequent calculus, we introduce the notion of ’probabilized sequent’ \ with the intended meaning that “the probability of truthfulness of \ belongs to the interval [a, b]”. This method makes it possible to define a system of derivations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000