scientific article; zbMATH DE number 915943

zbMATH Open0850.03051MaRDI QIDQ4889421FDOQ4889421

Authors: Tomasz Skura 

Publication date: 10 November 1996

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (4)

• On pairs of dual consequence operations
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• Sequent-type rejection systems for finite-valued non-deterministic logics
• Syntactic refutations against finite models in modal logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4889421)