scientific article; zbMATH DE number 1980925

zbMATH Open1023.03056MaRDI QIDQ4428299FDOQ4428299

Authors: Mauro Ferrari, Camillo Fiorentini, Guido Fiorino 

Publication date: 15 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140175.htm

Title of this publication is not available (Why is that?)

Recommendations

• On the complexity of the disjunction property in intuitionistic and modal logics
• The complexity of the disjunction and existential properties in intuitionistic logic
• On maximal intermediate logics with the disjunction property
• The complexity of disjunction in intuitionistic logic
• The complexity of disjunction in intuitionistic logic
• The disjunction property of intermediate propositional logics
• scientific article; zbMATH DE number 3999891
• Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property
• Disjunction property and complexity of substructural logics
• scientific article; zbMATH DE number 5896226

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Complexity of proofs (03F20)

Cited In (8)

• The complexity of disjunction in intuitionistic logic
• On the complexity of the disjunction property in intuitionistic and modal logics
• Title not available (Why is that?)
• Disjunction property and complexity of substructural logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Universal proof theory: feasible admissibility in intuitionistic modal logics
• An infinite class of maximal intermediate propositional logics with the disjunction property

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