The following pages link to (Q4940727):
Displaying 35 items.
- Non-commutative logical algebras and algebraic quantales (Q386648) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices (Q835128) (← links)
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- Some lattice models of bilinear logic (Q1906000) (← links)
- Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- On varieties of biresiduation algebras (Q2433109) (← links)
- Quantum B-algebras (Q2440506) (← links)
- Type logics and pregroups (Q2467212) (← links)
- The logic of tied implications. I: Properties, applications and representation (Q2492316) (← links)
- \(\bigstar\)-autonomous lattices and fuzzy sets (Q2500766) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
- A finite model property for RMImin (Q3418090) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- Conserving involution in residuated structures (Q5434203) (← links)
- A dual equivalence for cofinal quantum B-algebras (Q6087890) (← links)
