Fixed-pointed Involutive Micanorm-based Logics

Korean Journal of Logic 25 (2):121-137 (2022)
  Copy   BIBTEX

Abstract

This paper considers standard completeness for fixed-pointed involutive micanorm-based logics. For this, we first discuss fixed-pointed involutive micanorm-based logics together with their algebraic semantics. Next, after introducing some examples of fixed-pointed involutive micanorms, we provide standard completeness results for those logics.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,492

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Involutive Weak u-associative Fuzzy Logic WAuIBUL.Eunsuk Yang - 2024 - CHUL HAK SA SANG - Journal of Philosophical Ideas 92 (92):71-89.
Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
Non-involutive twist-structures.Umberto Rivieccio, Paulo Maia & Achim Jung - 2020 - Logic Journal of the IGPL 28 (5):973-999.
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
The finite model property for semilinear substructural logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.
ItUML and Esteva-Godo-style standard completeness.Eunsuk Yang - 2023 - CHUL HAK SA SANG - Journal of Philosophical Ideas 89 (89):341-357.

Analytics

Added to PP
2024-10-19

Downloads
5 (#1,797,462)

6 months
5 (#855,890)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references