This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
71 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 71
  1. Robert John Ackermann (1967). An Introduction to Many-Valued Logics. New York, Dover Publications.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. O. M. Anshakov, V. K. Finn & D. P. Skvortsov (1989). On Axiomatization of Many-Valued Logics Associated with Formalization of Plausible Reasonings. Studia Logica 48 (4):423 - 447.
    This paper studies a class of infinite-valued predicate logics. A sufficient condition for axiomatizability of logics from that class is given.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Andrew Bacon (2013). A New Conditional for Naive Truth Theory. Notre Dame Journal of Formal Logic 54 (1):87-104.
    In this paper a logic for reasoning disquotationally about truth is presented and shown to have a standard model. This work improves on Hartry Field's recent results establishing consistency and omega-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces is invoked, and the resulting logic is shown to validate a number of principles which existing revision theoretic methods have heretofore failed to provide.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Andrew Bacon (2013). Curry's Paradox and Omega Inconsistency. Studia Logica 101 (1):1-9.
    In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Andrew Bacon (2013). Non-Classical Metatheory for Non-Classical Logics. Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...)
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  6. Tomás Barrero & Walter Carnielli (2005). Tableaux sin refutación. Matemáticas: Enseñanza Universitaria 13 (2):81-99.
    Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. R. Brown, J. F. Glazebrook & I. C. Baianu (2007). A Conceptual Construction of Complexity Levels Theory in Spacetime Categorical Ontology: Non-Abelian Algebraic Topology, Many-Valued Logics and Dynamic Systems. [REVIEW] Axiomathes 17 (3-4):409-493.
    A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. N. S. C. (1964). Modal and Many-Valued Logics. Review of Metaphysics 18 (1):188-188.
  9. Walter A. Carnielli (1987). Systematization of Finite Many-Valued Logics Through the Method of Tableaux. Journal of Symbolic Logic 52 (2):473-493.
    his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. ChristineTappolet (2000). Truth Pluralism and Many-Valued Logics: A Reply to Beall. Philosophical Quarterly 50 (200):382–385.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Robert E. Clay (1963). A Standard Form for Ł Ukasiewicz Many-Valued Logics. Notre Dame Journal of Formal Logic 4 (1):59-66.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Robert E. Clay (1962). A Simple Proof of Functional Completeness in Many-Valued Logics Based on Ł Ukasiewicz's $C$ and $N$. Notre Dame Journal of Formal Logic 3 (2):114-117.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij (2010). Tolerant, Classical, Strict. Journal of Philosophical Logic 41 (2):347-385.
    In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. William S. Cooper (1968). The Propositional Logic of Ordinary Discourse. Inquiry 11 (1-4):295 – 320.
    The logical properties of the 'if-then' connective of ordinary English differ markedly from the logical properties of the material conditional of classical, two-valued logic. This becomes apparent upon examination of arguments in conversational English which involve (noncounterfactual) usages of if-then'. A nonclassical system of propositional logic is presented, whose conditional connective has logical properties approximating those of 'if-then'. This proposed system reduces, in a sense, to the classical logic. Moreover, because it is equivalent to a certain nonstandard three-valued logic, its (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Fabrice Correia (2001). Priorean Strict Implication, Q and Related Systems. Studia Logica 69 (3):411-427.
    We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it.
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  16. Fabrice Correia (1999). Adequacy Results for Some Priorean Modal Propositional Logics. Notre Dame Journal of Formal Logic 40 (2):236-249.
    Standard possible world semantics for propositional modal languages ignore truth-value gaps. However, simple considerations suggest that it should not be so. In Section 1, I identify what I take to be a correct truth-clause for necessity under the assumption that some possible worlds are incomplete (i.e., "at" which some propositions lack a truth-value). In Section 2, I build a world semantics, the semantics of TV-models, for standard modal propositional languages, which agrees with the truth-clause for necessity previously identified. Sections 3–5 (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Boris Čulina (2001). The Concept of Truth. Synthese 126 (1-2):339 - 360.
    On the basis of elementary thinkingabout language functioning,a solution of truth paradoxes isgiven and a correspondingsemantics of a truth predicateis founded. It is shown that it is precisely thetwo-valued description of the maximal intrinsic fixedpoint of the strong Kleene three-valuedsemantics.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. M. V. Dougherty (2004). Aristotle's Four Truth Values. British Journal for the History of Philosophy 12 (4):585-609.
  19. Hércules Araújo Feitosa (2010). Translating Lukasiewicz's Logics Into Classical Logic: A Grade of Difficulty. Princípios 8 (10):109-120.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. Thomas Macaulay Ferguson (forthcoming). Faulty Belnap Computers and Subsystems of FDE. Journal of Logic and Computation.
    In this article, we consider variations of Nuel Belnap's "artificial reasoner". In particular, we examine cases in which the artificial reasoner is faulty, e.g. situations in which the reasoner is unable to calculate the value of a formula due to an inability to retrieve the values of its atoms. In the first half of the article, we consider two ways of modelling such circumstances and prove the deductive systems arising from these two types of models to be equivalent to Graham (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Thomas Macaulay Ferguson (2014). Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics. In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. 121-127.
    This paper examines the relationships between the many-valued logics G~ and Gn~ of Esteva, Godo, Hajek, and Navara, i.e., Godel logic G enriched with Łukasiewicz negation, and neighbors of intuitionistic logic. The popular fragments of Rauszer's Heyting-Brouwer logic HB admit many-valued extensions similar to G which may likewise be enriched with Łukasiewicz negation; the fuzzy extensions of these logics, including HB, are equivalent to G ~, as are their n-valued extensions equivalent to Gn~ for any n ≥ 2. These enriched (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. C. G. Fermüller (2008). Dialogue Games for Many-Valued Logics — an Overview. Studia Logica 90 (1):43 - 68.
    An overview of different versions and applications of Lorenzen’s dialogue game approach to the foundations of logic, here largely restricted to the realm of manyvalued logics, is presented. Among the reviewed concepts and results are Giles’s characterization of Łukasiewicz logic and some of its generalizations to other fuzzy logics, including interval based logics, a parallel version of Lorenzen’s game for intuitionistic logic that is adequate for finite- and infinite-valued Gödel logics, and a truth (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Hartry H. Field (2008). Saving Truth From Paradox. Oxford University Press.
    A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Josep Maria Font & Petr Hájek (2002). On Łukasiewicz's Four-Valued Modal Logic. Studia Logica 70 (2):157-182.
    ukasiewicz''s four-valued modal logic is surveyed and analyzed, together with ukasiewicz''s motivations to develop it. A faithful interpretation of it in classical (non-modal) two-valued logic is presented, and some consequences are drawn concerning its classification and its algebraic behaviour. Some counter-intuitive aspects of this logic are discussed in the light of the presented results, ukasiewicz''s own texts, and related literature.
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  25. Joseph S. Fulda (1985). Alpha Beta Pruning. SIGART Newsletter 94:26.
    Alpha-beta pruning is a technique for pruning trees in artificial intelligence game-playing. This note draws an analogy between the technique, which is, in essence, an application of many-valued logic to the cut-off of the evaluation of conditionals in computer programs (for efficiency).
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  26. Christopher Gauker, Kripke's Theory of Truth.
    This is not a research paper. It is just a handout that I prepared for a course some years ago. It is a presentation of Kripke's theory of truth that I intend to be understandable even to people who have had only a first course in logic. Although elementary, it is completely precise. All the terms are defined and all the proofs (except one trivial induction) are given in detail. I am putting this on the web because I think there (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  27. Christopher Gauker (forthcoming). Presuppositions as Anaphoric Duality Enablers. Topoi:1-12.
    The key to an adequate account of presupposition projection is to accommodate the fact that the presuppositions of a sentence cannot always be read off the sentence but can often be identified only on the basis of prior utterances in the conversation in which the sentence is uttered. In addition, an account of presupposition requires a three-valued semantics of assertibility and deniability in a context. Presuppositions can be explicated as sentences that belong to the conversation and the assertibility of which (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Christopher Gauker (2006). Against Stepping Back: A Critique of Contextualist Approaches to the Semantic Paradoxes. Journal of Philosophical Logic 35 (4):393 - 422.
    A number of philosophers have argued that the key to understanding the semantic paradoxes is to recognize that truth is essentially relative to context. All of these philosophers have been motivated by the idea that once a liar sentence has been uttered we can 'step back' and, from the point of view of a different context, judge that the liar sentence is true. This paper argues that this 'stepping back' idea is a mistake that results from failing to relativize truth (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. Stamatios Gerogiorgakis (2012). Privations, Negations and the Square: Basic Elements of a Logic of Privations. In Jean-Yves Beziau & Dale Jacquette (eds.), Around and beyond the Square of Opposition. Birkhäuser-Springer. 229--239.
    I try to explain the difference between three kinds of negation: external negation, negation of the predicate and privation. Further I use polygons of opposition as heuristic devices to show that a logic which contains all three mentioned kinds of negation must be a fragment of a Łukasiewicz-four-valued predicate logic. I show, further, that, this analysis can be elaborated so as to comprise additional kinds of privation. This would increase the truth-values in question and bring fragments of (more generally speaking) (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Patrick Greenough (2010). Deflationism and Truth-Value Gaps. In Nikolaj Pedersen & Cory D. Wright (eds.), New Waves inTruth. Palgrave Macmillan.
    Central to any form of Deflationism concerning truth (hereafter ‘DT’) is the claim that truth has no substantial theoretical role to play. For this reason, DT faces the following immediate challenge: if truth can play no substantial theoretical role then how can we model various prevalent kinds of indeterminacy—such as the indeterminacy exhibited by vague predicates, future contingents, liar sentences, truth-teller sentences, incomplete stipulations, cases of presupposition failure, and such-like? It is too hasty to assume that these phenomena are all (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  31. L. H. Hackstaff & Józef M. Bocheński (1962). A Study in Many-Valued Logic. Studies in East European Thought 2 (1):37-48.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. William H. Jobe (1962). Functional Completeness and Canonical Forms in Many-Valued Logics. Journal of Symbolic Logic 27 (4):409-422.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  33. Fred Johnson (1984). Trees for a 3-Valued Logic. Analysis 44 (1):43-6.
    Fred shows how problems with Slater's restriction of the classical propositional logic can be solved.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  34. Fred Johnson (1976). A Three-Valued Interpretation for a Relevance Logic. The Relevance Logic Newsletter 1 (3):123-128.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  35. Manfred Kerber & Michael Kohlhase (2012). Reasoning Without Believing: On the Mechanisation of Presuppositions and Partiality. Journal of Applied Non-Classical Logics 22 (4):295 - 317.
    (2012). Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 295-317. doi: 10.1080/11663081.2012.705962.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  36. Barteld Kooi & Allard Tamminga (2013). Three-Valued Logics in Modal Logic. Studia Logica 101 (5):1061-1072.
    Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we show that for every S5-model there is an equivalent three-valued valuation and vice versa. In general, our Translation Manual gives rise to translations that are exponentially longer than their originals. This fact raises the question whether there are (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  37. Barteld Kooi & Allard Tamminga (2012). Completeness Via Correspondence for Extensions of the Logic of Paradox. Review of Symbolic Logic 5 (4):720-730.
    Taking our inspiration from modal correspondence theory, we present the idea of correspondence analysis for many-valued logics. As a benchmark case, we study truth-functional extensions of the Logic of Paradox (LP). First, we characterize each of the possible truth table entries for unary and binary operators that could be added to LP by an inference scheme. Second, we define a class of natural deduction systems on the basis of these characterizing inference schemes and a natural deduction system for LP. Third, (...)
    Remove from this list | Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  38. Srecko Kovac (2012). Logical Opposition and Collective Decisions. In Jean-Yves Béziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Springer. 341--356.
    The square of opposition (as part of a lattice) is used as a natural way to represent different and opposite ways of who makes decisions, and in what way, in/for a group or a society. Majority logic is characterized by multiple logical squares (one for each possible majority), with the “discursive dilemma” as a consequence. Three-valued logics of majority decisions with discursive dilemma undecided, of veto, consensus, and sequential voting are analyzed from the semantic point of view. For instance, the (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Isaac Levi (1959). Putnam's Three Truth Values. Philosophical Studies 10 (5):65 - 69.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. Grzegorz Malinowski (1993). Many-Valued Logics. Oxford University Press.
    This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many-valuedness. With its selective bibliography and many useful historical references, this book provides logicians, computer scientists, philosophers, and mathematicians with a valuable survey (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  41. Henry Margenau (1939). Probability, Many-Valued Logics, and Physics. Philosophy of Science 6 (1):65-87.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Storrs McCall (1965). Modal and Many-Valued Logics: Acta Philosophica Fennica XVI, 1963. Pp. 290. $4.00. Dialogue 3 (04):455-461.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. M. Joshua Mozersky (2008). Bourne-Again Presentism. In L. Nathan Oaklander (ed.), The Philosophy of Time: Critical Concepts in Philosophy. Routledge. 2--336.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  44. Marek Nowak (1990). Logics Preserving Degrees of Truth. Studia Logica 49 (4):483 - 499.
    The paper introduces a concept of logic applied to a formalization of the so-called inferences preserving degrees of truth. Semantical and syntactical characterizations of three kinds of logics preserving degrees of truth are provided. The other approach than in [3] and [9] to the problem of expressing that a sentence is less true than a sentence is presented.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Lorenzo Peña (1993). Introducción a las lógicas no clásicas. Universidad Nacional Autónoma de México.
    A comparative study of a broad range of logical systems, showing that classical logic is just one among them and thate there are useful nonclassical logics which are conservative extensions of classical logic, by risorting to several negations and several implications. The book is oriented towards a defense of fuzzy logics.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  46. Diego L. Rapoport (2011). Surmounting the Cartesian Cut Through Philosophy, Physics, Logic, Cybernetics, and Geometry: Self-Reference, Torsion, the Klein Bottle, the Time Operator, Multivalued Logics and Quantum Mechanics. [REVIEW] Foundations of Physics 41 (1):33-76.
    In this transdisciplinary article which stems from philosophical considerations (that depart from phenomenology—after Merleau-Ponty, Heidegger and Rosen—and Hegelian dialectics), we develop a conception based on topological (the Moebius surface and the Klein bottle) and geometrical considerations (based on torsion and non-orientability of manifolds), and multivalued logics which we develop into a unified world conception that surmounts the Cartesian cut and Aristotelian logic. The role of torsion appears in a self-referential construction of space and time, which will be further related to (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. Juliusz Reichbach (1964). A Note About Connection of the First-Order Functional Calculus with Many-Valued Propositional Calculi. Notre Dame Journal of Formal Logic 5 (2):158-160.
  48. J. Barkley Rosser (1977). Many-Valued Logics. Greenwood Press.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Edward Schuh (1973). Many-Valued Logics and the Lewis Paradoxes. Notre Dame Journal of Formal Logic 14 (2):250-252.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. A. M. Sette & Walter A. Carnielli (1995). Maximal Weakly-Intuitionistic Logics. Studia Logica 55 (1):181 - 203.
    This article introduces the three-valuedweakly-intuitionistic logicI 1 as a counterpart of theparaconsistent calculusP 1 studied in [11].I 1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI 1 collapses to classical logic.The second part shows thatI 1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP 1 given in [8].
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 71