scientific article; zbMATH DE number 1348455

zbMATH Open0925.03085MaRDI QIDQ4264704FDOQ4264704

Authors: Ricardo Caferra, Stéphane Demri 

Publication date: 7 October 1999

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

Recommendations

• On an inferential semantics for classical logic
• scientific article; zbMATH DE number 218502
• Proofs and countermodels in non-classical logics
• Approximate and strong entailments in classical propositional logic systems
• Epistemic semantics for classical and intuitionistic logic
• Conditions for the applicability of classical logic in the framework of languages of nonclassical logics
• Falsification-aware semantics and sequent calculi for classical logic
• Semantical investigations into nonmonotonic and probabilistic logics
• scientific article; zbMATH DE number 4212000
• Noncontractive classical logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Cited In (2)

• Title not available (Why is that?)
• Conditions for the applicability of classical logic in the framework of languages of nonclassical 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 Q4264704)