Pages that link to "Item:Q4392658"
From MaRDI portal
The following pages link to Two extensions of the structurally free logic LC (Q4392658):
Displaying 12 items.
- Admissibility of cut in LC with fixed point combinator (Q817697) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Combinator logics (Q1826366) (← links)
- Distributive-lattice semantics of sequent calculi with structural rules (Q1931305) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- A cut-elimination proof in positive relevant logic with necessity (Q2046880) (← links)
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs (Q2454875) (← links)
- Combinatory logic and the semantics of substructural logics (Q2642518) (← links)
- Semantics for structurally free logics LC+ (Q2743637) (← links)
- The Church-Rosser property in dual combinatory logic (Q4457728) (← links)
- Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic (Q4508285) (← links)
- Monosequent proof systems (Q5224787) (← links)
