scientific article; zbMATH DE number 915943
From MaRDI portal
Publication:4889421
zbMath0850.03051MaRDI QIDQ4889421
Publication date: 10 November 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Syntactic refutations against finite models in modal logic ⋮ 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
This page was built for publication:
