The finite model property with respect to admissibility for superintuitionistic logic

From MaRDI portal

Revision as of 11:52, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1876415

Jump to:navigation, search

zbMath1047.03020MaRDI QIDQ1876415

B. R. Fedorishin, V. S. Ivanov

Publication date: 6 September 2004

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

inference rule finite model property admissible rule intuitionistic frame intuitionistic valuation

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (2)

Finite frames fail: how infinity works its way into the semantics of admissibility ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

This page was built for publication: The finite model property with respect to admissibility for superintuitionistic logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1876415&oldid=14269896"