Reflexive intermediate first-order logics

MaRDI QIDQ1049753zbMATH OpenFDO

Authors Nathan C. Carter

Publication date 13 January 2010

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

zbMATH Keywords

intermediate first-order logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• Reflexive intermediate propositional logics
• scientific article; zbMATH DE number 3873298
• Reflexive-insensitive modal logics
• First-order intensional logic
• On the rules of intermediate logics
• Intermediate logics admitting a structural hypersequent calculus
• Finite and finitely separable intermediate propositional logics
• Logics with definitional reflection rules
• scientific article; zbMATH DE number 5896226
• Intermediate logics and the de Jongh property

Cited in

(3)

• A logic is referential iff it is selfextensional
• Semantic completeness of first-order theories in constructive reverse mathematics
• Satisfiability is false intuitionistically: a question from Dana Scott

This page was built for publication: Reflexive intermediate first-order logics

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