Quasi-truth-functional systems of propositional logic
From MaRDI portal
Publication:3293394
DOI10.2307/2963674zbMath0107.00704OpenAlexW2096113709MaRDI QIDQ3293394
Publication date: 1963
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2963674
Related Items
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics, Tree-like proof systems for finitely-many valued non-deterministic consequence relations, Jaina Logic and the Philosophical Basis of Pluralism, Swap structures semantics for Ivlev-like modal logics, What is a non-truth-functional logic?
