The following pages link to (Q2751372):
Displaying 18 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- From bi-facial truth to bi-facial proofs (Q2350970) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Complexity of clausal constraints over chains (Q2480746) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness (Q3532471) (← links)
- Classic-Like Analytic Tableaux for Finite-Valued Logics (Q3638289) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)
