scientific article; zbMATH DE number 1303458

MaRDI QIDQ4250069zbMATH OpenFDO

Authors Hiroakira Ono

Publication date 17 June 1999

zbMATH Keywords

algebraic semanticsDedekind-MacNeille completionHeyting algebraincompletenessintermediate logicmodal logicnonclassical logicspredicate logicsrelevant logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• scientific article; zbMATH DE number 218502
• scientific article; zbMATH DE number 3837996
• scientific article; zbMATH DE number 2196598
• Algebraic Kripke-style semantics for relevance logics

Cited in

(15)

• Comparison of MacNeille, canonical, and profinite completions
• Logical semirings and their usage for construction of quick algorithms
• Algebraic semantics for deductive systems
• Algebraic semantics for quasi-Nelson logic
• On complete representations of algebras of logic
• scientific article; zbMATH DE number 3902023 (Why is no real title available?)
• scientific article; zbMATH DE number 3949705 (Why is no real title available?)
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
• scientific article; zbMATH DE number 6863637 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 1910376 (Why is no real title available?)
• scientific article; zbMATH DE number 7123530 (Why is no real title available?)
• scientific article; zbMATH DE number 2196598 (Why is no real title available?)
• Algebraic proof theory: hypersequents and hypercompletions

This page was built for publication:

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