Results for 'Multilattice logic'

947 found
Order:
  1.  39
    Modal Multilattice Logic.Norihiro Kamide & Yaroslav Shramko - 2017 - Logica Universalis 11 (3):317-343.
    A modal extension of multilattice logic, called modal multilattice logic, is introduced as a Gentzen-type sequent calculus \. Theorems for embedding \ into a Gentzen-type sequent calculus S4C and vice versa are proved. The cut-elimination theorem for \ is shown. A Kripke semantics for \ is introduced, and the completeness theorem with respect to this semantics is proved. Moreover, the duality principle is proved as a characteristic property of \.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  24
    Modal multilattice logics with Tarski, Kuratowski, and Halmos operators.Oleg Grigoriev & Yaroslav Petrukhin - 2021 - Logic and Logical Philosophy 30 (3):385-415.
    In this paper, we consider modal multilattices with Tarski, Kuratowski, and Halmos closure and interior operators as well as the corresponding logics which are multilattice versions of the modal logics MNT4, S4, and S5, respectively. The former modal multilattice logic is a new one. The latter two modal multilattice logics have been already mentioned in the literature, but algebraic completeness results have not been established for them before. We present a multilattice version of MNT4 in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  19
    (1 other version)Provability multilattice logic.Yaroslav Petrukhin - 2022 - Journal of Applied Non-Classical Logics 32 (4):239-272.
    In this paper, we introduce provability multilattice logic PMLn and multilattice arithmetic MPAn which extends first-order multilattice logic with equality by multilattice versions of Peano axioms. We show that PMLn has the provability interpretation with respect to MPAn and prove the arithmetic completeness theorem for it. We formulate PMLn in the form of a nested sequent calculus and show that cut is admissible in it. We introduce the notion of a provability multilattice and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  25
    Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.Norihiro Kamide - 2021 - Studia Logica 109 (6):1241-1271.
    Two new multilattice logics called submultilattice logic and indexed multilattice logic are introduced as a monosequent calculus and an indexed monosequent calculus, respectively. The submultilattice logic is regarded as a monosequent calculus version of Shramko’s original multilattice logic, which is also known as the logic of logical multilattices. The indexed multilattice logic is an extension of the submultilattice logic, and is regarded as the logic of multilattices. A completeness (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  48
    Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
    In this paper, bi-intuitionistic multilattice logic, which is a combination of multilattice logic and the bi-intuitionistic logic also known as Heyting–Brouwer logic, is introduced as a Gentzen-type sequent calculus. A Kripke semantics is developed for this logic, and the completeness theorem with respect to this semantics is proved via theorems for embedding this logic into bi-intuitionistic logic. The logic proposed is an extension of first-degree entailment logic and can be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  47
    Two proofs of the algebraic completeness theorem for multilattice logic.Oleg Grigoriev & Yaroslav Petrukhin - 2019 - Journal of Applied Non-Classical Logics 29 (4):358-381.
    Shramko [. Truth, falsehood, information and beyond: The American plan generalized. In K. Bimbo, J. Michael Dunn on information based logics, outstanding contributions to logic...
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  14
    Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics.Yaroslav Petrukhin - 2024 - Journal of Logic, Language and Information 33 (2):179-196.
    In this paper, we introduce the notions of connexive and bi-intuitionistic multilattices and develop on their base the algebraic semantics for Kamide, Shramko, and Wansing’s connexive and bi-intuitionistic multilattice logics which were previously known in the form of sequent calculi and Kripke semantics. We prove that these logics are sound and complete with respect to the presented algebraic structures.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  32
    On a multilattice analogue of a hypersequent S5 calculus.Oleg Grigoriev & Yaroslav Petrukhin - 2019 - Logic and Logical Philosophy 28 (4):683-730.
    In this paper, we present a logic MMLS5n which is a combination of multilattice logic and modal logic S5. MMLS5n is an extension of Kamide and Shramko’s modal multilattice logic which is a multilattice analogue of S4. We present a cut-free hypersequent calculus for MMLS5n in the spirit of Restall’s one for S5 and develop a Kripke semantics for MMLS5n, following Kamide and Shramko’s approach. Moreover, we prove theorems for embedding MMLS5n into S5 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  11
    Multilattice as the set of truth values for fuzzy rough sets.G. Nguepy Dongmo, B. B. Koguep Njionou, L. Kwuida & M. Onabid - forthcoming - Journal of Applied Non-Classical Logics:1-20.
    Radzikowska and Kerre developed L-fuzzy rough set as a fuzzy generalisation of the notion of rough sets. Specifically, they have taken a residuated lattice L as the underlying set of truth degrees. However, in real life, we may encounter situations where truth degrees are not always linear, or where the existence of the least upper bound of two elements is no longer required. Instead, there may be the possibility of having minimal upper bounds, and dually, maximal lower bounds, multilattices have (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Cut-Down Operations on Multilattices.Thomas Ferguson - 2017 - In Thomas Macaulay Ferguson, Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  11. Hyper-contradictions, generalized truth values and logics of truth and falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.
    In Philosophical Logic, the Liar Paradox has been used to motivate the introduction of both truth value gaps and truth value gluts. Moreover, in the light of “revenge Liar” arguments, also higher-order combinations of generalized truth values have been suggested to account for so-called hyper-contradictions. In the present paper, Graham Priest's treatment of generalized truth values is scrutinized and compared with another strategy of generalizing the set of classical truth values and defining an entailment relation on the resulting sets (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  12. Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.
    In Belnap's useful 4-valued logic, the set 2 = {T, F} of classical truth values is generalized to the set 4 = ������(2) = {Ø, {T}, {F}, {T, F}}. In the present paper, we argue in favor of extending this process to the set 16 = ᵍ (4) (and beyond). It turns out that this generalization is well-motivated and leads from the bilattice FOUR₂ with an information and a truth-and-falsity ordering to another algebraic structure, namely the trilattice SIXTEEN₃ with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   61 citations  
  13.  34
    Rivals to Belnap–Dunn Logic on Interlaced Trilattices.Thomas M. Ferguson - 2017 - Studia Logica 105 (6):1123-1148.
    The work of Arnon Avron and Ofer Arieli has shown a deep relationship between the theory of bilattices and the Belnap-Dunn logic \. This correspondence has been interpreted as evidence that \ is “the” logic of bilattices, a consideration reinforced by the work of Yaroslav Shramko and Heinrich Wansing in which \ is shown to be similarly entrenched with respect to the theories of trilattices and, more generally, multilattices. In this paper, we export Melvin Fitting’s “cut-down” connectives—propositional connectives (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  34
    Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.
    The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  15. Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
  16. Mathematical Logic.Arch Math Logic - 2003 - Archive for Mathematical Logic 42:563-568.
     
    Export citation  
     
    Bookmark  
  17.  35
    Logic Matters.Logic Matters - unknown
    I read Stefan Collini’s What are Universities For? last week with very mixed feelings. In the past, I’ve much admired his polemical essays on the REF, “impact”, the Browne Report, etc. in the London Review of Books and elsewhere: they speak to my heart. If you don’t know those essays, you can get some of their flavour from his latest article in the Guardian yesterday. But I found the book a disappointment. Perhaps the trouble is that Collini is too decent, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. A Comparison between two Different Tarski-style Semantics for Linear Logic.Linear Logic & M. Piazza - 1994 - Epistemologia 17 (1):101-116.
     
    Export citation  
     
    Bookmark  
  19. Anna Zalewska an application of mizar mse in a course in logic.A. Course In Logic - 1987 - In Jan T. J. Srzednicki, Initiatives in logic. Boston: M. Nijhoff. pp. 224.
     
    Export citation  
     
    Bookmark  
  20.  16
    Party contributions from non-classical logics.Contributions From Non-Classical Logics - 2004 - In S. Rahman, Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 457.
  21. the Question of Grammar in Logical Inx'estigations.Later Developments In Logic - 2003 - In Anna-Teresa Tymieniecka, Phenomenology World-Wide. Kluwer Academic Publishers. pp. 94.
     
    Export citation  
     
    Bookmark  
  22.  25
    Informal Logic referees 2011-2012.Informal Logic Editors - 2013 - Informal Logic 33 (1):80.
    The Editors express their gratitude and appreciation to the indi-viduals listed below who served as referees for Informal Logic for Volumes 31 (2011) and 32 (2012).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  7
    A logical formalisation of false belief tasks.R. Velázquez-Quesada A. Institute for Logic Anthia Solaki Fernando, Computation Language, Netherlandsb Netherlands Organization for Applied Scientific Research, Media Studies Netherlandsc Information Science & Norway - forthcoming - Journal of Applied Non-Classical Logics:1-51.
    Theory of Mind (ToM), the cognitive capacity to attribute internal mental states to oneself and others, is a crucial component of social skills. Its formal study has become important, witness recent research on reasoning and information update by intelligent agents, and some proposals for its formal modelling have put forward settings based on Epistemic Logic (EL). Still, due to intrinsic idealisations, it is questionable whether EL can be used to model the high-order cognition of ‘real’ agents. This manuscript proposes (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  49
    Guidelines for Logic Education.Asl Commitee on Logic And EducatiOn - 1995 - Bulletin of Symbolic Logic 1 (1):4-7.
  25. Types of negation in logical reconstructions of meinong Andrew Kenneth Jorgensen university of Leeds.in Logical Reconstructions Of Meinong - 2004 - Grazer Philosophische Studien 67 (1):21-36.
     
    Export citation  
     
    Bookmark  
  26. Sets, Models and Recursion Theory Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.John N. Crossley & Logic Colloquium - 1967 - North-Holland.
     
    Export citation  
     
    Bookmark  
  27.  11
    Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
    The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  5
    Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
    The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  32
    DM72. Fact and Existence. By Joseph Margolis. University of Toronto Press. 1969. Pp. v, 144, $4.50. Principles of Logic. By Alex C. Michalos. Englewood Cliffs, New Jersey, Prentice-Hall. 1969. Pp. xiii, 433. [REVIEW]Many-Valued Logic - forthcoming - Filosofia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Tjeerd B. Jongeling, Teun Koetsier & Evert Wattel, a logical approach to qualitative reasoning with'several'... 15.Vladimir Markin, Dmitry Zaitsev, Imaginary Logic, Lloyd Humberstone, Implicational Converses, Jose M. Mendez, Francisco Salto, Pedro Mendez, Roger Vergauwen & Ray Lam - 2002 - Logique Et Analyse 45:1.
     
    Export citation  
     
    Bookmark  
  31.  8
    Logic Programming: 10th International Symposium : Preprinted Papers and Abstracts.Dale Miller & Association for Logic Programming - 1993
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  11
    Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982 - North-Holland.
  33.  10
    Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers.M. Nielsen, Wolfgang Thomas & European Association for Computer Science Logic - 1998 - Springer Verlag.
    This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. What is neologicism?Symbolic Logic - forthcoming - Bulletin of Symbolic Logic.
     
    Export citation  
     
    Bookmark   2 citations  
  35.  10
    How Tarskian are Carnap's Semantics?Kai F. Wehmeier Logic - forthcoming - History and Philosophy of Logic:1-19.
    It is a commonplace of the history of analytic philosophy that Carnap swiftly adopted Tarskian semantics in the mid-1930s. There is no doubt that, in a very general sense, this is true. But to what extent are the innovative technical details characteristic of Tarski's method, specifically the handling of quantification by way of a satisfaction relation between formulas and variable assignments, reflected in Carnap's writings on semantics? Curiously enough, their essentials are in place just before Carnap took the purported Tarskian (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  53
    In Memoriam.Informal Logic - 2023 - Informal Logic 43 (2):165.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  31
    In Memoriam Catherine Hundleby.Informal Logic - 2023 - Informal Logic 45 (1):307-309.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Afterthoughts.Philosophical Logic - 1989 - In Joseph Almog, John Perry & Howard Wettstein, Themes From Kaplan. New York: Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  39.  70
    Argument Evaluation Contest.Informal Logic - 1989 - Informal Logic 11 (1):1.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Arthur Nieuwendijk.Navya-Nyaya Logic - 1992 - Journal of Indian Philosophy 20:377-418.
     
    Export citation  
     
    Bookmark  
  41. David Bostock.On Motivating Higher-Order Logic - 2004 - In Thomas Baldwin & Timothy Smiley, Studies in the Philosophy of Logic and Knowledge. New York: Oup/British Academy.
    No categories
     
    Export citation  
     
    Bookmark  
  42.  29
    Externalism, Internalism and Moral Scepticism.Conditional Logic - 1991 - International Philosophical Quarterly 31 (4).
  43. For the most clearly understood models of (i) belief,(ii) how the impact of sensory experience changes belief, and (Hi) how beliefs together with desires influence actions.Meaning Logic - 1983 - In Alex Orenstein & Rafael Stern, Developments in Semantics. Haven. pp. 2--221.
     
    Export citation  
     
    Bookmark  
  44. Ian I-iacking.Linguistically Invariant Inductive Logic - 1970 - In Paul Weingartner & Gerhard Zecha, Induction, physics, and ethics. Dordrecht,: Reidel.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  43
    In memoriam: John Hoaglund 1936 – 2012.Informal Logic - 2012 - Informal Logic 32 (3):286-287.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  20
    In Memoriam: Stephen Edelston Toulmin 1922-2009.Informal Logic - 2010 - Informal Logic 30 (1):120-121.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. International union of history and philosophy of science uppsala university.Methodology Logic - 1990 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 21:401-403.
  48. Juliet flower MacCannell.Monstrous Logic - 2004 - In Sinkwan Cheng, Law, justice, and power: between reason and will. Stanford, Calif.: Stanford University Press. pp. 240.
     
    Export citation  
     
    Bookmark  
  49.  21
    Jon Williamson.Probability Logic - 2002 - In Dov M. Gabbay, Handbook of the logic of argument and inference: the turn towards the practical. New York: Elsevier. pp. 397.
  50. Krzysztof rotter.O. Filologicznym Nurcie W. Logice & I. Logika W. Dobie Kryzysu - 2001 - Studia Semiotyczne 24:115.
     
    Export citation  
     
    Bookmark  
1 — 50 / 947