Results for 'Marija Boričić'

92 found
Order:
  1.  6
    Sequent Calculus for Classical Logic Probabilized.Marija Boričić - forthcoming - Archive for Mathematical Logic:1-18.
    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  
  2.  43
    On Sequence-Conclusion Natural Deduction Systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.
  3.  22
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  22
    Interpolation Theorem for Intuitionistic S4.Branislav R. Boricic - 1991 - Bulletin of the Section of Logic 20 (1):2-6.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  17
    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.
  6.  17
    On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (14-18):243-247.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  7
    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.
  8.  8
    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   1 citation  
  9.  14
    Parametric Method in Unsteady MHD Boundary Layer Theory of Fluid with Variable Electroconductivity.V. Saljnikov, Z. Boričić & D. Nikodijević - 1997 - Facta Universitatis 2 (7/2):331-340.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  11
    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  
  11.  19
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Mathematical Logic Quarterly 31 (14‐18):243-247.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  6
    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  
  14.  2
    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  
  15.  2
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  16. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  20
    Marija Gimbutas and the Future of a Legacy.Constance Eichenlaub - 2000 - The European Legacy 5 (5):733-735.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  8
    Crkve I Manastiri Na Području Pećke Patrijaršije Do 1683 Godine. Olga ZirojevićEpiskopije I Mitropolije Srpske Crkve U Srednjem Veku. Marija Janković.Wayne S. Vucinich - 1987 - Speculum 62 (3):758-759.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Olga Zirojević, Crkve i manastiri na području pećke patrijaršije do 1683 godine. (Istorijski Institut u Beogradu IRO “Narodna Knjiga.”) Belgrade: Istorijski Institut, [1985]. Pp. 308.Marija Janković, Episkopije i mitropolije Srpske Crkve u Srednjem veku. (Narodna Knjiga Istorijski Institut u Beogradu.) Belgrade: Istorijski Institut u Beogradu, 1985. Pp. 227. [REVIEW]Wayne S. Vucinich - 1987 - Speculum 62 (3):758-759.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  2
    DINDIC, Marija, Yeni Türkçe-Sırpça Sözlük.Hakan Yalap - 2015 - Journal of Turkish Studies 10 (Volume 10 Issue 8):2407-2407.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  81
    Collective Intentionality.Marija Jankovic & Kirk Ludwig - 2016 - In Lee McIntyre & Alex Rosenberg (eds.), The Routledge Companion to the Philosophy of Social Science. New York: Routledge. pp. 214-227.
    In this chapter, we focus on collective action and intention, and their relation to conventions, status functions, norms, institutions, and shared attitudes more generally. Collective action and shared intention play a foundational role in our understanding of the social. -/- The three central questions in the study of collective intentionality are: -/- (1) What is the ontology of collective intentionality? In particular, are groups per se intentional agents, as opposed to just their individual members? (2) What is the psychology of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Communication and Shared Information.Marija Jankovic - 2014 - Philosophical Studies 169 (3):489-508.
    Strawson style counterexamples to Grice’s account of communication show that a communicative intention has to be overt. Saying what overtness consists in has proven to be difficult for Gricean accounts. In this paper, I show that a common explanation of overtness, one that construes it in terms of a network of shared beliefs or knowledge, is mistaken. I offer an alternative, collectivist, model of communication. This model takes the utterer’s communicative intention to be a we-intention, a kind of intention with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  3
    Integrated Foucault: Another Look at Discourse and Power.Marija Velinov - 2018 - Filozofija I Društvo 29 (4):533-544.
    This paper argues that there is continuity in Foucault’s thought, as opposedto the common division of his work into three phases, each marking adistinct field of research – discourse, power, subject. The idea is that thereare no radical turns in his work that justify this division; rather, there is ashift of focus: all crucial concepts are present in all periods of his thought and in all of his undoubtedly differently-tonedand oriented works. This is shown through examining the characteristicsof archaeology and (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  43
    Two Dimensional Standard Deontic Logic [Including a Detailed Analysis of the 1985 Jones–Pörn Deontic Logic System].Mathijs Boer, Dov M. Gabbay, Xavier Parent & Marija Slavkovic - 2012 - Synthese 187 (2):623-660.
    This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed case study (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  29
    Two Dimensional Standard Deontic Logic [Including a Detailed Analysis of the 1985 Jones–Pörn Deontic Logic System].Mathijs de Boer, Dov M. Gabbay, Xavier Parent & Marija Slavkovic - 2012 - Synthese 187 (2):623-660.
    This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed case study (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  5
    Impact of External Examinations on School Lessons.Milena Ivanus Grmek & Marija Javornik Krecic * - 2004 - Educational Studies 30 (3):319-330.
    In the first part, the paper considers the impacts of external examination on learning and school lessons. Numerous researches and analyses have shown that students from specialized high schools retain incomplete, shallow and often completely incorrect ideas about some natural and social phenomena. They do not know how to connect the knowledge that they have gained. The reason for the low applicability of knowledge and lack of retention is mainly due to the domination of shallow and reproductive studying, which is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27.  70
    Book Review: Ethics in Nursing Practice: A Guide to Ethical Decision Making. [REVIEW]Marija Bohinc - 2003 - Nursing Ethics 10 (4):448-449.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  10
    Meaning, Publicity and Knowledge.Marija Jankovic & Greg Ray - 2017 - ProtoSociology 34:98-115.
    An influential view about the relationship between publicity and linguistic meaning is brought into question. It has been thought that since public languages are essentially public, linguistic meaning is subject to a kind of epistemic cap so that there can be nothing more to linguistic meaning than can be determinately known on the basis of publicly available evidence. Given the thinness of such evidence, a well-known thesis follows to the effect that linguistic meaning is substantially indeterminate. In this paper, we (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Istraživanje Stavova LGBT Populacije o Sektoru Bezbednosti.Marija Radoman - 2012 - Filozofija I Društvo 23 (1):150-171.
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  65
    Presentism.Marija Janković - 2002 - Theoria 45 (1-4):17-55.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  1
    Ontological Status of War in Media-Represented Reality.Marija Selak - 2017 - Filozofska Istrazivanja 37 (1):39-47.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  39
    Communist Modernization in Yugoslavia (1947–53).Chairperson Henry Frendo, Bernard Cook & Marija Obradović - 1996 - The European Legacy 1 (3):859-865.
  33.  9
    Does Distance From the Equator Predict Self-Control? Lessons From the Human Penguin Project.Hans IJzerman, Marija V. Čolić, Marie Hennecke, Youngki Hong, Chuan-Peng Hu, Jennifer Joy-Gaba, Dušanka Lazarević, Ljiljana B. Lazarević, Michal Parzuchowski, Kyle G. Ratner, Thomas Schubert, Astrid Schütz, Darko Stojilović, Sophia C. Weissgerber, Janis Zickfeld & Siegwart Lindenberg - 2017 - Behavioral and Brain Sciences 40.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  2
    The Reasons Students Choose Teaching Professions.Marija Javornik Krečič & Milena Ivanuš Grmek - 2005 - Educational Studies 31 (3):265-274.
    The purpose of the paper is to present the reasons students at the Faculty of Education in Maribor, Slovenija, chose pedagogy for their study direction, and therefore becoming a teacher. A total 237 second?year students of the academic year 2003/04 were included in the research. Of the five groups of reasons for choosing this program (altruistic, material, self?realization and alternative, and reasons arising from aspiration stereotype), students most often asserted self?realization, including: teaching provides a useful public function for the whole (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  24
    Communist Modernization in Yugoslavia (1947–53).Henry Frendo, Bernard Cook & Marija Obradović - 1996 - The European Legacy 1 (3):859-865.
  36.  5
    Estimate of Dynamic Change of Fluid Saturation During CO2 Injection — Case Study of a Regional Aquifer in Croatia.Vulin Domagoj, Saftić Bruno & Macenić Marija - 2018 - Interpretation: SEG 6 (1):SB51-SB64.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Transformacje myślenia metafi zycznego w fenomenologii.Dalia Marija Stančienė - 2006 - Colloquia Communia 80 (1-2):128-136.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  27
    Are You Bioconservative, Transhumanist, or Something in Between? Take the Test and Find Out.Marija Selak - forthcoming - Bioethics.
  39.  4
    Revitalization of Abandoned Oil and Gas Wells for a Geothermal Heat Exploitation by Means of Closed Circulation: Case Study of the Deep Dry Well Pčelić-1.Marija Macenić & Tomislav Kurevija - 2018 - Interpretation: SEG 6 (1):SB1-SB9.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  20
    Filozofski Život.Martina Šendula-Pavelić, Slaven Lendić, Krešimir Babel, Martina Blečić, Danijela Vitali, Martina Vuković, Rahela Jug, Josip Cmrečnjak, Nikolina Ćavar, Marko Kos, Željka Metesi Deronjić, Marija Selak, Demian Papo, Hrvoje Potlimbrzović & Nino Kadić - 2013 - Filozofska Istrazivanja 33 (2):363-386.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  32
    Priest Attended Death in Medieval and Early Modern Period: Translation and Commentary on an Old Croatian Text Circa 1600.Stella Fatović-Ferenčić & Marija-Ana Dürrigl - 2000 - Theoretical Medicine and Bioethics 21 (4):331-337.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  26
    Recognition-Primed Group Decisions Via Judgement Aggregation.Marija Slavkovik & Guido Boella - 2012 - Synthese 189 (S1):51-65.
    We introduce a conceptual model for reaching group decisions. Our model extends a well-known, single-agent cognitive model, the recognition-primed decision (RPD) model. The RPD model includes a recognition phase and an evaluation phase. Group extensions of the RPD model, applicable to a group of RPD agents, have been considered in the literature, however the proposed models do not formalize how distributed and possibly inconsistent information can be combined in either phase. We show how such information can be utilized by aggregating (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  19
    Microtubule Dynamic Instability: A New Model with Coupled GTP Hydrolysis and Multistep Catastrophe.Hugo Bowne-Anderson, Marija Zanic, Monika Kauer & Jonathon Howard - 2013 - Bioessays 35 (5):452–461.
    A key question in understanding microtubule dynamics is how GTP hydrolysis leads to catastrophe, the switch from slow growth to rapid shrinkage. We first provide a review of the experimental and modeling literature, and then present a new model of microtubule dynamics. We demonstrate that vectorial, random, and coupled hydrolysis mechanisms are not consistent with the dependence of catastrophe on tubulin concentration and show that, although single-protofilament models can explain many features of dynamics, they do not describe catastrophe as a (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  44.  5
    EU Integration and the Serbian Orthodox Christianity: Socio-Anthropological Perspectives.Brujic Marija - 2017 - Journal for the Study of Religions and Ideologies 16 (47):32-47.
    A major goal of the Republic of Serbia's foreign policy since 2000 has been the country's integration into the EU. In this respect, in 2012, Serbia became a candidate for EU membership. However, there has been a growing skepticism among the Serbian people about this objective. This ambivalence can be correlated not only with the recent economic crises in some EU countries but also with what are regarded as profound differences in cultural and religious values between Serbia and the EU. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  15
    Bioetički osvrt na filozofiju Nikolaja A. Berdjajeva. Promišljanje degradacije duhovnosti i bîti tehnike u prijelomu epoha.Marija Selak - 2009 - Filozofska Istrazivanja 29 (3):603-614.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  13
    Research on LGBT Perceptions About Security Sector.Marija Radoman - 2012 - Filozofija I Društvo 23 (1):150-171.
    This paper presents a survey of LGBT attitudes towards the security sector in Serbia. During the five focus groups with LGBT persons, we determined the basic characteristics of police attitudes towards sexual minorities. By examining the relationship between the police and the sexual minorities, the author attempts to determine the institutional practice towards homosexuality. The study also notes the differences between respondents based on their status and the size of their place of residence. This paper looks at events such as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  24
    Implications of The Chalice and the Blade for the Relation of Archaeology to Social Science.Marija Gimbutas - 1988 - World Futures 25 (3):289-295.
  48.  10
    Filozofski Život.Dunja Marušić Brezetić, Krunoslav Petrunić, Senka Suman, Snježan Hasnaš, Vinko Grgurev, Ivana Kragić, Tomislav Petković, Gabriela Bašić, Ljudevit Hanžek, Krešimir Babel, Ivana Greguric, Stjepan Radić, Tomislav Krznar, Marija Selak, Ksenija Matuš, Bruno Ćurko, Ivana Zagorac, Ivana Skuhala Karasman & Tina Marasović - 2009 - Filozofska Istrazivanja 29 (4):809-848.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  13
    Reviewers of Articles Received and Published in 2008–09.Jonas Alwall, Arie van der Arend, Maria Arman, Mila Aroskar, Kim Atkins, Susan Benedict, Joy Bickley-Asher, Marija Bohinc, Sarah Breier-Mackie & Anna Brown - 2009 - Nursing Ethics 16 (6):841.
  50.  11
    Environmental Issues From Hollywood Perspective – Celluloid Utopias and Anthropocentric White Patriarchal Capitalism.Zdenko Zeman & Marija Geiger Zeman - 2012 - Synthesis Philosophica 27 (1):123-139.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 92