Relational and partial variable sets and basic predicate logic

DOI10.2307/2275788MaRDI QIDQ5687319zbMATH OpenOpenAlexFDO

Authors Silvio Ghilardi, Giancarlo Meloni

Publication date 24 April 1997

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275788

zbMATH Keywords

Beck conditiondoctrinefirst-order intuitionistic and co-intuitionistic logicFrobenius conditionpresheafrelational variable sets

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30)

Recommendations

• Elementary categorial logic, predicates of variable degree, and theory of quantity
• First-order logic and first-order functions
• The logic of partitions: introduction to the dual of the logic of subsets
• Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
• Completeness results for intuitionistic and modal logic in a categorical setting

Cited in

(7)

• Relational presheaves, change of base and weak simulation
• Coordinate-free logic
• Basic predicate calculus
• Specification and verification of a linear-time temporal logic for graph transformation
• A presheaf semantics for quantified temporal logics
• Counterpart-based quantified temporal logics
• Realization of relational presheaves

This page was built for publication: Relational and partial variable sets and basic predicate logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5687319)