Tabular Logics with no Finite Bases for Inference Rules

DOI10.1093/JIGPAL/12.4.301zbMath1073.03012OpenAlexW2116320710MaRDI QIDQ4659578

Vladimir Vladimirovich Rybakov

Publication date: 21 March 2005

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/12.4.301

zbMATH Keywords

inference rulesfinite basenonstandard logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (1)

DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

This page was built for publication: Tabular Logics with no Finite Bases for Inference Rules