scientific article; zbMATH DE number 2058984

zbMATH Open1035.03535MaRDI QIDQ4455512FDOQ4455512

Authors: S. S. Shkil'nyak 

Publication date: 16 March 2004

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

Recommendations

• scientific article; zbMATH DE number 1961528
• scientific article; zbMATH DE number 1738632
• Systems of logical reasoning in logics of free-quantifier functional levels
• Sequent Calculi for Some Strict Implication Logics
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics

zbMATH Keywords

sequent calculineoclassical logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Cited In (8)

• Sequent calculi for choice logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A sequent calculus for a negative free logic
• Stoic Sequent Logic and Proof Theory
• Consistent disjunctive sequent calculi and Scott domains

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