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.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

External links

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

Through your library

My notes

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.
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness.Sándor Jenei - 2022 - Archive for Mathematical Logic 62 (1):67-86.
Residuated logics based on strict triangular norms with an involutive negation.Petr Cintula, Erich Peter Klement, Radko Mesiar & Mirko Navara - 2006 - Mathematical Logic Quarterly 52 (3):269-282.
Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - 2024 - Studia Logica 112 (4):805-833.
Non-involutive twist-structures.Umberto Rivieccio, Paulo Maia & Achim Jung - 2020 - Logic Journal of the IGPL 28 (5):973-999.
Distinguishing standard SBL‐algebras with involutive negations by propositional formulas.Zuzana Haniková & Petr Savický - 2008 - Mathematical Logic Quarterly 54 (6):579-596.
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
3 (#1,847,757)

6 months
3 (#1,465,011)

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