scientific article; zbMATH DE number 3556029

MaRDI QIDQ4128539zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 1976

Mathematics Subject Classification ID

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

Cited in

(20)

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

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)