- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Two proofs of the algebraic completeness theorem for multilattice logic
Journal of Applied Non-Classical Logics 29 (4):358-381 (2019)
Abstract
Shramko [. Truth, falsehood, information and beyond: The American plan generalized. In K. Bimbo, J. Michael Dunn on information based logics, outstanding contributions to logic...Author Profiles
My notes
Similar books and articles
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
Modal Multilattice Logic.Norihiro Kamide & Yaroslav Shramko - 2017 - Logica Universalis 11 (3):317-343.
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.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
On a multilattice analogue of a hypersequent S5 calculus.Oleg Grigoriev & Yaroslav Petrukhin - forthcoming - Logic and Logical Philosophy:1.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
Z-modules and full completeness of multiplicative linear logic.Masahiro Hamano - 2001 - Annals of Pure and Applied Logic 107 (1-3):165-191.
Chang's Ł* Logic.Renato Lewin, Marta Sagastume & Pedro Massey - 2004 - Logic Journal of the IGPL 12 (6):485-497.
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem.Victor N. Krivtsov - 2015 - Studia Logica 103 (3):623-638.
Extension Properties and Subdirect Representation in Abstract Algebraic Logic.Tomáš Lávička & Carles Noguera - 2018 - Studia Logica 106 (6):1065-1095.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
VMV# algebrasV.R. Lewin, M. Sagastume & P. Massey - 2004 - Logic Journal of the IGPL 12 (6):461-483.
Nonassociative substructural logics and their semilinear extensions: Axiomatization and completeness properties: Nonassociative substructural logics.Petr Cintula, Rostislav Horčík & Carles Noguera - 2013 - Review of Symbolic Logic 6 (3):394-423.
Analytics
Added to PP
2019-08-05
Downloads
24 (#639,942)
6 months
7 (#411,886)
2019-08-05
Downloads
24 (#639,942)
6 months
7 (#411,886)
Historical graph of downloads
Author Profiles
Citations of this work
On a multilattice analogue of a hypersequent S5 calculus.Oleg Grigoriev & Yaroslav Petrukhin - forthcoming - Logic and Logical Philosophy:1.
Modal multilattice logics with Tarski, Kuratowski, and Halmos operators.Oleg Grigoriev & Yaroslav Petrukhin - forthcoming - Logic and Logical Philosophy:1.
Provability multilattice logic.Yaroslav Petrukhin - 2022 - Journal of Applied Non-Classical Logics 32 (4):239-272.
References found in this work
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.
The trilaticce of constructive truth values.Yaroslav Shramko, J. Michael Dunn & Tatsutoshi Takenaka - 2001 - Journal of Logic and Computation 11 (1):761--788.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo