Pages that link to "Item:Q1913635"
From MaRDI portal
The following pages link to On finite-valued propositional logical calculi (Q1913635):
Displaying 14 items.
- Self-dual binary and ternary connectives for \(m\)-valued propositional calculi (Q775685) (← links)
- Anshakov-Rychkov algebras (Q1422100) (← links)
- Optimal axiomatizations of finitely valued logics (Q1854378) (← links)
- Criterion for propositional calculi to be finitely generated (Q2344087) (← links)
- De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic (Q2379841) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic (Q3145144) (← links)
- (Q3328518) (← links)
- (Q3726086) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
- (Q5430379) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
