A Kripke Semantics for Hajek's BL

DOI10.4204/eptcs.381.4arXiv2308.04518MaRDI QIDQ6196499

Andrew Lewis-Smith

Publication date: 14 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Generating the variety of BL-algebras
• Embedding theorems for classes of GBL-algebras
• The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
• Metamathematics of fuzzy logic
• Poset product and BL-chains
• Semi De Morgan logic properly displayed
• Kripke semantics for intuitionistic Łukasiewicz logic
• Poset products as relational models
• Proof Analysis

This page was built for publication: A Kripke Semantics for Hajek's BL