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)

Review text

The paper gives an extension of a previous result by the author [Notre Dame J. Formal Logic 47, No. 1, 39--62 (2006; Zbl 1105.03025)] from propositional calculus to first-order logic.

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

(4)

• A logic is referential iff it is selfextensional
• Satisfiability is false intuitionistically: a question from Dana Scott
• Semantic completeness of first-order theories in constructive reverse mathematics
• Can the classical ladder be kicked away? The view from one rung up

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)