scientific article; zbMATH DE number 823607
From MaRDI portal
Publication:4856963
Recommendations
Cited in
(37)- An algebraic approach to subframe logics. Modal case
- Binary modal companions for subintuitionistic logics
- Substructural Logics in Natural Deduction
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
- Structural operational semantics and modal logic, revisited
- Axiomatization of crisp Gödel modal logic
- A substructural approach to explicit modal logic
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- Sorites, curry and suitable models
- Substructural epistemic logics
- Normal modal substructural logics with strong negation
- Conuclear images of substructural logics
- Powerset Residuated Algebras and Generalized Lambek Calculus
- A co-inductive language and truth degrees
- Levels of modality for BDI logic
- Type logics and pregroups
- Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
- Substructural logic of proofs
- On the multi-dimensional modal logic of substitutions
- Modal translation of substructural logics
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
- A curious dialogical logic and its composition problem
- Editorial introduction: substructural logics and metainferences
- Meeting strength in substructural logics
- Modal translations in substructural logics
- scientific article; zbMATH DE number 956469 (Why is no real title available?)
- scientific article; zbMATH DE number 6917935 (Why is no real title available?)
- scientific article; zbMATH DE number 7439733 (Why is no real title available?)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
- scientific article; zbMATH DE number 7297101 (Why is no real title available?)
- Substructural logics with a reflexive transitive closure modality
- Structuralist modals and the combination of logics
- The Logic of Bunched Implications
- scientific article; zbMATH DE number 2063232 (Why is no real title available?)
- scientific article; zbMATH DE number 2072494 (Why is no real title available?)
- A uniform framework for substructural logics with modalities
- Nominal substitution at work with the global and converse modalities
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4856963)
