A Kripke Semantics for Hajek's BL

DOI10.4204/EPTCS.381.4MaRDI QIDQ6196499zbMATH OpenFDO

Authors 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

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

Recommendations

• Kripke semantics for fuzzy logics
• scientific article; zbMATH DE number 6028054
• A temporal semantics for basic logic
• Kripke semantics for intuitionistic Łukasiewicz logic
• Kripke‐style semantics for many‐valued logics

Cites work

• An introduction to non-classical logic. From if to is
• Embedding theorems for classes of GBL-algebras
• Generating the variety of BL-algebras
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• Kripke semantics for intuitionistic Łukasiewicz logic
• Metamathematics of fuzzy logic
• Poset product and BL-chains
• Poset products as relational models
• Proof Analysis
• Semi De Morgan logic properly displayed
• The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete

Cited in

(1)

• A Kripke semantics for intuitionistic Łukasiewicz logic with weak excluded middle

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6196499)