Maximality in finite-valued Łukasiewicz logics defined by order filters

DOI10.1093/LOGCOM/EXY032zbMath1478.03051arXiv1803.09815OpenAlexW2962967093MaRDI QIDQ3120209

Francesc Esteva, Marcelo E. Coniglio, Lluís Godo, Joan Gispert i Brasó

Publication date: 1 March 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1803.09815

zbMATH Keywords

MV-algebrasquasivarietiesparaconsistent logicsmatrix logicsfinite-valued Łukasiewicz logicsmaximal and strongly maximal logics

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (2)

Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency

This page was built for publication: Maximality in finite-valued Łukasiewicz logics defined by order filters