scientific article

zbMath0308.02027MaRDI QIDQ4065518

Andrzej Wroński

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

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