Logics with definitional reflection rules

DOI10.1093/LOGCOM/EXW013MaRDI QIDQ3133173zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 13 February 2018

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exw013

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Definitional reflection and basic logic
• INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
• scientific article; zbMATH DE number 140368
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Reflection principles in computational logic

Cited in

(9)

• Reflection principles in computational logic
• A Logic for Reflective ASMs
• Definitional reflection and basic logic
• INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
• Hypothetical reasoning and definitional reflection in logic programming
• Reflexive intermediate first-order logics
• Reflecting rules: a note on generalizing the deduction theorem
• Generalized definitional reflection and the inversion principle
• scientific article; zbMATH DE number 1231672 (Why is no real title available?)

This page was built for publication: Logics with definitional reflection rules

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