scientific article; zbMATH DE number 6769394

MaRDI QIDQ5354752zbMATH OpenFDO

Authors Michele Abrusci, Fabio Pasquali, Christian Retoré

Publication date 4 September 2017

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic with extra quantifiers and operators (03C80) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Quantification in modern logic
• scientific article; zbMATH DE number 1088204
• scientific article; zbMATH DE number 1028834
• scientific article; zbMATH DE number 1852921
• Basic quantifier theory
• Quantitative deduction and its fixpoint theory
• On propositional quantifiers in provability logic
• Provability logics with quantifiers on proofs
• ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
• scientific article; zbMATH DE number 475609

Cited in

(8)

• A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus
• Cubic differentials and hyperbolic convex sets
• Typed Hilbert epsilon operators and the semantics of determiner phrases
• Quantitative deduction and its fixpoint theory
• scientific article; zbMATH DE number 1523027 (Why is no real title available?)
• Hilbert's and in proof theory: a proof-theoretical representation of universal and existential statements
• Operators vs quantifiers
• An accessible calculation of the stalks of the structure sheaf of the affine scheme of an integral domain

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