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)

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

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)