scientific article; zbMATH DE number 2058984

MaRDI QIDQ4455512zbMATHFDO

Authors S. S. Shkil'nyak

Publication date 16 March 2004

zbMATH Keywords

sequent calculineoclassical logics

Mathematics Subject Classification ID

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

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

Cited in

(8)

• Consistent disjunctive sequent calculi and Scott domains
• A sequent calculus for a negative free logic
• scientific article; zbMATH DE number 6863652 (Why is no real title available?)
• Stoic Sequent Logic and Proof Theory
• scientific article; zbMATH DE number 1738632 (Why is no real title available?)
• scientific article; zbMATH DE number 1885175 (Why is no real title available?)
• scientific article; zbMATH DE number 1950262 (Why is no real title available?)
• Sequent calculi for choice logics

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)