Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
type: Item
instance of: scholarly article
title: Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
zbMATH Open document ID: 1392.03034
published in: Fuzzy Sets and Systems
publication date: 2018-07-30T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 06B20
zbMATH DE Number: 6911760
author: Joan Gispert i Brasó
MaRDI profile type: Publication
full work available at URL: j.fss.2016.09.010
OpenAlex ID: W2522584865
cites work: Q4011709
cites work: Q3934450
cites work: Algebraic Analysis of Many Valued Logics
cites work: A New Proof of the Completeness of the Lukasiewicz Axioms
cites work: Algebraic foundations of many-valued reasoning
cites work: Protoalgebraic logics
cites work: Q3505079
cites work: Q4032847
cites work: Q4787877
cites work: Least \(V\)-quasivarieties of MV-algebras
cites work: MV-algebras: a variety for magnitudes with archimedean units
cites work: Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
cites work: Q5572358
cites work: Admissible Rules of Lukasiewicz Logic
cites work: Bases of Admissible Rules of Lukasiewicz Logic
cites work: Super-Łukasiewicz propositional logics
cites work: Q3229402
cites work: Admissible Rules: From Characterizations to Applications
cites work: Admissibility in finitely generated quasivarieties
cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
cites work: Varieties of MV-algebras
cites work: Q3204458
cites work: Admissibility of logical inference rules
DOI: 10.1016/J.FSS.2016.09.010
description: scientific article; zbMATH DE number 6911760