Publication:4065518

zbMATH Open0308.02027MaRDI QIDQ4065518FDOQ4065518

Andrzej Wroński

Publication date: 1973

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Cited In (15)

• Intermediate logics admitting a structural hypersequent calculus
• An algebraic approach to subframe logics. Intuitionistic case
• V. Yankov’s Contributions to Propositional Logic
• Axiomatic extensions of the constructive logic with strong negation and the disjunction property
• Two classes of intermediate propositional logics without disjunction property
• Lattices of Intermediate Theories via Ruitenburg's Theorem
• The disjunction property of intermediate propositional logics
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• On intermediate inquisitive and dependence logics: an algebraic study
• Not every splitting Heyting or interior algebra is finitely presentable
• Admissibility and refutation: some characterisations of intermediate logics
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• An algebraic approach to canonical formulas: modal case
• Continuality of the set of maximal superintuitionistic logics with the disjunction property
• 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 Q4065518)