On polarity frames: applications to substructural and lattice-based logics

zbMATH Open1385.03030MaRDI QIDQ4636313FDOQ4636313

Authors: Tomoyuki Suzuki 

Publication date: 23 April 2018

Recommendations

• scientific article; zbMATH DE number 7594252
• scientific article; zbMATH DE number 6302899
• The structure of lattices of subframe logics
• Canonical extensions and relational completeness of some substructural logics
• Duality via Truth: Semantic frameworks for lattice-based logics

zbMATH Keywords

substructural logicrelational semanticsamalgamation propertylattice expansionstopological characterizationGoldblatt-Thomason's theoremlattice-based logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50)

Cited In (4)

• Morphisms and duality for polarities and lattices with operators
• Sublattices Generated by Polars
• Duality for normal lattice expansions and sorted residuated frames with relations
• Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators

This page was built for publication: On polarity frames: applications to substructural and lattice-based logics

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