An expansion of basic logic with fixed points
type: Item
instance of: scholarly article
title: An expansion of basic logic with fixed points
zbMATH Open document ID: 1396.03050
author: Luca Spada
published in: Soft Computing
publication date: 2018-02-23T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06D35
zbMATH DE Number: 6843086
zbMATH Keywords: BL-algebras
zbMATH Keywords: fixed points
zbMATH Keywords: storage operators
MaRDI profile type: Publication
full work available at URL: s00500-016-2344-2
OpenAlex ID: W2521937814
cites work: Varieties of BL-algebras. I: General properties.
cites work: On the structure of hoops
cites work: Algebraic foundations of many-valued reasoning
cites work: Handbook of mathematical fuzzy logic. Volume 2
cites work: Fixed Point Logics
cites work: Representation and reticulation by quotients of MV-algebras
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: Metamathematics of fuzzy logic
cites work: On very true
cites work: A proof of standard completeness for Esteva and Godo's logic MTL
cites work: Results on the propositional \(\mu\)-calculus
cites work: Advances in the theory of \(\mu \)Ł\(\Pi \) algebras
cites work: Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
cites work: Q4992900
cites work: Storage Operators and Multiplicative Quantifiers in Many-valued Logics
cites work: Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
cites work: Completeness for flat modal fixpoint logics
cites work: Ł\(\Pi\) logic with fixed points
cites work: \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
DOI: 10.1007/S00500-016-2344-2
description: scientific article; zbMATH DE number 6843086