Logics with definitional reflection rules

DOI10.1093/LOGCOM/EXW013zbMATH Open1444.03161OpenAlexW2405345480MaRDI QIDQ3133173FDOQ3133173

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (8)

• Reflection principles in computational logic
• Title not available (Why is that?)
• INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
• Reflexive intermediate first-order logics
• Generalized definitional reflection and the inversion principle
• Reflecting rules: a note on generalizing the deduction theorem
• Hypothetical reasoning and definitional reflection in logic programming
• A Logic for Reflective ASMs

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)