Logics with definitional reflection rules

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

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

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

Related Items (6)

A Logic for Reflective ASMs ⋮ Hypothetical reasoning and definitional reflection in logic programming ⋮ Reflecting rules: a note on generalizing the deduction theorem ⋮ Title not available (Why is that?) ⋮ Generalized definitional reflection and the inversion principle ⋮ Reflexive intermediate first-order logics

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)