Switch to: References

Add citations

You must login to add citations.
  1. Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation.Yoshihiro Maruyama - 2021 - Journal of Symbolic Logic 86 (3):1189-1213.
    Lawvere hyperdoctrines give categorical algebraic semantics for intuitionistic predicate logic. Here we extend the hyperdoctrinal semantics to a broad variety of substructural predicate logics over the Typed Full Lambek Calculus, verifying their completeness with respect to the extended hyperdoctrinal semantics. This yields uniform hyperdoctrinal completeness results for numerous logics such as different types of relevant predicate logics and beyond, which are new results on their own; i.e., we give uniform categorical semantics for a broad variety of non-classical predicate logics. And (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Point-free geometry, ovals, and half-planes.Giangiacomo Gerla & Rafał Gruszczyński - 2017 - Review of Symbolic Logic 10 (2):237-258.
    Download  
     
    Export citation  
     
    Bookmark   1 citation