Results for 'Paris Logic Group'

1000+ found
Order:
  1.  12
    Dubreil Paul. Algèbre. Tome I. Équivalences, Opérations, Groupes, Anneaux, Corps. Cahiers Scientifiques No. 20. Gauthier-Villars, Paris 1946, X + 305 Pp. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (3):94-94.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. The Moral Logic and Growth of Suicide Terrorism.Scott Atran - unknown
    Suicide attack is the most virulent and horrifying form of terrorism in the world today. The mere rumor of an impending suicide attack can throw thousands of people into panic. This occurred during a Shi‘a procession in Iraq in late August 2005, causing hundreds of deaths. Although suicide attacks account for a minority of all terrorist acts, they are responsible for a majority of all terrorism-related casualties, and the rate of attacks is rising rapidly across the globe. During 2000–2004, there (...)
     
    Export citation  
     
    Bookmark   5 citations  
  3.  19
    Multi-Posets in Algebraic Logic, Group Theory, and Non-Commutative Topology.Wolfgang Rump - 2016 - Annals of Pure and Applied Logic 167 (11):1139-1160.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  2
    Camille Riquier, Nous ne savons plus croire. Paris, Perpignan, Groupe Elidia - Éditions Desclée de Brouwer, 2020, 240 p. [REVIEW]Raphaël Mathieu Legault-Laberge - 2020 - Laval Théologique et Philosophique 76 (3):514-516.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  18
    One for All: The Logic of Group Conflict.Russell Hardin - 1995 - Princeton University Press.
    In a book that challenges the most widely held ideas of why individuals engage in collective conflict, Russell Hardin offers a timely, crucial explanation of group action in its most destructive forms. Contrary to those observers who attribute group violence to irrationality, primordial instinct, or complex psychology, Hardin uncovers a systematic exploitation of self-interest in the underpinnings of group identification and collective violence. Using examples from Mafia vendettas to ethnic violence in places such as Bosnia and Rwanda, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  6. From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group.Michael R. Genesereth - 1993 - Artificial Intelligence 59 (1-2):159-165.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  62
    Consistency of the Continuum Hypothesis.Kurt Gödel - 1940 - Princeton University Press;.
    Kurt Gödel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Gödel fled Nazi Germany, fearing for his Jewish wife and fed up with Nazi interference in the affairs of the mathematics institute at the University of Göttingen. In 1933 he settled at the Institute for Advanced Study in Princeton, where he joined the group of world-famous mathematicians who made up its original faculty. His 1940 book, better known by its short title, The Consistency (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  8. Logic Colloquium '84: Proceedings of the Colloquium Held in Manchester, U.K., July 1984.J. B. Paris, Alec J. Wilkie & G. M. Wilmers (eds.) - 1986 - Amsterdam, Netherlands: North-Holland.
    This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Pure Inductive Logic.J. B. Paris & A. Vencovska - 2011 - Cambridge, UK: Cambridge University Press.
    Pure Inductive Logic is the study of rational probability treated as a branch of mathematical logic. This monograph, the first devoted to this approach, brings together the key results from the past seventy years, plus the main contributions of the authors and their collaborators over the last decade, to present a comprehensive account of the discipline within a single unified context.
     
    Export citation  
     
    Bookmark   7 citations  
  10.  29
    Group Announcement Logic.Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban - 2010 - Journal of Applied Logic 8 (1):62-81.
  11. A Logic for Reasoning About Group Norms.Daniele Porello - 2018 - In Jan M. Broersen, Gabriella Pigozzi, Cleo Condoravdi & Shyam Nair (eds.), Deontic Logic and Normative Systems - 14th International Conference, {DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018. Londra, Regno Unito: pp. 301--315.
    We present a number of modal logics to reason about group norms. As a preliminary step, we discuss the ontological status of the group to which the norms are applied, by adapting the classification made by Christian List of collective attitudes into aggregated, common, and corporate attitudes. Accordingly, we shall introduce modality to capture aggregated, common, and corporate group norms. We investigate then the principles for reasoning about those types of modalities. Finally, we discuss the relationship between (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  42
    The Logic of Group Decisions: Judgment Aggregation.Gabriella Pigozzi - 2015 - Journal of Philosophical Logic 44 (6):755-769.
    Judgment aggregation studies how individual opinions on a given set of propositions can be aggregated to form a consistent group judgment on the same propositions. Despite the simplicity of the problem, seemingly natural aggregation procedures fail to return consistent collective outcomes, leading to what is now known as the doctrinal paradox. The first occurrences of the paradox were discovered in the legal realm. However, the interest of judgment aggregation is much broader and extends to political philosophy, epistemology, social choice (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977.Angus Macintyre, Leszek Pacholski & J. B. Paris - 1978
     
    Export citation  
     
    Bookmark  
  14.  3
    Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.Thomas Ågotnes, Natasha Alechina & Rustam Galimullin - 2022 - Journal of Logic, Language and Information 31 (2):141-166.
    Public announcement logic is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic, allows quantification over announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  18
    What Groups Do, Can Do, and Know They Can Do: An Analysis in Normal Modal Logics.Jan Broersen, Andreas Herzig & Nicolas Troquard - 2009 - Journal of Applied Non-Classical Logics 19 (3):261-289.
    We investigate a series of logics that allow to reason about agents' actions, abilities, and their knowledge about actions and abilities. These logics include Pauly's Coalition Logic CL, Alternating-time Temporal Logic ATL, the logic of ‘seeing-to-it-that', and epistemic extensions thereof. While complete axiomatizations of CL and ATL exist, only the fragment of the STIT language without temporal operators and without groups has been axiomatized by Xu. We start by recalling a simplification of the Ldm that has been (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  14
    The Logic of Equilibrium and Abelian Lattice Ordered Groups.Adriana Galli, Renato A. Lewin & Marta Sagastume - 2004 - Archive for Mathematical Logic 43 (2):141-158.
    We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. ‘‘Truth values’’ are interpreted as deviations from a state of equilibrium, so in this sense, the theorems of Bal are to be interpreted as balanced statements, for which reason there is only one distinguished truth value, namely the one that represents equilibrium. The main results are that the system Bal is algebraizable in the sense of [5] (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  8
    Logical Aspects of Cayley-Graphs: The Group Case.Dietrich Kuske & Markus Lohrey - 2004 - Annals of Pure and Applied Logic 131 (1-3):263-286.
    We prove that a finitely generated group is context-free whenever its Cayley-graph has a decidable monadic second-order theory. Hence, by the seminal work of Muller and Schupp, our result gives a logical characterization of context-free groups and also proves a conjecture of Schupp. To derive this result, we investigate general graphs and show that a graph of bounded degree with a high degree of symmetry is context-free whenever its monadic second-order theory is decidable. Further, it is shown that the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  60
    Rational Pavelka Predicate Logic is a Conservative Extension of Łukasiewicz Predicate Logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.
    Rational Pavelka logic extends Lukasiewicz infinitely valued logic by adding truth constants r̄ for rationals in [0, 1]. We show that this is a conservative extension. We note that this shows that provability degree can be defined in Lukasiewicz logic. We also give a counterexample to a soundness theorem of Belluce and Chang published in 1963.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  19. The Berlin Group and the Philosophy of Logical Empiricism.Nikolay Milkov & Volker Peckhaus (eds.) - 2013 - Berlin: Springer.
    The Berlin Group for scientific philosophy was active between 1928 and 1933 and was closely related to the Vienna Circle. In 1930, the leaders of the two Groups, Hans Reichenbach and Rudolf Carnap, launched the journal Erkenntnis. However, between the Berlin Group and the Vienna Circle, there was not only close relatedness but also significant difference. Above all, while the Berlin Group explored philosophical problems of the actual practice of science, the Vienna Circle, closely following Wittgenstein, was (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  42
    One for All: The Logic of Group Conflict.Margaret Gilbert - 1998 - Philosophical Review 107 (1):135.
    Russell Hardin writes from a particular perspective, that of rational choice theory. His broad—and ambitious—overall project is to “understand the sway of groups in our time” or, in an alternative formulation, “to understand the motivations of those who act on behalf of groups and to understand how they come to identify with the groups for which they act”.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  21.  29
    Logic and Groups.Francesco Paoli - 2001 - Logic and Logical Philosophy 9:109.
  22. Ancient Indian Logic and Analogy.J. B. Paris & A. Vencovska - 2017 - In S. Ghosh & S. Prasad (eds.), Logic and its Applications, Lecture Notes in Computer Science 10119. Springer. pp. 198-210.
    B.K.Matilal, and earlier J.F.Staal, have suggested a reading of the `Nyaya five limb schema' (also sometimes referred to as the Indian Schema or Hindu Syllogism) from Gotama's Nyaya-Sutra in terms of a binary occurrence relation. In this paper we provide a rational justification of a version of this reading as Analogical Reasoning within the framework of Polyadic Pure Inductive Logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  9
    Coalition and Relativised Group Announcement Logic.Rustam Galimullin - 2021 - Journal of Logic, Language and Information 30 (3):451-489.
    There are several ways to quantify over public announcements. The most notable are reflected in arbitrary, group, and coalition announcement logics, with the latter being the least studied so far. In the present work, we consider coalition announcements through the lens of group announcements, and provide a complete axiomatisation of a logic with coalition announcements. To achieve this, we employ a generalisation of group announcements. Moreover, we study some logical properties of both coalition and group (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  24.  44
    European Summer Meeting of the Association for Symbolic Logic, Manchester, England, 1984.P. Aczel, J. B. Paris, A. J. Wilkie, G. M. Wilmers & C. E. M. Yates - 1986 - Journal of Symbolic Logic 51 (2):480-502.
  25.  37
    A Note on Irrelevance in Inductive Logic.Jeff B. Paris & Alena Vencovská - 2011 - Journal of Philosophical Logic 40 (3):357 - 370.
    We consider two formalizations of the notion of irrelevance as a rationality principle within the framework of (Carnapian) Inductive Logic: Johnson's Sufficientness Principle, JSP, which is classically important because it leads to Carnap's influential Continuum of Inductive Methods and the recently proposed Weak Irrelevance Principle, WIP. We give a complete characterization of the language invariant probability functions satisfying WIP which generalizes the Nix-Paris Continuum. We argue that the derivation of two very disparate families of inductive methods from alternative (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  92
    The Liar Paradox and Fuzzy Logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
    Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  27.  15
    Pure Inductive Logic with Functions.Elizabeth Howarth & Jeffrey B. Paris - 2019 - Journal of Symbolic Logic 84 (4):1382-1402.
    We consider the version of Pure Inductive Logic which obtains for the language with equality and a single unary function symbol giving a complete characterization of the probability functions on this language which satisfy Constant Exchangeability.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  59
    A Note on Binary Inductive Logic.C. J. Nix & J. B. Paris - 2007 - Journal of Philosophical Logic 36 (6):735-771.
    We consider the problem of induction over languages containing binary relations and outline a way of interpreting and constructing a class of probability functions on the sentences of such a language. Some principles of inductive reasoning satisfied by these probability functions are discussed, leading in turn to a representation theorem for a more general class of probability functions satisfying these principles.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  29.  6
    Conical Logic and L-Groups Logic.Marta S. Sagastume - 2005 - Journal of Applied Non-Classical Logics 15 (3):265-283.
    It is well known that there is a categorical equivalence between lattice-ordered Abelian groups and conical BCK-algebras. The aim of this paper is to study this equivalence from the perspective of logic, in particular, to study the relationship between two deductive systems: conical logic Co and a logic of l-groups, Balo. In [GAL 04] the authors introduce a system Bal which models the logic of balance of opposing forces with a single distinguished truth value, that represents (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  5
    No Group of Opposition for Constructive Logics: The Intuitionistic and Linear Cases.Baptiste Mélès - 2012 - In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. pp. 201--217.
  31.  56
    Symmetry in Polyadic Inductive Logic.J. B. Paris & A. Vencovská - 2012 - Journal of Logic, Language and Information 21 (2):189-216.
    A family of symmetries of polyadic inductive logic are described which in turn give rise to the purportedly rational Permutation Invariance Principle stating that a rational assignment of probabilities should respect these symmetries. An equivalent, and more practical, version of this principle is then derived.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  32.  6
    L -Groups C in Continuous Logic.Philip Scowcroft - 2018 - Archive for Mathematical Logic 57 (3-4):239-272.
    In the context of continuous logic, this paper axiomatizes both the class \ of lattice-ordered groups isomorphic to C for X compact and the subclass \ of structures existentially closed in \; shows that the theory of \ is \-categorical and admits elimination of quantifiers; establishes a Nullstellensatz for \ and \; shows that \\in \mathcal {C}\) has a prime-model extension in \ just in case X is Boolean; and proves that in a sense relevant to continuous logic, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  29
    A Characterization of the Language Invariant Families Satisfying Spectrum Exchangeability in Polyadic Inductive Logic.Jürgen Landes, Jeff B. Paris & Alena Vencovská - 2010 - Annals of Pure and Applied Logic 161 (6):800-811.
    A necessary and sufficient condition in terms of a de Finetti style representation is given for a probability function in Polyadic Inductive Logic to satisfy being part of a Language Invariant family satisfying Spectrum Exchangeability. This theorem is then considered in relation to the unary Carnap and Nix–Paris Continua.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  34. Second Order Inductive Logic and Wilmers' Principle.M. S. Kliess & J. B. Paris - 2014 - Journal of Applied Logic 12 (4):462-476.
    We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  29
    An Analogy Principle in Inductive Logic.A. Hill & J. B. Paris - 2013 - Annals of Pure and Applied Logic 164 (12):1293-1321.
    We propose an Analogy Principle in the context of Unary Inductive Logic and characterize the probability functions which satisfy it. In particular in the case of a language with just two predicates the probability functions satisfying this principle correspond to solutions of Skyrmsʼ ‘Wheel of Fortune’.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  36.  33
    Combining Analogical Support in Pure Inductive Logic.J. B. Paris & A. Vencovská - 2016 - Erkenntnis (2):01-19.
    We investigate the relative probabilistic support afforded by the combination of two analogies based on possibly different, structural similarity (as opposed to e.g. shared predicates) within the context of Pure Inductive Logic and under the assumption of Language Invariance. We show that whilst repeated analogies grounded on the same structural similarity only strengthen the probabilistic support this need not be the case when combining analogies based on different structural similarities. That is, two analogies may provide less support than each (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  68
    A Survey of Some Recent Results on Spectrum Exchangeability in Polyadic Inductive Logic.J. Landes, J. B. Paris & A. Vencovská - 2011 - Synthese 181 (S1):19 - 47.
    We give a unified account of some results in the development of Polyadic Inductive Logic in the last decade with particular reference to the Principle of Spectrum Exchangeability, its consequences for Instantial Relevance, Language Invariance and Johnson's Sufficientness Principle, and the corresponding de Finetti style representation theorems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  38.  50
    Some Aspects of Polyadic Inductive Logic.Jürgen Landes, Jeff Paris & Alena Vencovská - 2008 - Studia Logica 90 (1):3-16.
    We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with applications to Non-splitting, Language Invariance, extensions with Equality and Instantial Relevance.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39. The Oxford and Paris Traditions in Logic.Alain de Libera - 1982 - In Norman Kretzmann, Anthony Kenny & Jan Pinborg (eds.), Cambridge History of Later Medieval Philosophy. Cambridge: Cambridge University Press.
     
    Export citation  
     
    Bookmark   7 citations  
  40.  60
    Lattices of Modal Logics and Their Groups of Automorphisms.Marcus Kracht - 1999 - Annals of Pure and Applied Logic 100 (1-3):99-139.
    The present paper investigates the groups of automorphisms for some lattices of modal logics. The main results are the following. The lattice of normal extensions of S4.3, NExtS4.3, has exactly two automorphisms, NExtK.alt1 has continuously many automorphisms. Moreover, any automorphism of NExtS4 fixes all logics of finite codimension. We also obtain the following characterization of pretabular logics containing S4: a logic properly extends a pretabular logic of NExtS4 iff its lattice of extensions is finite and linear.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  6
    Interest Group in Pure and Applied Logics.Dov Gabbay, Ruy de Queiroz & Hans Ohlbach - 1995 - Logic Journal of the IGPL 3 (1):151-152.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  8
    Properties of Logics of Individual and Group Agency.Andreas Herzig & François Schwarzentruber - 2008 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 133-149.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  43.  58
    McAloon K.. Introduction. Modèles de l'Arithmétique, Séminaire Paris VII, Edited by McAloon K., Asterisque, No. 73, Société Mathématique de France, Paris 1980, Pp. 1–2.Kirby L. A. S.. La Méthode des Indicatrices Et le Théorème D'Incomplétude. Modèles de l'Arithmétique, Séminaire Paris VII, Edited by McAloon K., Asterisque, No. 73, Société Mathématique de France, Paris 1980, Pp. 5–18.Lascar Daniel. Une Indicatrice de Type “Ramsey” Pour l'Arithmétique de Peano Et la Formule de Paris-Harrington. Modèles de l'Arithmétique, Séminaire Paris VII, Edited by McAloon K., Asterisque, No. 73, Société Mathématique de France, Paris 1980, 19–30.McAloon Kenneth. Les Rapports Entre la Méthode des Indicatrices Et la Méthode de Gödel Pour Obtenir des Résultats D'Indépendance. Modèles de l'Arithmétique, Séminaire Paris VII, Edited by McAloon K., Asterisque, No. 73, Société Mathématique de France, Paris 1980, Pp. 31–39.McAloon Kenneth. Progressions Transfinies de Théories Axiomatiques, Formes Combinatoires. [REVIEW]J. B. Paris - 1983 - Journal of Symbolic Logic 48 (2):483-484.
  44.  14
    Logic and Computation, Proceedings of a Workshop Held at Carnegie Mellon University, June 30–July 2, 1987, Edited by Wilfried Sieg, Contemporary Mathematics, Vol. 106, American Mathematical Society, Providence1990, Xiv + 297 Pp. - Douglas K. Brown. Notions of Closed Subsets of a Complete Separable Metric Space in Weak Subsystems of Second Order Arithmetic. Pp. 39–50. - Kostas Hatzikiriakou and Stephen G. Simpson. WKL0 and Orderings of Countable Abelian Groups. Pp. 177–180. - Jeffry L. Hirst. Marriage Theorems and Reverse Mathematics. Pp. 181–196. - Xiaokang Yu. Radon–Nikodym Theorem is Equivalent to Arithmetical Comprehension. Pp. 289–297. - Fernando Ferreira. Polynomial Time Computable Arithmetic. Pp. 137–156. - Wilfried Buchholz and Wilfried Sieg. A Note on Polynomial Time Computable Arithmetic. Pp. 51–55. - Samuel R. Buss. Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic. Pp. 57–84. - Gaisi Takeuti. Sharply Bounded Arithmetic and the Function a – 1. Pp. 2. [REVIEW]Jörg Hudelmaier - 1996 - Journal of Symbolic Logic 61 (2):697-699.
  45.  11
    Stability and Stable Groups in Continuous Logic.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):1111-1136.
    We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  10
    The Liar Paradox and Fuzzy Logic.Petr Hajek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
    Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}$ for all sentences $\varphi$? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  47.  2
    Interest Group in Pure and Applied Logics.D. Gabbay - 1998 - Logic Journal of the IGPL 6 (1):147-147.
  48.  2
    Interest Group in Pure and Applied Logics.D. Gabbay, R. D. Queiroz & H. J. Ohlbach - 1995 - Logic Journal of the IGPL 3 (1):151-152.
  49.  3
    Properties of Logics of Individual and Group Agency.Andreas Herzig & François Schwarzentruber - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 133-149.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  50.  1
    Group Problem Solving.Patrick R. Laughlin - 2011 - Princeton University Press.
    Experimental research by social and cognitive psychologists has established that cooperative groups solve a wide range of problems better than individuals. Cooperative problem solving groups of scientific researchers, auditors, financial analysts, air crash investigators, and forensic art experts are increasingly important in our complex and interdependent society. This comprehensive textbook--the first of its kind in decades--presents important theories and experimental research about group problem solving. The book focuses on tasks that have demonstrably correct solutions within mathematical, logical, scientific, or (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
1 — 50 / 1000