scientific article; zbMATH DE number 1543335

MaRDI QIDQ4520811zbMATH OpenFDO

Authors Hajime Ishihara

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_6_1/a_canonical_model_construction

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1916520
• Kripke semantics for modal substructural logics
• Relational proof system for linear and other substructural logics
• Canonical extensions and relational completeness of some substructural logics
• Cut elimination theorems and a canonical model construction for some implicational substructural logics

Cited in

(25)

• Investigations into a left-structural right-substructural sequent calculus
• Informational interpretation of substructural propositional logics
• Meeting strength in substructural logics
• Normal modal substructural logics with strong negation
• Constructive canonicity for lattice-based fixed point logics
• Kripke semantics for modal substructural logics
• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• Linear and affine logics with temporal, spatial and epistemic operators
• Combinatory logic and the semantics of substructural logics
• Cut elimination theorems and a canonical model construction for some implicational substructural logics
• Conuclear images of substructural logics
• Substructural logic of proofs
• From pair points to pairs of models
• Models for substructural arithmetics
• scientific article; zbMATH DE number 2079266 (Why is no real title available?)
• scientific article; zbMATH DE number 6863657 (Why is no real title available?)
• A uniform framework for substructural logics with modalities
• scientific article; zbMATH DE number 1916520 (Why is no real title available?)
• scientific article; zbMATH DE number 912320 (Why is no real title available?)
• A Sahlqvist theorem for substructural logic
• LP, K3 and FDE as substructural logics
• Inter-model connectives and substructural logics
• Canonical extensions and relational completeness of some substructural logics
• Relational Methods in Computer Science
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

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 Q4520811)