scientific article; zbMATH DE number 1523044

MaRDI QIDQ4511319zbMATH OpenFDO

Authors Hiroakira Ono

Publication date 13 March 2001

zbMATH Keywords

decision problemsfinite model propertysubstructural logicssurvey

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Model theory of finite structures (03C13)

Recommendations

• The finite model property for semilinear substructural logics
• Finite models of some substructural logics
• Disjunction property and complexity of substructural logics
• scientific article; zbMATH DE number 5289966
• Current trends in substructural logics

Cited in

(10)

• Metacompleteness of substructural logics
• Semilinear substructural logics with the finite embeddability property
• Substructural propositional dynamic logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• scientific article; zbMATH DE number 3871315 (Why is no real title available?)
• scientific article; zbMATH DE number 3715505 (Why is no real title available?)
• scientific article; zbMATH DE number 823603 (Why is no real title available?)
• Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
• scientific article; zbMATH DE number 7297889 (Why is no real title available?)
• Extended Kripke lemma and decidability for hypersequent 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 Q4511319)