scientific article; zbMATH DE number 1463088
From MaRDI portal
Publication:4487248
DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1521-3870(200005)46:2<207::AID-MALQ207>3.0.CO;2-E" /><207::AID-MALQ207>3.0.CO;2-E 10.1002/(SICI)1521-3870(200005)46:2<207::AID-MALQ207>3.0.CO;2-EzbMath0955.03037MaRDI QIDQ4487248
Mehmet Terziler, Vitaliy Remazki, Vladimir Vladimirovich Rybakov
Publication date: 24 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (10)
Admissible inference rules and semantic property of modal logics ⋮ Unnamed Item ⋮ Explicit basis for admissible rules in \(K\)-saturated tabular logics ⋮ Admissible inference rules of modal WCP-logics ⋮ An explicit basis for \textit{WCP}-globally admissible inference rules ⋮ An explicit basis for admissible inference rules in table modal logics of width 2 ⋮ Table admissible inference rules ⋮ Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms ⋮ Logical consecutions in discrete linear temporal logic ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
This page was built for publication:
