scientific article; zbMATH DE number 3556029
From MaRDI portal
zbMath0357.02027MaRDI QIDQ4128539
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Is cut-free logic fit for unrestricted abstraction?, Interaction systems II: The practice of optimal reductions, Intuitionistic three-valued logic and logic programming, Normal functors, power series and \(\lambda\)-calculus, The linear abstract machine, Useful Four-Valued Extension of the Temporal Logic KtT4, On finite-valued propositional logical calculi, May I borrow your logic? (Transporting logical structures along maps), Derivability and metainferential validity, A typed calculus based on a fragment of linear logic, Partial and paraconsistent three-valued logics, ST, LP and Tolerant Metainferences, Proof systems for infinite behaviours, Non Truth-Functional Many-Valuedness, Linear logic, On paradoxes in normal form, Stability and computability in coherent domains, Towards a semantic characterization of cut-elimination
