scientific article; zbMATH DE number 1140581

MaRDI QIDQ4385351zbMATH OpenFDO

Authors Luis Fariñas del Cerro, V. Lugardon

Publication date 19 October 1998

zbMATH Keywords

dependence logicsfirst-order versionsGentzen sequent systemsreduction trees

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03)

Cited in

(12)

• Tableaux for logics of content relationship and set-assignment semantics
• Generalized quantifiers in dependence logic
• Quantitative deduction and its fixpoint theory
• scientific article; zbMATH DE number 4037819 (Why is no real title available?)
• scientific article; zbMATH DE number 4061208 (Why is no real title available?)
• scientific article; zbMATH DE number 2062214 (Why is no real title available?)
• Quantales and structural rules
• Characterizing quantifier extensions of dependence logic
• History of relating logic. The origin and research directions
• Expressivity and Complexity of Dependence Logic
• Dependence statements are strict conditionals
• Foundations for entailment checking in quantitative separation logic

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