scientific article; zbMATH DE number 4187771
From MaRDI portal
Publication:5752543
zbMath0721.03009MaRDI QIDQ5752543
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Finite non-deterministic semantics for some modal systems ⋮ Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’ ⋮ Non-transitive correspondence analysis ⋮ Tree-like proof systems for finitely-many valued non-deterministic consequence relations ⋮ Swap structures semantics for Ivlev-like modal logics ⋮ On Axioms and Rexpansions
This page was built for publication:
