The following pages link to (Q4699355):
Displaying 20 items.
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- From QBFs to \textsf{MALL} and back via focussing (Q2209553) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- Computing interpolants in implicational logics (Q2503400) (← links)
- Interpolation via translations (Q3184216) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Introspection, Normality and Agglomeration (Q3457703) (← links)
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS (Q6041346) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)
