Expanding \(\text{FL}_{ew}\) with a Boolean connective

DOI10.1007/s00500-016-2275-yzbMath1396.03039arXiv1612.01992OpenAlexW2515638598MaRDI QIDQ1699735

Lluís Godo, Rodolfo C. Ertola-Biraben, Francesc Esteva

Publication date: 23 February 2018

Published in: Soft Computing (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of Boolean algebras (03G05)

Related Items (1)

On an operation with regular elements

Cites Work

• Residuated lattices. An algebraic glimpse at substructural logics
• An algebraic approach to non-classical logics
• Metamathematics of fuzzy logic
• Bi-Heyting algebras, toposes and modalities
• Algebraizable logics
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• The finite model property for various fragments of intuitionistic linear logic
• An algebraic approach to intuitionistic connectives
• Modal operators for meet-complemented lattices
• Boolean elements in Lukasiewicz algebras, I
• Boolean elements in Lukasiewicz algebras, II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Expanding \(\text{FL}_{ew}\) with a Boolean connective