scientific article; zbMATH DE number 4061209

MaRDI QIDQ3795657zbMATH OpenFDO

Authors Walter Carnielli

Publication date 1987

zbMATH Keywords

decision proceduresdependence logicproof-theoretical propertiesrelatedness logicsyntactical analysistableau

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 5001191
• scientific article; zbMATH DE number 638369
• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
• Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
• scientific article; zbMATH DE number 4061208
• Some intensional logics defined by relating semantics and tableau systems
• Tableau dependencies for nested relations
• scientific article; zbMATH DE number 4037819
• scientific article; zbMATH DE number 4004155
• scientific article; zbMATH DE number 4055102

Cited in

(21)

• Some intensional logics defined by relating semantics and tableau systems
• Tableaux for logics of content relationship and set-assignment semantics
• A logical analysis of existential dependence and some other ontological concepts -- a comment to some ideas of Eugenia Ginsberg-Blaustein
• Algebraic analysis of demodalised analytic implication
• scientific article; zbMATH DE number 4004155 (Why is no real title available?)
• scientific article; zbMATH DE number 4037819 (Why is no real title available?)
• scientific article; zbMATH DE number 589741 (Why is no real title available?)
• scientific article; zbMATH DE number 638369 (Why is no real title available?)
• scientific article; zbMATH DE number 978238 (Why is no real title available?)
• scientific article; zbMATH DE number 1138594 (Why is no real title available?)
• scientific article; zbMATH DE number 1140581 (Why is no real title available?)
• scientific article; zbMATH DE number 1501628 (Why is no real title available?)
• A post-style proof of completeness theorem for symmetric relatedness logic S
• THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS
• History of relating logic. The origin and research directions
• Incorporating the relation into the language? A survey of approaches in relating logic
• Dependence statements are strict conditionals
• scientific article; zbMATH DE number 2196616 (Why is no real title available?)
• About relationships between two individuals
• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
• 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 Q3795657)