scientific article; zbMATH DE number 1348455

MaRDI QIDQ4264704zbMATH OpenFDO

Authors Ricardo Caferra, Stéphane Demri

Publication date 7 October 1999

Mathematics Subject Classification ID

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

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

Cited in

(2)

• scientific article; zbMATH DE number 1859178 (Why is no real title available?)
• 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)