Fibered universal algebra for first-order logics

DOI10.1016/j.jpaa.2023.107415arXiv2205.05657OpenAlexW4377694900MaRDI QIDQ6051097

Yoshihiro Maruyama, Colin Bloomfield

Publication date: 19 September 2023

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.05657

zbMATH Keywords

abstract algebraic logiccategorical logicgeneralized quantifiershyperdoctrineBirkoff theoremBlok-Jónsson theoremfibred universal algebrageneral predicate logicprop-category

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Abstract algebraic logic (03G27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Triposes, q-toposes and toposes
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Categorical logic and type theory
• Metamathematics of fuzzy logic
• Triangular norms
• Amalgamation and interpolation in ordered algebras.
• Equivalence of consequence operations
• Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
• On a generalization of quantifiers
• Philosophy and Model Theory
• FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION
• Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
• QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer

This page was built for publication: Fibered universal algebra for first-order logics