Pages that link to "Item:Q2946724"
From MaRDI portal
The following pages link to Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators (Q2946724):
Displaying 11 items.
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics (Q1726317) (← links)
- Software tool support for modular reasoning in modal logics of actions (Q1791146) (← links)
- Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics (Q2658279) (← links)
- A proof system for fork algebras and its applications to reasoning in logics based on intuitionism (Q2735802) (← links)
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- Algebra and sequent calculus for epistemic actions (Q2848068) (← links)
- (Q3032232) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- Epistemic Actions as Resources (Q5431612) (← links)
- (Q5432834) (← links)
- Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic (Q5434524) (← links)
