A method to single out maximal propositional logics with the disjunction property. I

DOI10.1016/0168-0072(94)00053-6zbMath0837.03022OpenAlexW2073362032MaRDI QIDQ1902974

Mauro Ferrari, Pierangelo Miglioli

Publication date: 16 January 1996

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)00053-6

zbMATH Keywords

disjunction propertyintermediate logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

A method to single out maximal propositional logics with the disjunction property. II, Generalized tableau systems for intermediate propositional logics, All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete, On maximal intermediate predicate constructive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Some results on intermediate constructive logics
• On maximal intermediate logics with the disjunction property
• A result on propositional logics having the disjunction property
• Semantical investigations in Heyting's intuitionistic logic
• 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
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Counting the maximal intermediate constructive logics
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• The decidability of the Kreisel-Putnam system
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable