scientific article; zbMATH DE number 1922478
From MaRDI portal
Publication:4484080
zbMath1025.03009MaRDI QIDQ4484080
Publication date: 2 June 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic logicmodal logic S4refutation rulesnonclassical propositional logicsGrzegorczyk logic Grzsyntactic refutations
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (7)
Foundations for the formalization of metamathematics and axiomatizations of consequence theories ⋮ 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 ⋮ Paraconsistency in classical logic ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ A Generalisation of a Refutation-related Method in Paraconsistent Logics
This page was built for publication:
