scientific article; zbMATH DE number 7536428
From MaRDI portal
Publication:5863756
zbMath1495.03041MaRDI QIDQ5863756
Publication date: 3 June 2022
Full work available at URL: https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-38-number-5-6-2022/mvlsc-35-5-6-p-533-545/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fuzzy logicalgebraic semanticsmany-valued logicKripke-style semanticspretabularitynilpotent minimum logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic Kripke-style semantics for relevance logics
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- A pretabular classical relevance logic
- Weakly implicative (fuzzy) logics. I: Basic properties
- (Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
- The Quest for the Basic Fuzzy Logic
- Independent bases for rules admissible in pretabular logics
- Undecidability of modal and intermediate first-order logics with two individual variables
- Kripke‐style semantics for many‐valued logics
- Corrigendum to “Kripke‐style semantics for many‐valued logics”
- Nilpotent Minimum Logic NM and Pretabularity
- There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
- A semantical study of constructible falsity
- Algebraic completeness results for R-mingle and its extensions
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
This page was built for publication: