On geometric implications

DOI10.1007/S11225-023-10094-XMaRDI QIDQ7026934zbMATH OpenFDO

Authors Amirhossein Akbar Tabatabai

Publication date 17 February 2025

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11225-023-10094-X

zbMATH Keywords

frame representationgeometricityimplicationsmodal algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A propositional logic with explicit fixed points
• Categorical semantics for arrows
• Continuity and geometric logic
• Generalising monads to arrows
• Geometrisation of first-order logic
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• Implication via spacetime
• Lewis meets Brouwer: constructive strict implication
• Preservativity logic: An analogue of interpretability logic for constructive theories
• Properties of Intuitionistic Provability and Preservativity Logics

This page was built for publication: On geometric implications

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