Counting the maximal intermediate constructive logics

DOI10.2307/2275149zbMATH Open0795.03031OpenAlexW2056412887MaRDI QIDQ4283073FDOQ4283073

Authors: Mauro Ferrari, Pierangelo Miglioli 

Publication date: 1 September 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275149

Recommendations

• On maximal intermediate predicate constructive logics
• Some results on intermediate constructive logics
• A method to single out maximal propositional logics with the disjunction property. I
• Continuality of the set of maximal superintuitionistic logics with the disjunction property
• On the existence of continua of logics between some intermediate predicate logics

zbMATH Keywords

disjunction propertyintermediate predicate logicexplicit definability propertyintermediate propositional logicmaximal intermediate logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Semantical investigations in Heyting's intuitionistic logic
• On maximal intermediate logics with the disjunction property
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• A study of intermediate predicate logics
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
• A result on propositional logics having the disjunction property
• An infinite class of maximal intermediate propositional logics with the disjunction property

Cited In (12)

• Continuum classes of logics
• On maximal intermediate predicate constructive logics
• Constructing a continuum of predicate extensions of each intermediate propositional logic
• A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
• A method to single out maximal propositional logics with the disjunction property. I
• A method to single out maximal propositional logics with the disjunction property. II
• Title not available (Why is that?)
• Some results on intermediate constructive logics
• Generalized tableau systems for intermediate propositional logics
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• Proof analysis in intermediate logics
• A Generalization of Maksimova’s Criterion for the Disjunction Property

This page was built for publication: Counting the maximal intermediate constructive logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4283073)