scientific article; zbMATH DE number 3556029

zbMATH Open0357.02027MaRDI QIDQ4128539FDOQ4128539

Authors: Jean-Yves Girard 

Publication date: 1976

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

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory and constructive mathematics (03F99)

Cited In (20)

• May I borrow your logic? (Transporting logical structures along maps)
• Proof systems for infinite behaviours
• A typed calculus based on a fragment of linear logic
• Linear logic
• The linear abstract machine
• Intuitionistic three-valued logic and logic programming
• Is cut-free logic fit for unrestricted abstraction?
• Non Truth-Functional Many-Valuedness
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• Sequent calculi for first-order ST
• Partial and paraconsistent three-valued logics
• Stability and computability in coherent domains
• Derivability and metainferential validity
• On Woodruff's constructive nonsense logic
• ST, LP and Tolerant Metainferences
• Towards a semantic characterization of cut-elimination
• Interaction systems II: The practice of optimal reductions
• Normal functors, power series and \(\lambda\)-calculus
• On paradoxes in normal form
• On finite-valued propositional logical calculi

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 Q4128539)