On maximal intermediate predicate constructive logics

DOI10.1007/BF00370841zbMath0871.03016MaRDI QIDQ2563458

Pierangelo Miglioli, Paolo Mantovani, Camillo Fiorentini, Alessandro Avellone

Publication date: 16 January 1997

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

disjunction property; predicate logic; explicit definability property; maximal intermediate logic

Mathematics Subject Classification ID

03C90: Nonclassical models (Boolean-valued, sheaf, etc.)

03B55: Intermediate logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some results on intermediate constructive logics
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• On maximal intermediate logics with the disjunction property
• A constructivism based on classical truth
• On two problems of Harvey Friedman
• 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
• A study of intermediate 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
• 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
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• One hundred and two problems in mathematical logic
• Counting the maximal intermediate constructive logics
• A logic stronger than intuitionism
• The decidability of the Kreisel-Putnam system