scientific article; zbMATH DE number 1138594

MaRDI QIDQ4383725zbMATH OpenFDO

Authors Francesco Paoli

Publication date 2 April 1998

zbMATH Keywords

constructive completeness prooffirst-degree relatedness conditionalsrelatedness logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• A post-style proof of completeness theorem for symmetric relatedness logic S
• scientific article; zbMATH DE number 4061209
• On S
• scientific article; zbMATH DE number 4004155
• scientific article; zbMATH DE number 3857062

Cited in

(8)

• On S
• Tableaux for logics of content relationship and set-assignment semantics
• A post-style proof of completeness theorem for symmetric relatedness logic S
• scientific article; zbMATH DE number 787684 (Why is no real title available?)
• THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS
• Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
• History of relating logic. The origin and research directions
• The mathematics of Epstein semantics

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