Multi-type Calculi and Structural Control
Open Access
- 7 August 2023
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 381, 2-3
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Proper Multi-Type Display Calculi for Rough AlgebrasElectronic Notes in Theoretical Computer Science, 2019
- Bilattice logic properly displayedFuzzy Sets and Systems, 2019
- THE LOGIC OF RESOURCES AND CAPABILITIESThe Review of Symbolic Logic, 2018
- Lattice Logic Properly Displayed2017
- Unified correspondence as a proof-theoretic toolJournal of Logic and Computation, 2016
- A Multi-type Calculus for Inquisitive Logic2016
- Power and Limits of Structural Display RulesACM Transactions on Computational Logic, 2016
- Multi-type display calculus for dynamic epistemic logicJournal of Logic and Computation, 2014
- Displaying Modal Logic1998
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970