scientific article
From MaRDI portal
Publication:3987719
zbMath0809.03007MaRDI QIDQ3987719
Publication date: 28 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Intermediate logics (03B55)
Related Items
On rules ⋮ Refutation systems in modal logic ⋮ Tutorial on Admissible Rules in Gudauri ⋮ A Note on Extensions: Admissible Rules via Semantics ⋮ A refutation theory ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ On pairs of dual consequence operations ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ A meta-logic of inference rules: Syntax ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Finite frames fail: how infinity works its way into the semantics of admissibility ⋮ Maximality and refutability ⋮ The Procedures for Belief Revision ⋮ A Generalisation of a Refutation-related Method in Paraconsistent Logics ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)