scientific article; zbMATH DE number 823607
From MaRDI portal
Publication:4856963
Recommendations
Cited in
(42)- Modal translations in substructural logics
- Meeting strength in substructural logics
- Grafting modalities onto substructural implication systems
- Normal modal substructural logics with strong negation
- Substructural logics with a reflexive transitive closure modality
- Axiomatization of crisp Gödel modal logic
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
- Type logics and pregroups
- Binary modal companions for subintuitionistic logics
- Editorial introduction: substructural logics and metainferences
- Conuclear images of substructural logics
- Substructural logic of proofs
- Nominal substitution at work with the global and converse modalities
- Structural operational semantics and modal logic, revisited
- Structuralist modals and the combination of logics
- A co-inductive language and truth degrees
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
- scientific article; zbMATH DE number 956469 (Why is no real title available?)
- The Logic of Bunched Implications
- Powerset Residuated Algebras and Generalized Lambek Calculus
- scientific article; zbMATH DE number 2063232 (Why is no real title available?)
- scientific article; zbMATH DE number 2072494 (Why is no real title available?)
- Levels of modality for BDI logic
- scientific article; zbMATH DE number 6917935 (Why is no real title available?)
- Substructural epistemic logics
- A uniform framework for substructural logics with modalities
- A curious dialogical logic and its composition problem
- Sorites, curry and suitable models
- scientific article; zbMATH DE number 7439733 (Why is no real title available?)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- 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?)
- On the multi-dimensional modal logic of substitutions
- Modal translation of substructural logics
- An algebraic approach to subframe logics. Modal case
- Substructural Logics in Natural Deduction
- A substructural approach to explicit modal logic
- Revisionism revisited
- A Gödel modal logic over witnessed crisp models
- Molecular biology meets logic: context-sensitiveness in focus
- On the local modal product logic: standard completeness and decidability
- Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
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)
