- 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
On a four-valued modal logic with deductive implication
Bulletin of the Section of Logic 43 (1/2):1-18 (2014)
Abstract
In this paper we propose to enrich the four-valued modal logic associated to Monteiro's Tetravalent modal algebras (TMAs) with a deductive implication, that is, such that the Deduction Meta-theorem holds in the resulting logic. All this lead us to establish some new connections between TMAs, symmetric (or involutive) Boolean algebras, and modal algebras for extensions of S5, as well as their logical counterparts.Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.Marcelo E. Coniglio & Martín Figallo - 2014 - Studia Logica 102 (3):525-539.
Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic.Marcelo E. Coniglio & Martin Figallo - 2024 - Logic and Logical Philosophy 33 (2):171-203.
An abstract algebraic logic approach to tetravalent modal logics.Josep Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic.Martín Figallo - 2021 - Studia Logica 109 (6):1347-1373.
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus.Aldo Victorio Figallo, Estela Bianco & Alicia Ziliani - 2014 - Open Journal of Philosophy 4 (3):319-331.
On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras.Aldo Figallo Orellano & Inés Pascual - 2019 - Studia Logica 107 (4):591-611.
Compatible Functions in Algebras Associated to Extensions of Positive Logic.Rodolfo Ertola, Adriana Galli & Marta Sagastuma - 2007 - Logic Journal of the IGPL 15 (1):109-119.
On The Number Of Quasi-modal Algebras.Jacek Malinowski - 1985 - Bulletin of the Section of Logic 14 (3):99-101.
Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
Analytics
Added to PP
2014-03-07
Downloads
37 (#1,440,287)
6 months
3 (#1,866,497)
2014-03-07
Downloads
37 (#1,440,287)
6 months
3 (#1,866,497)
Historical graph of downloads
Author's Profile
Citations of this work
Maximality in finite-valued Lukasiewicz logics defined by order filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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