On maximal intermediate predicate constructive logics

DOI10.1007/BF00370841MaRDI QIDQ2563458zbMATH OpenFDO

Authors Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli

Publication date 16 January 1997

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370841

zbMATH Keywords

disjunction propertyexplicit definability propertymaximal intermediate logicpredicate logic

Mathematics Subject Classification ID

Intermediate logics (03B55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Review text

A predicate logic is constructed which is a maximal intermediate logic with the disjunction property and the explicit definability property \((\exists x{\mathcal A} (x) \in\psi\) implies \({\mathcal A} (y)\in \psi)\).

Recommendations

• Counting the maximal intermediate constructive logics
• Some results on intermediate constructive logics
• A method to single out maximal propositional logics with the disjunction property. I
• On maximal intermediate logics with the disjunction property
• A method to single out maximal propositional logics with the disjunction property. II

Cites work

• A constructivism based on classical truth
• A logic stronger than intuitionism
• 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
• A study of intermediate predicate logics
• An infinite class of maximal intermediate propositional logics with the disjunction property
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Counting the maximal intermediate constructive logics
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 4106814 (Why is no real title available?)
• scientific article; zbMATH DE number 3685452 (Why is no real title available?)
• scientific article; zbMATH DE number 3448545 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On maximal intermediate logics with the disjunction property
• On two problems of Harvey Friedman
• One hundred and two problems in mathematical logic
• Semantical investigations in Heyting's intuitionistic logic
• Some results on intermediate constructive logics
• The decidability of the Kreisel-Putnam system
• The disjunction property of intermediate propositional logics

Cited in

(3)

• An infinite class of maximal intermediate propositional logics with the disjunction property
• Counting the maximal intermediate constructive logics
• Some results on intermediate constructive logics

This page was built for publication: On maximal intermediate predicate constructive logics

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