The following pages link to (Q4805593):
Displayed 29 items.
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- A positive information logic for inferential information (Q833030) (← links)
- Restricted arrow (Q839646) (← links)
- Cut and pay (Q851192) (← links)
- Relevant restricted quantification (Q853811) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- Inferentializing semantics (Q975776) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Associatively tied implications. (Q1811575) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- Propositional calculus under adjointness (Q1867660) (← links)
- What is the logic of inference? (Q2426732) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Logical pluralism and semantic information (Q2462685) (← links)
- Conditionals and consequences (Q2475433) (← links)
- The logic of tied implications. I: Properties, applications and representation (Q2492316) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Issues on adjointness in multiple-valued logics (Q2509225) (← links)
- A small set of axioms for residuated logic (Q2568232) (← links)
- An Analytic Logic of Aggregation (Q3601806) (← links)
- A constructive negation for logics including TW<sub>+</sub> (Q3647235) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)
- Which structural rules admit cut elimination? An algebraic criterion (Q5422301) (← links)
- Substructural fuzzy logics (Q5422306) (← links)