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)

• 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?
• ST, LP and tolerant metainferences
• 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
• Stability and computability in coherent domains
• Partial and paraconsistent three-valued logics
• Derivability and metainferential validity
• On Woodruff's constructive nonsense logic
• Towards a semantic characterization of cut-elimination
• Interaction systems II: The practice of optimal reductions
• Normal functors, power series and -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)