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

MaRDI QIDQ4636313zbMATH OpenFDO

Authors Tomoyuki Suzuki

Publication date 23 April 2018

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)

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

Cited in

(4)

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

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)